Логика

Зачет по математической логике:

28.12 сб 9:00 - 10:30

30.12 пн 15:00 - 16:30

Результаты контрольной работы 18.12.13 DOC

Лекция 1. Математические структуры

Лекция 2. Множества и числа

Лекция 3. Аксиоматические теории

Лекция 4. Логические языки

Лекция 5. Истинность и модели

Лекция 6. Доказательства

Лекция 7. Теоремы Гёделя

Лекция 8. Компьютерная логика

Лекция 9. Интуиционистская и модальная логики

Лекция 10. Вычислимость

Лекция 11. Виды рекурсии

Лекция 12. Ламбда-исчисление

Лекция 13. Комбинаторная логика

Задания