Рабочая программа курса
назад | оглавление | вперёд
1. Логические исчисления.
2. Машина Тьюринга.
3. Частично рекурсивные функции.