Эдсгеру Дейкстре приписывают высказывание: «наука о вычислимости изучает компьютеры не в большей мере, чем астрономия изучает телескопы». Смысл этой фразы в том, что конкретный компьютер или конкретный язык программирования – только инструмент познания общих закономерностей, справедливых для всех вычислений. Основы этой науки заложены Тьюрингом, Гёделем, Чёрчем, Клини, Постом и другими математиками в 1930-х годах, когда вычислительных машин в современном понимании ещё не было. При этом базовые предположения в полной мере выполняются для современных компьютеров и, наверняка, будут верны для всех будущих, в том числе квантовых.
- Авторы и лекторы курса: Мусатов Даниил Владимирович
- Кандидат физико-математических наук Должность: Преподаватель кафедры дискретной математики МФТИ
- Язык курса: русский
- Сертификат: курс с сертификатом
- Страница курса: https://openedu.ru/course/mipt/MLTA/
Курсы по тегам:
-
Естественнонаучная направленность
-
ИКТ
-
Общество
-
Продуктивность
-
Психолого-педагогические науки
-
Экономика