Для бакалавров АУ
Логика и теория алгоритмов
Ссылки
- Задание 14. Последнее занятие (на 14.12)
- Задание 13. Теория моделей (на 06.12)
- Задание 12. Выводимость (на 30.11)
- Задание 11. Выводимость (на 23.11)
- Задание 10. Элементарная эквивалентность (на 16.11)
- Задание 9. Выразимость предикатов (на 09.11)
- Задание 8. Примитивно рекурсивные функции (на 26.10)
- Задание 7. Арифметическая иерархия (на 20.10)
- Задание 6. Арифметичность (на 20.10)
- Задание 5. Перечислимые и не перечислимые множества - 4 (обсуждался 05.10)
- Задание 4. Перечислимые и не перечислимые множества - 4 (обсуждался 21.09)
- Задание 3. Перечислимые и не перечислимые множества - 3 (обсуждался 21.09)
- Задание 2. Перечислимые и не перечислимые множества - 2 (обсуждался 14.09)
- Задание 1. Перечислимые и не перечислимые множества (обсуждался 07.09)
Информация
- Домашнее задание 13 необходимо сдать письменно до 06.12.
- Домашнее задание 12 необходимо сдать письменно до 30.11.
- Мы поговорили с Дмитрием Михайловичем и переписка будет в эту пятницу на пятой паре в АУ. Поэтому я настоятельно рекомендую прийти всем, у кого есть долги.
- На ближайшей паре мы сначало порешаем вывешенные задачи и только потом будем что-то разбирать
- Напоминаю, что пары 12.10 и 19.10 переносятся на 20.10 и 03.11 соответственно