TGViewer
Channel Public Channel
Душный синтаксис

Душный синтаксис

@syntaxdush

Связь с семантикой: @novamassimo
Subscribers
488
Photos
395
Videos
56
Links
74

Showing posts older than #680 · Back to latest

Older Posts 20 shown
Post #679 954
Отношение R является антисимметричным, если и только если для любых объектов х, у верно, что если х находится в отношении R к у, а также у находится в отношении R к х, то х=у
Т.е. (если хRy и уRx, то х=у)
Post #676 1.25K
Прав или да?
(или нет)
  • 💯 8
  • 👎 4
  • 🦄 3
  • ⚡ 2
  • 🤯 2
  • ❤ 1
  • 👍 1
  • 👀 1
Post #674 1.33K
Хайдеггер преследует
  • 👀 9
  • 🤷‍♂ 3
  • 👍 1
Post #671 1.27K
  • 🥴 5
  • ❤ 4
  • 👎 4
  • 🤷‍♂ 2
  • 🤔 2
  • 👨‍💻 2
  • 👀 2
  • 👍 1
  • 😈 1
Post #670 1.64K
Упражнение
  • 🤪 4
  • 😁 2
  • 👍 1
  • 🤔 1
  • 🤯 1
  • 🤨 1
Post #669 1.53K
У них свои интересы
  • 🌚 7
  • 💯 3
  • ❤ 2
Post #668 2.1K
Резюме решения (аргументы, для краткости, были опущены)
  • 💊 10
  • ❤ 7
  • 🌚 3
  • 🤣 2
  • 😁 1
  • 👀 1
  • 😨 1
  • 🤗 1
Post #667 1.96K
Внимание! Трудная проблема сознания решена, расходимся
  • 👻 12
  • ❤ 8
  • 🤯 2
  • 🥱 2
  • 💊 2
  • 👀 1
  • 🫡 1
Post #666 1.52K
((
  • 🤯 11
  • 🤔 4
  • ✍ 2
  • 🦄 1
Post #663 1.36K
  • 🤣 8
  • 💊 7
  • 🤮 2
  • 👍 1
  • 🌚 1
Post #661 1.62K
Хорошее рассуждение?
[ 👍, 👎, 🤔]
  • 👎 21
  • 🥴 6
  • 🤔 5
  • 👍 4
  • 🤮 1
  • 🙊 1
Post #660 1.29K
В англоязычной традиции символ отношения выводимости в логике ⊢ называют «турникет»
А у нас в логике его называют «штопор». Интересно почему)
  • 😁 22
  • 🤔 4
  • ❤ 3
  • 🥰 3
  • 👨‍💻 1
Post #659 870
Душный!
  • ❤ 13
  • 🍌 4
  • 🍾 2
  • 😇 2
  • 💋 1
Post #658 1.15K
Про Фреге?)
  • 😁 9
  • 🥴 3
  • 👀 2
  • ❤ 1
Post #657 1.04K
А вы посмотрели?
  • ❤ 6
  • 👨‍💻 2
  • 🌭 1
  • 🤣 1
  • 👾 1
Post #655 1.13K
Доказательство оставили в качестве упражнения читателю
  • ❤ 11
  • 🥴 3
  • 👀 3
  • 👨‍💻 1
Post #650 1.26K
  • ❤ 12
  • 🤣 1
Older posts →
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →