Вычислимость и логика. Лекция 11
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
23.11.11
Дата публикации:
23.11.11
Код для блога:
Теории и модели
Теории, совместность и непротиворечивость, теорема о компактности. Примеры теорий. Аксиоматизация теорий с помощью элиминации кванторов. Арифметика Пеано. Теории и модели.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10