Вычислимость и логика. Лекция 8
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.11.11
Дата публикации:
01.11.11
Код для блога:
Невыразимость: автоморфизмы и эллиминация кванторов
Невыразимость: метод автоморфизмов. Элиминация кванторов. Простейшие примеры. Задача о разрезании квадрата на меньшие квадраты.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10