Вычислимость и логика. Лекция 12
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
29.11.11
Дата публикации:
29.11.11
Код для блога:
Ультрафильтры и теорема о компактности
Гильбертовское исчисление предикатов. Генценское исчисление секвенций.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10