λ
Зря ты так
Сложно с логикой, давно в универе была
Size: a a a
2021 April 02
AT
Сложно с логикой, давно в универе была
Дык ты ж ФПрограммист
SK
Я уже открыл рислинг и поставил Death Proof посмотреть
это про проклятую теорему, все, кто пытался ее доказать, умирали?
AT
Уже умеешь в логику
AT
это про проклятую теорему, все, кто пытался ее доказать, умирали?
:)))))
AT
Даже не задумывался раньше над названием
AT
Просто люблю этот фильм
SK
может быть, это импринтинг, как у утенка. Посмотрел когда-то фильм про пруф...
M
Дык ты ж ФПрограммист
А чего там по логике?
M
Или не по логике
M
Я чёт сабж немного потеряла за дни отсутствия
SK
т.н. "Святая Троица"
SK
Типы-Логика-Теоркат
M
Да это я поняла
M
Мне интересно больше про задачи узнать
AT
А чего там по логике?
Если ты умеешь в азы ФП, то ты автоматически умеешь доказывать всякие логические леммы.
AT
И всякое по индукции тоже, в целом
AT
И всякое по индукции тоже, в целом
