7,4K подписчиков
2 подписчика
Колмогоров А.Н., Драгалин А.Г. (2006) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» (1982) и «Математическая логика. Дополнительные главы» (1984), ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им...
29 подписчиков
Решая задачи, привыкал по 13 страницу к употреблению символов. ^ седло КОНъюнкция, умножение, 1 ^ 1 = 1, остальные = 0
v бивни СЛОна вверх, СЛОжение, ДИЗъюнкция
→ змея, 1 → = 0, остальные 0
≡ киви, эквиваленция, 0 ≡ 0 = 1, 1 ≡ 1 = 1 остальные 0