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

Эдсгеру Дейкстре приписывают высказывание: «наука о вычислимости изучает компьютеры не в большей мере, чем астрономия изучает телескопы». Смысл этой фразы в том, что конкретный компьютер или конкретный язык программирования – только инструмент познания общих закономерностей, справедливых для всех вычислений. Основы этой науки заложены Тьюрингом, Гёделем, Чёрчем, Клини, Постом и другими математиками в 1930-х годах, когда вычислительных машин в современном понимании ещё не было. При этом базовые предположения в полной мере выполняются для современных компьютеров и, наверняка, будут верны для всех будущих, в том числе квантовых.

Авторы и лекторы курса: Мусатов Даниил Владимирович
Кандидат физико-математических наук Должность: Преподаватель кафедры дискретной математики МФТИ
Язык курса: русский
Сертификат: курс с сертификатом
Страница курса: https://openedu.ru/course/mipt/MLTA/
Добавить отзыв

Отзывы

  • Комментарии не найдены

Курсы по тегам: