Математическая логика
| НЕТ ВОЙНЕ | 
| 
 24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России  | 
| Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению. | 
| meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки. | 
Конспекты лекций Штукенберга по мат. логике
- Исчисление высказываний, формальная система (Вопросы 1, 2)
 - Лемма о дедукции, полнота исчисления высказываний (Вопросы 3, 4)
 - Исчисление предикатов (Вопросы 5, 6)
 - Секвенциальное и интуиционистское исчисление (Вопросы 7, 8)
 - Теории первого порядка (Вопросы 9, 10)
 - Рекурсивные функции, представимость в формальной арифметике (Вопросы 11, 12, 13)
 - Геделева нумерация. Арифметизация доказательств (Вопросы 14)
 - 1я и 2я теоремы Геделя о неполноте арифметики (Вопросы 15, 16)
 - Теория множеств (Вопросы 17, 18,19)