ВУЗ:
Составители:
Рубрика:
8
14 Рекомендуемая литеpатуpа
Основная литеpатуpа
[1] Игошин В.И. Задачи и упражнения по математической логике и теории
алгоритмов: Учеб. Пособие для студ. Высш. Учеб. Заведений — М.:
Издат. Центр «Академия», 2005 (20 экз) — 304 с.
[2] Лавров И. А., Максимова Л. Л. Задачи по теории множеств,
математической логике и теории алгоритмов
. — М.: Физматлит, 2003 (20
экз) — 256 с.
[3] Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс
лекций. Задачник-практикум и решения. — СПб.: Изд-во «Лань», 1999. —
288 с.
[4] Яблонский С. В. Введение в дискретную математику. — М.: Высш.
шк., 2001 (20 экз) — 384 с.
Дополнительная литеpатуpа
[1] Верещагин Н.К., Шень А. Лекции по
математической логике и теории
алгоритмов. Ч. 3. Вычислимые функции. 2-е изд., исправл. — М.:
МЦНМО, 2002 (20 экз) — 192 с.
[2] Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной
матеатике: Учеб. пособие.
— Изд. 3-е, перераб. — М.: Физматлит, 2004 (20 экз) — 416 с.
[3] Лупанов О. Б., Лекции по математической логике. Части 1 и 2. — М.:
Изд-во
Моск. ун-та, 1970.
— 108 с.
[4] Мальцев А. И. Алгоритмы и рекурсивные функции. — М., Наука, 1986.
— 368 с.
[5] Судоплатов С. В., Овчинникова Е. В. Математическая логика и теория
алгоритмов. — М.: ИНФРА-М, Новосибирск: Изд-во НГТУ, 2004 (40 экз)
– 224 с.
15 Методические матеpиалы.
[1] Алехина М.А. Математическая логика: Учеб. пособие. — Пенза
: Изд-во
Пенз. гос. техн. ун-та, 1996 (80 экз)
— 66 с.
[2] Алехина М.А. Методические указания к решению задач по
математической логике. — Пенза: Изд-во Пенз. гос. техн. ун-та, 1997. —
24 с.
14 Рекомендуемая литеpатуpа Основная литеpатуpа [1] Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: Учеб. Пособие для студ. Высш. Учеб. Заведений — М.: Издат. Центр «Академия», 2005 (20 экз) — 304 с. [2] Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. — М.: Физматлит, 2003 (20 экз) — 256 с. [3] Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения. — СПб.: Изд-во «Лань», 1999. — 288 с. [4] Яблонский С. В. Введение в дискретную математику. — М.: Высш. шк., 2001 (20 экз) — 384 с. Дополнительная литеpатуpа [1] Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Ч. 3. Вычислимые функции. 2-е изд., исправл. — М.: МЦНМО, 2002 (20 экз) — 192 с. [2] Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной матеатике: Учеб. пособие. — Изд. 3-е, перераб. — М.: Физматлит, 2004 (20 экз) — 416 с. [3] Лупанов О. Б., Лекции по математической логике. Части 1 и 2. — М.: Изд-во Моск. ун-та, 1970. — 108 с. [4] Мальцев А. И. Алгоритмы и рекурсивные функции. — М., Наука, 1986. — 368 с. [5] Судоплатов С. В., Овчинникова Е. В. Математическая логика и теория алгоритмов. — М.: ИНФРА-М, Новосибирск: Изд-во НГТУ, 2004 (40 экз) – 224 с. 15 Методические матеpиалы. [1] Алехина М.А. Математическая логика: Учеб. пособие. — Пенза: Изд-во Пенз. гос. техн. ун-та, 1996 (80 экз) — 66 с. [2] Алехина М.А. Методические указания к решению задач по математической логике. — Пенза: Изд-во Пенз. гос. техн. ун-та, 1997. — 24 с. 8