Добавил:
korayakov
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:readme
.txt Мат. логика и теория алгоритмов.
Сейчас этот предмет есть у мп38, мп48.
Здесь лежат книги, которые во многом совпадают с курсом, читаемым Кожуховым.
Nash
Лекции появились в конце 2002 г., переданы И.Б.Кожуховым. В них есть почти все, что нужно, чтобы сдать экзамен - все лекции и почти все задачи с семинаров. Чтобы сдать на 5 Ему, рекомендуется сесть за ботанье не меньше чем за 3 дня :(.
Глюки пристутствуют, так что читайте внимательно.
Готовьтесь к следующим вопросам:
Доказуема ли секвенция AvB |- A-->B
(A и B - атомарные формулы)?
Пусть каждая модель |Ai| <= 3 (по мощности). Будет ли их ультрапроизведение по мощности тоже <=3?
Противоречиво ли интуиционистское исчисление высказываний?
Будет ли ультрапроизведение вполне упорядоченных множеств вполне упорядоченным?
Найти мощность всех счетных подмножеств счетного множества.
Доказать для множеств X^(Y x Z) = (X^Y)^Z (бееее, ну и задача, хоть и разобрана в книжке).
Справедлива ли лемма о дедукции в интуиционистском ИВ?
Доказать, что кроме главных ультрафильтров существуют еще и неглавные.
Существует ли в частично упорядоченном множестве максимальная по включению цепь?
Thx to Light.
//llama
Наконец сделал таблицу замеченных мной опечаток mlta_errata.doc.
//llama
Сейчас этот предмет есть у мп38, мп48.
Здесь лежат книги, которые во многом совпадают с курсом, читаемым Кожуховым.
Nash
Лекции появились в конце 2002 г., переданы И.Б.Кожуховым. В них есть почти все, что нужно, чтобы сдать экзамен - все лекции и почти все задачи с семинаров. Чтобы сдать на 5 Ему, рекомендуется сесть за ботанье не меньше чем за 3 дня :(.
Глюки пристутствуют, так что читайте внимательно.
Готовьтесь к следующим вопросам:
Доказуема ли секвенция AvB |- A-->B
(A и B - атомарные формулы)?
Пусть каждая модель |Ai| <= 3 (по мощности). Будет ли их ультрапроизведение по мощности тоже <=3?
Противоречиво ли интуиционистское исчисление высказываний?
Будет ли ультрапроизведение вполне упорядоченных множеств вполне упорядоченным?
Найти мощность всех счетных подмножеств счетного множества.
Доказать для множеств X^(Y x Z) = (X^Y)^Z (бееее, ну и задача, хоть и разобрана в книжке).
Справедлива ли лемма о дедукции в интуиционистском ИВ?
Доказать, что кроме главных ультрафильтров существуют еще и неглавные.
Существует ли в частично упорядоченном множестве максимальная по включению цепь?
Thx to Light.
//llama
Наконец сделал таблицу замеченных мной опечаток mlta_errata.doc.
//llama
Соседние файлы в предмете Математическая логика и теория алгоритмов