1. Машины Тьюринга. Основные определения. 3

2. Определимость. 8

3. Вычислимость. 9

4. Тезис Черча. 12

Список литературы ……………………………………………………………..14