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

Математический факультет
Направление "Математика",
3-й курс, 1-й семестр
Лектор: доц. Е.В. Лукьянова

Расчет итоговой рейтинговой оценки

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

  1. Логика высказываний

  2. Логика предикатов

  3. Формализованные математические теории

  4. Проблемы оснований математики

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

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

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

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

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

Лекция №1

Лекция №2

Лекция №3

Лекция №4

Лекция №5

Лекция №6

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

  • Домашнее задание 1
    • стр. 14 №1-№11
  • Домашнее задание 2
    • стр. 20 №1-№5
  • Домашнее задание 3
    • стр. 30 №5, №6
  • Домашнее задание 4
    • стр. 32 №7, №8, №11
    • стр. 42 № 12
  • Домашнее задание 5
  • Домашнее задание 6
  • Домашнее задание 7
  • Домашнее задание 8
  • Домашнее задание 9
  • Домашнее задание 10

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

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

Среда 5 пара

Вопросы к экзамену

Образец билета

 

Объявления
 
Внимание!!!
Вход на сайт осуществляется данными единой учетной записи студента (работника) МПГУ. Пользователи, ранее зарегистрированные на сайте, могут войти на сайт также старыми данными.
 
Приемные часы заведующего кафедрой, профессора
П.С. Геворкяна
 
Понедельник: 14:10-15-10 
(ул. Гаврикова, д. 7/9)
Среда: 16:00-18:00
(ул. Краснопрудная, д. 14)

Новости

Copyright © Кафедра математического анализа, МПГУ, 2015г. Все права защищены.