Библиографический список

1. Ахо А., Хопкрофт Дж., Ульман Д. Структуры данных и алгоритмы. − М.: Издательский дом “Вильямс”, 2000. − 384 с.

2. Гетманова А.Д. Логика: Учебник для студентов вузов. − 8-е изд. − М.: Омега-Л, 2006. − 416 с.

3. Гладков Л.А., Курейчик В.В, Курейчик В.М. Основы теории алгоритмов. Учеб. пособие по курсу “Математическая логика и теория алгоритмов”. Таганрог: Изд-во ТРТУ, 2002. − 82 с.

4. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи/ Пер. с англ. − М.: Мир, 1982. − 416 с.

5. Ершов Ю.Л., Палютин Е.А. Математическая логика. − М.: Наука, 1987.

6. Игошин В.И. Математическая логика и теория алгоритмов: Учеб. пособие для студентов вузов. − М.: Издательский центр “Академия”, 2004. − 448 с.

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

8. Кормен Т., Лейзерсон Ч., Риверст Р. Алгоритмы: построение и анализ. − М.: МЦНМО, 2004. − 960 с.

9. Курейчик В.М, Глушань В.М., Щербаков Л.И. Комбинаторные аппаратные модели и алгоритмы в САПР. − М.: “Радио и связь”, 1990. − 216 с.

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

11. Лихтарников Л.М., Сукачева Т.Г. Математическая логика: Курс лекций. − СПб: Изд-во “Лань”, 1998. − 288 с.

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

13. Пападимитру Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность: Пер. с англ. − М.: Мир, 1985. − 512 с.

14. Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов: Учебник. − М.: ИНФРА-М.; Новосибирск: Изд-во НГТУ, 2004.− 224 с.

15. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987. − 288 с.

16. Шапорев С.Д. Математическая логика. Курс лекций и практических занятий.− СПб.: БХВ − Петербург. 2005. − 416 с.

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

18. Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики. − 2-е изд. − М.: Физматлит, 2004. − 128 с.

19. Яшин Б.Л. Логика. Учебник для высших и средних учебных заведений. − М.: “Изд-во ЭЛИТ”, 2004. − 416 с.

20. Самойленко А.П., Усенко О.А. Математическая логика и теория алгоритмов в примерах и задачах. Учебное пос./Под ред. Беловой Л.Ф. – Таганрог: Изд-во Таганрог. гос. пед. ин-та, 2004. – 260 с.

Список сокращений

ТИФ – тождественно истинная формула;

ТЛФ – тождественно ложная формула;

ФПСО – функционально полная система операций;

КЕ – конституента единицы;

КН – конституента нуля;

ФАЛ – функции алгебры логики;

НДФ – нормальная дизъюнктивная форма;

НКФ – нормальная конъюнктивная форма;

СНД(К)Ф – совершенная нормальная дизъюнктивная (конъюнктив-

ная) форма;

сНД(К)Ф – сокращенная нормальная дизъюнктивная (конъюнктив-

ная) форма;

ТНД(К)Ф – тупиковая нормальная дизъюнктивная (конъюнктивная)

форма;

МНД(К)Ф – минимальная нормальная дизъюнктивная (конъюнктив-

ная) форма;

МФ – минимальная форма;

КК – карта Карно;

РКС – релейно-коммутационная схема;

ПЗ – правило заключения;

ПОП – правило одновременной подстановки;

ПСЗ – правило сложного заключения;

ПСДО – правило снятия двойного отрицания;

ТД – теорема дедукции;

ОТД – обобщенная теорема дедукции;

ПНФ – предварённая нормальная форма;

СПР – схема примитивной рекурсии;

МТ – машина Тьюринга;

ДМТ – детерминированная машина Тьюринга;

НДМТ – недетерминированная машина Тьюринга;

ВСА – временная сложность алгоритма;

ПСА – пространственная сложность алгоритма;

ДВУ – детерминированное вычислительное устройство;

НДВУ – недетерминированное вычислительное устройство.