Математические основы Computer Science. Лекция 2
Теорема Успенского–Райса. Теорема о неподвижной точке. Машины Тьюринга. Предикатные формулы. Неразрешимость исчисления предикатов. Выразимость в арифметике. Кодирование конечных последовательностей.
АвторДмитрий Ицыксон
ОрганизаторComputer Science клуб при ПОМИ РАН
Лекции курса
14- Математические основы Computer Science. Лекция 1
- Математические основы Computer Science. Лекция 2▶ Вы тут
- Математические основы Computer Science. Лекция 3
- Математические основы Computer Science. Лекция 4
- Математические основы Computer Science. Лекция 5
- Математические основы Computer Science. Лекция 6, часть 1
- Математические основы Computer Science. Лекция 6, часть 2
- Математические основы Computer Science. Лекция 7, часть 1
- Математические основы Computer Science. Лекция 7, часть 2
- Математические основы Computer Science. Лекция 8, часть 1
- Математические основы Computer Science. Лекция 8, часть 2
- Математические основы Computer Science. Лекция 9, часть 1
Онлайн-курсы по программированию
3
Машинное обучение для анализа текстов
От бизнес-идеи к ее реализации: учимся инновационному предпринимательству с нуля.
С платными опциями
Разработка игры-платформера на Defold: базовый уровень
Создайте свой первый платформер с нуля! За 7 недель вы не просто освоите движок Defold, а пройдете весь путь геймдев-разработчика: от кода и анимаций до дизайна и сюжета.
Бесплатный
Python для начинающих
Курс посвящен основам программирования на языке Python — одном из самых популярных и понятных языков, идеально подходящих для первого знакомства с IT.
Бесплатный