• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Логика

Читается: 1-2 модуль 3 курса 
Пререквизиты: Основые понятия математики; Вычислимость и сложность; Логика
Трудоемкость: 5 кредитов

64 аудиторных часов:

  • 32 часов лекций;
  • 32 часов семинаров.

Формы контроля:

  • экзамен;
  • 1 контрольная работа;
  • 2 домашних задания.

Преподаватели

Беклемишев Лев Дмитриевич

Базовая кафедра Математического института им. В.А. Стеклова РАН: Профессор

 

 О курсе

Цель курса: знакомство с начальными понятиями и вопросами математической логики. Слушатели получат представление о некоторых моделях и методах математической логики, применяемых в математике, информатике, естествознании.

Показ работ состоится 21 декабря в 10:30. Результаты появятся в таблице накануне.

Текущие результаты (контрольная, домашние работы, экзамен)
https://docs.google.com/spreadsheets/d/1d2dmD7E7Ejq5sjutMDAFGd42SBV7vHlI85Deu7MPx1Y/edit?usp=sharing

Материалы курса:

Семинар 1

Семинар 2

Семинар 3

Семинар 4

Семинар 5


Программа курса

 

Конспект по логике высказываний
Логика высказываний и интуиционистская логика                                                                                     
Об интуиционистской логике так же написано в главе 2.4. лекций по математической логике и теории алгоритмов.
https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf
Теорема Гёделя о неполноте

Рекомендуемая литература:

  1. Мендельсон Э.  Введение в математическую логику. --- М.: Наука, 1984. --- 320 с.
  2. Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. М.: Физматлит, 2002. --- 128 с.
  3. Клини С.К. Математическая логика. --- М.: Мир, 1973. ---    480 с.
  4. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. --- М.: МЦНМO, 2000. --- 288 с.