Основы математической логики и дискретной математики
Задачи
Листок 14. Последний (будет обсуждаться 15.12.14)
Листок 13. Паросочетания (будет обсуждаться 08.12.14)
Листок 12. Линейное программирование (на 01.12.14, исправлены задачи 2 и 4)
Листок 11. Еще немного вероятностей (на 24.11.14)
Листок 10. Вероятностный метод (на 17.11.14, исправлена задача 4)
Листок 9. Вероятность и графы (на 10.11.14, исправлена задача 1)
Листок 8. Графы (на 27.10.14)
Листок 7. Мощности множеств (на 20.10.14)
Листок 6. (Не)выразимость и комбинаторика (на 10.10.14)
Листок 5. Предикатные формулы (на 06.10.14)
Листок 4. Формулы и схемы (на 29.09.14)
Листок 3. Пропозициональные формулы-2 (на 22.09.14)
Листок 2. Пропозициональные формулы (на 19.09.14)
Листок 1. Индукция (обсуждался 08.09.14)
Объявления
Cписок вопросов к теоретическому зачету и правила зачета (Исправлены опечатки 27.12)
.
Итоги за листки 1-14
, правила те же.
Пояснения к итогам