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