Лекция 2: Проблема остановки и возможность ее решения

Аватар автора
Python: Кодовое возрождение
Курс: Мышление, вычисления и искусственный интеллект для школьников Авторы: Сатюков Роман Валерьевич, Ярославцев Григорий Николаевич В лекции подробно рассматривается проблема остановки, проблема распознавания языка. Вводятся понятия вычислимых, полувычислимых и перечислимых языков. Обсуждаются возможности алгоритмического доказательства теорем и возникающие при этом проблемы. Приводятся примеры.

0/0


0/0

0/0

0/0