ЛекториумМедиатека
Поиск
Личный кабинет

Вычислимость и логика. Лекция 8

Невыразимость: автоморфизмы и эллиминация кванторов

Невыразимость: метод автоморфизмов. Элиминация кванторов. Простейшие примеры. Задача о разрезании квадрата на меньшие квадраты.

Страница лекции на сайте Computer Science Center

Лекции курса

11
  1. Вычислимость и логика. Лекция 1
  2. Вычислимость и логика. Лекция 2
  3. Вычислимость и логика. Лекция 3
  4. Вычислимость и логика. Лекция 4
  5. Вычислимость и логика. Лекция 5
  6. Вычислимость и логика. Лекция 6
  7. Вычислимость и логика. Лекция 7
  8. Вычислимость и логика. Лекция 8▶ Вы тут
  9. Вычислимость и логика. Лекция 11
  10. Вычислимость и логика. Лекция 12
  11. Вычислимость и логика. Лекция 13

Онлайн-курсы по программированию

3