Скачиваний:
163
Добавлен:
12.03.2015
Размер:
2.85 Mб
Скачать

Список литературы:

Учебники и учебные пособия:

  1. Гудстейн Р.Л. Математическая логика. – М. : ИЛ, 1961. -162 с

  2. Ершов Ю.Л., Палютин Е.А., Математическая логика: Учебное пособие. 3-е изд., стер. – СПб. : изд-во «Лань», 2004.- 336с.

  3. Колмогоров А.Н., Драгалин А.Г. Математическая логика. – М: Едиториал УРСС, 2004.-240с

  4. Кондаков Н.И. Логический словарь – справочник. – М. : Наука, 1975.-720с.

  5. Клини С.К. Математическая логика. – М.: Мир, 1973.-480с.

  6. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. – М.: Энергоатомиздат, 1988.-480с.

  7. Мендельсон Э. Введение в математическую логику. – М. :Наука, 1971.-320с

  8. Нефедов В.Н., Осипова В.А. .Курс дискретной математики :Учебное пособие. – М.: изд-во МАИ, 1992.-264с.

  9. Новиков П.С. Элементы математической логики.: М. :Наука, 1973.-400с.

  10. Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: из-во Саратовского университета., 1967.-143с.

  11. Слупецкий Е., Борковский Л. Элементы логики и теории множеств. –М.: Прогресс, 1965. – 368с.

  12. Столяр А.А. Логическое введение в математику. –Минск, Высшая школа, 1971.-223с.

  13. Столл Р.Р. Множество. Логика. Аксиоматические теории. – М.: Просвещение. 1968.-231с.

  14. Чёрч А. Введение в математическую логику. – М.: ИЛ, 1960.-485с.

  15. Шенфилд. Математическая логика. – М.: Наука, 1975.-527с

  16. Шиханович Е.А. Введение в современную математику. – М.: Наука, 1965.-376с.

  17. Эдельман С.Л. Математическая логика. Учебное пособие для институтов. – М. Высшая школа, 1975.-176с.

Задачники:

  1. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. – М.: Наука, 1977.-368с.

  2. Гиндикин С.Г. Алгебра логики в задачах. – М.: Наука, 1972.-288с.

  3. Гохман А.В. и др. Сборник задач по математической логике и алгебре множеств. – Саратов: изд-во Саратовского университета, 1965.-86с.

  4. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. –М.: Наука, 1984.-240с.

53