readme

Мат. логика и теория алгоритмов.
Сейчас этот предмет есть у мп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