Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов
Мат. логика простыми словами
В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром.
Математическая логика — это раздел современной формальной логики, в котором логические...
Рефлексия. Игошин "Задачи и упражнения по математической логике и теории алгоритмов" 2007
Решая задачи, привыкал по 13 страницу к употреблению символов. ^ седло КОНъюнкция, умножение, 1 ^ 1 = 1, остальные = 0
v бивни СЛОна вверх, СЛОжение, ДИЗъюнкция
→ змея, 1 → = 0, остальные 0
≡ киви, эквиваленция, 0 ≡ 0 = 1, 1 ≡ 1 = 1 остальные 0