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

Математическая логика и теория алгоритмов 2015/16 уч. год

Математический факультет

Направление "Математика",

3-й курс, 1-й семестр

Лектор: доц. Е.В. Лукьянова

Расчет итоговой рейтинговой оценки
до 49 баллов	«неудовлетворительно»
от 50 до 64 баллов	«удовлетворительно»
от 65 до 84 балов	«хорошо»
от 85 до 100 баллов	«отлично»

1. Клини С. Математическая логика. – М.: Мир, 1973.

2. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984.

3. Новиков П.С. Элементы математической логики. – М.: Наука, 1973.

4. Тимофеева И.Л. Математическая логика. Курс лекций. – М.: КДУ, 2007.

5. Тимофеева И.Л. Математическая логика в вопросах и задачах. М.: Прометей, 2002.

Лекция №1

Лекция №2

Лекция №3

Лекция №4

Лекция №5

Лекция №6

Домашние задания по книге Тимофеева И.Л. Математическая логика в вопросах и задачах. М.: Прометей, 2002.

Контрольная работа 1 "Логика высказываний"
- доказать утверждение о N_i-выводимости, построением вывода;
- доказать утверждение о N_k-выводимости, построением вывода;
- выяснить имеет ли место утверждение о N_k-выводимости;
- сформулировать определение, теорему.
Контрольная работа 2 "Логика предикатов"
- исследовать формулу на общезначимость и выполнимость;
- записать прочтение формулы в данной интерпретации;
- записать формулу, выражающую данное высказывание
- упростить формулу, используя равносильные преобразования;
- сформулировать определение, теорему.

Расписание консультаций.

Среда 5 пара