Математическая логика и теория алгоритмов

Рабочая программа курса

назад | оглавление | вперёд

 

1. Логические исчисления.

2. Машина Тьюринга.

3. Частично рекурсивные функции.


назад | оглавление | вперёд