Модели вычислений

• Понятие функции
• Интуитивные понятия алгоритма и вычислимой функции
• Формальные модели вычислений
• Частично-рекурсивные функции