Формализация задач на программирование
— тема по Linux 
— необязательная тема
- План решения задачи
- Формализация
- Оценка полноты
- Моделирование
- Алгоритмы + структуры данных = программа (решение)
- Формализация игры в крестики-нолики
- Позиция
- Играющий
- Ход
- Правила хода
- Течение игры (игроки ходят по очереди
- Конец игры: Выигрыш (одного из игроков)
- Конец игры: Ничья
- Построение дерева игры, последовательная разметка выигрышности позиций, начиная с концевых. Выигрышность позиции нужно учитывать независимо от того, по какому пути мы к ней пришли.
- Формализация задачи про разбитое окно:
- Переменные
- Свойства (предикаты)
- Высказывания
- Гипотезы
- Условие задачи в терминах формализации
Домашнее задание
— теоретическое задание 
— новая тема
Почитать про ничейную смерть, И-ИЛИ деревья, базы шахматных окончаний.
Дорешать задачи предыдущего задания