Математическая логика

Материал из Викиконспекты
Перейти к: навигация, поиск
НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.

Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.

Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.

Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.

Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

Конспекты лекций Штукенберга по мат. логике

  1. Исчисление высказываний, формальная система (Вопросы 1, 2)
  2. Лемма о дедукции, полнота исчисления высказываний (Вопросы 3, 4)
  3. Исчисление предикатов (Вопросы 5, 6)
  4. Секвенциальное и интуиционистское исчисление (Вопросы 7, 8)
  5. Теории первого порядка (Вопросы 9, 10)
  6. Рекурсивные функции, представимость в формальной арифметике (Вопросы 11, 12, 13)
  7. Геделева нумерация. Арифметизация доказательств (Вопросы 14)
  8. 1я и 2я теоремы Геделя о неполноте арифметики (Вопросы 15, 16)
  9. Теория множеств (Вопросы 17, 18,19)

Экзамен

Решение задач по логике

Вопросы к экзамену по математической логике за 3 семестр

Теоретический минимум по математической логике за 3 семестр