Математическая логика. Алехина М.А. - 9 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

9
14 Рекомендуемая литеpатуpа
Основная литеpатуpа
[1] Ершов Ю. Л., Палютин Е. А. Математическая логика. Изд. 2-е, испр.
и доп., — М., 1987 (5 экз). — 386 с.
[2] Колмогоров А. Н., Драгалин А. Г. Математическая логика. —
М.: Едиториал УРСС, 2004. — 240 с.
[3] Лавров И. А., Максимова Л. Л. Задачи по теории множеств,
математической логике и теории алгоритмов. — М.: Физматлит,
2003 (20 экз). — 256 с.
[4] Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс
лекций. Задачник-практикум и решения. — СПб.: Изд-во «Лань»,
1999. — 288 с.
Дополнительная литеpатуpа
[1] Клини С. Математическая логика. — М.: Мир, 1973 (3 экз). — 480 с.
[2] Мальцев А. И. Алгоритмы и рекурсивные
функции. — М., Наука,
1986. — 368 с.
[3] Мендельсон Э. Введение в математическую логику. — М.: Мир,
1984. — 320 с. [12 экз. + 2 экз. ранних лет]
[4] Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория
алгоритмов. — М.: ИНФРА-М; Новосибирск: Изд-во НГТУ,
2004 (20 экз). – 224 с.
15 Методические матеpиалы.
[1] Алехина М.А. Математическая логика
: Учеб. пособие. — Пенза: Изд-во
Пенз. гос. техн. ун-та, 1996 (80 экз).— 66 с.
[2] Алехина М.А. Методические указания к решению задач по
математической логике. — Пенза: Изд-во Пенз. гос. техн. ун-та,
1997. — 24 с. 
14   Рекомендуемая литеpатуpа

Основная литеpатуpа
[1] Ершов Ю. Л., Палютин Е. А. Математическая логика. Изд. 2-е, испр.
   и доп., — М., 1987 (5 экз). — 386 с.
[2] Колмогоров А. Н., Драгалин А. Г.     Математическая     логика.     —
   М.: Едиториал УРСС, 2004. — 240 с.
[3] Лавров И. А., Максимова Л. Л. Задачи по теории множеств,
   математической логике и теории алгоритмов. — М.: Физматлит,
   2003 (20 экз). — 256 с.
[4] Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс
   лекций. Задачник-практикум и решения. — СПб.: Изд-во «Лань»,
   1999. — 288 с.

Дополнительная литеpатуpа
[1] Клини С. Математическая логика. — М.: Мир, 1973 (3 экз). — 480 с.
[2] Мальцев А. И. Алгоритмы и рекурсивные функции. — М., Наука,
   1986. — 368 с.
[3] Мендельсон Э. Введение в математическую логику. — М.: Мир,
   1984. — 320 с. [12 экз. + 2 экз. ранних лет]
[4] Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория
   алгоритмов. — М.: ИНФРА-М; Новосибирск: Изд-во НГТУ,
   2004 (20 экз). – 224 с.

15   Методические матеpиалы.
[1] Алехина М.А. Математическая логика: Учеб. пособие. — Пенза: Изд-во
   Пенз. гос. техн. ун-та, 1996 (80 экз).— 66 с.
[2] Алехина М.А. Методические указания к решению задач по
   математической логике. — Пенза: Изд-во Пенз. гос. техн. ун-та,
   1997. — 24 с.




                                   9

Страницы