Список литературы по дисциплине Математическая логика. Темы курсовых работ.

Содержание

Список литературы по Математическая логика

Возможные темы курсовых работ по Математическая логика

Список литературы по Математическая логика

Сформирован список литературы для курсовой работы по математической логике более чем из 100 книг.

1. Автоматы / Под. Ред. К.Э. Шеннона и Дж. Маккарти.– М.: ИЛ, 1956.
2. Адельсон-Вельский, Г.М., Диниц Е.А., Карзанов А.Б. Потоковые алгоритмы.– М.: Наука, 1975.
3. Акимов О.Е. Дискретная математика: логика, группы, графы. 2-е изд., дополн.– М.: Лаборатория Базовых Знаний, 2001.– 376 с.
4. Александров П. С. Введение в теорию множеств и общую топологию.– М.: Наука, 1977.
5. Алфёрова З.В. Теория алгоритмов.– М.: Статистика, 1973.
6. Андерсон Д. А. Дискретная математика и комбинаторика.– М.: „Вильямс”, 2003.
7. Анкудинов Г.И. Математическая логика и теория алгоритмов: учеб. пособие / Г.И. Анкудинов, И.Г. Анкудинов, О.А. Петухов. – СПб.: Изд-во СЗТУ, 2003. – 104 с.
8. Ахо Ф., Ульман Дж. Теория статистического анализа и её приложения, перевода и компиляции. М.: Мир, т. 1б2, 1978.
9. Ахо Ф., Хопкрофт Дж, Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979.
10. Барвайс Дж. (ред.) Справочная книга по математической логике. — М.: Наука, 1982.
11. Братчиков И.Л. Синтаксис языков программирования. — М.: Наука, 1975.
12. Булос Дж., Джеффри Р. Вычислимость и логика. — М.: Мир, 1994.
13. Верещагин Н.К. Начала теории множеств / Н.К. Верещагин, А. Шень. – М.: МЦНМО, 1999. – 122 с.
14. Виленкин Н.Я. Комбинаторика.– М.: Наука, 1969.
15. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. – М.: Наука, 1977.-368 с.
16. Галушкина Ю.И., Марьямов А.Н. Конспект лекций по дискретной математике. М.: Изд. АЙРИС Пресс, 2007, 176с.
17. Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. — М.: Наука, 1974.
18. Гиндикин С.Г. Алгебра логики в задачах. – М.: Наука, 1972.-288 с.
19. Глускин Л.М., Шварц В.Я., Л.А. Шор. Задачи и алгоритмы комбинаторики и теории графов. — Донецк: Выща школа, 1982.
20. Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика. – М.: Наука. Физматлит, 2000. – 544 с.
21. Гохман А.В. и др. Сборник задач по математической логике и алгебре множеств. – Саратов: изд-во Саратовского университета, 1965.-86 с.
22. Гудстейн Р.Л. Математическая логика. – М. : ИЛ, 1961. -162 с.
23. Гусев Д. А. Краткий курс логики: Искусство правильного мышления. – Г96 М.: Изд-во НЦ ЭНАС, 2003. – 00 с. – (Факультатив).
24. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. – М.: Мир, 1982. – 416 с.
25. Ершов Ю.Л., Палютин Е.А. Математическая логика. — М.: Наука, 1979.
26. Ершов Ю.Л., Лавров И.А., Тайманов А.Д., Тайцлин М.А. Элементарные теории // УМН, 1965, 20, № 4, с. 37-108.
27. Ершов Ю.Л., Палютин Е.А. Математическая логика. — М.: Наука,1979.
28. Ершов Ю.Л. Проблемы разрешимости и конструктивные модели. — М.: Наука, 1980.
29. Иванов Б.Н. Дискретная математика. Алгоритмы и программы. М. :Лаб. Базовых знаний, 2002, 288 с.
30. Игошин В.И. Задачник-практикум по математической логике. — М.: Просвещение, 1986.
31. Игошин В.И. Математическая логика и теория алгоритмов. — Саратов: Изд-во Сарат. ун-та, 1991.
32. Ин Ц., Соломон Д. Использование Турбо-Пролога. — М.: Мир, 1993.
33. Калужнин Л. А. Что такое математическая логика? М: Наука, 1964.
34. Клини С. Введение в метаматематику. — М., 1957.
35. Клини С. Математическая логика. — М.: Мир, 1973.
36. Ковальски Р. Логика в решении проблем. — М.: Наука, 1990.
37. Колмогоров А.Н. Математическая логика: учебное пособие для вузов мат. специальностей / Колмогоров А.Н., Драгалин А.Г. — М.: Изд-во УРСС, 2004. — 238 с.
38. Колмогоров А.Н., Драгалин А.Г. Математическая логика. – М: Едиториал УРСС, 2004.-240 с.
39. Компьютер и задачи выбора / Автор предисл. Журавлев Ю.И.-М.: Наука, 1989.-208 с. -(теория "Кибернетика - неограниченные возможности и возможные ограничения").
40. Кондаков Н.И. Логический словарь – справочник. – М. : Наука, 1975.-720 с.
41. Корбут А.А., Финкельштейн Ю.Ю. Дискретное программирование. – М.: Наука, 1969.
42. Кострикин А.И. Введение в алгебру. Основы алгебры / А.И. Кострикин. – М.: Наука, 1979. – 300 с.
43. Кофман А. Введение в теорию нечетких множеств /Пер. с фр. М.: Радио и связь, 1982. 432 с.
44. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. – М.: Энергоатомиздат, 1988.-480 с.
45. Кузнецов О.П. Дискретная математика для инженера / О.П. Кузнецов. – СПб.: Изд-во «Лань», 2005. – 400 с.
46. Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970.
47. Кук Д., Бейз Д. Компьютерная математика.– М.: Наука, 1990.
48. Кэрролл Л. История с узелками/ Пер. с англ. — М., 1973.
49. Кэрролл Л. Логическая игра/ Пер. с англ. — М., 1991.
50. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. — 4-е изд. — М., 2001.
51. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – 5-е изд., исправл. – М.: ФИЗМАТЛИТ, 2004. – 256 с.
52. Лавров И.А. Математическая логика: учеб. пособие для студ. высш. учеб. заведений / И.А. Лавров; под ред. Л.Л. Максимовой. – М.: Издательский центр «Академия», 2006. – 240 с.
53. Мальцев Ю.Н. Введение в дискретную математику / Ю.Н. Мальцев, Е.П. Петров. – Барнаул.: Алтайский Госуниверситет, 1997. – 138 с.
54. Липский В. Комбинаторика для программистов. — М.: Мир, 1988.
55. Лихтарников, Л. М. Математическая логика / Л. М. Лихтарников, Т. Г. Сукачёва. – СПб : «Лань», 1999.
56. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 3-е изд., испр. — СПб. Издательство «Лань», 2008. — 288 с.
57. Лыскова В.Ю. Логика в информатике/ В.Ю. Лыскова, Е.А. Ракитина. — М.: Лаборатория Базовых Знаний, 2001. — 160 с.
58. Математическая логика / Под общей редакцией А.А. Столяра и др. — Минск: Высшая школа, 1991.
59. Матросов В.Л. Теория алгоритмов. –М.,1989. –188 с.
60. Мелихов А. Н., Берштейн Л. С. Конечные четкие и расплывчатые множества. II. Расплывчатые множества: Учеб. пособие /ТРТИ. Таганрог, 1980. 101 с.
61. Мелихов А. Н., Берштейн Л. С., Коровин С. Я. Ситуационные советующие системы с нечеткой логикой. М.: Наука, 1990. 272 с.
62. Мендельсон Э. Введение в математическую логику. — М.: Наука, 1984.
63. Мощенский В.А. Лекции по математической логике. — Минск, 1973.
64. Муромцев В.В. Методы синтеза логических схем: Учебное пособие. Белгород: Изд-во БелГТАСМ, 1994. – 78 с.
65. Непейвода Н.Н. Прикладная логика: учеб. пособие / Н.Н. Непейвода. – Ижевск: Изд-во Удмурского университета, 1997. – 385 с.
66. Нефедов В.Н., Осипова В.А. .Курс дискретной математики :Учебное пособие. – М.: изд-во МАИ, 1992.-264 с.
67. Нечеткие множества в моделях управления и искусственного интеллекта / Под ред. Д. А. Поспелова. М.: Наука, 1986. 312 с.
68. Никольская И.Л. Знакомство с математической логикой. — М.: Московский психолого-социальный институт: Флинта, 1998. — 128 с.
69. Никольская И.Л. Математическая логика. — М., 1981.
70. Новиков П.С. Элементы математической логики. — М.: Наука, 1973.
71. Орловский С. А. Проблемы принятия решений при нечеткой исходной информации. М.: Наука, 1981. 208 с.
72. Очан Ю.С. Сборник задач и теорем по теории функций действительной переменной / Ю.С. Очан. – М.: Просвещение, 1963. – 232 с.
73. Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: из-во Саратовского университета., 1967.-143 с.
74. Попов А.И. Введение в математическую логику. – Л.: ЛГУ, 1959. – 108 с.
75. Потапов В.И. Компьютерная арифметика и алгоритмическое моделирование арифметических операций: учеб. пособие / В.И. Потапов, О.П. Шафеева. – Омск: Изд-во ОмГТУ, Гриф УМО. 2005. – 96 с.
76. Рабин М.О. Разрешимые теории. В кн.: Справочная книга по математической логике, ч.3. Теория рекурсии. — М.: Наука, 1982. — с. 77-111.
77. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы.– М.: Мир, 1980.
78. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. 2–е изд. М. –1986. –211 с.
79. Рояк М.Э., Рояк С.Х. Математическая логика (метод. указания, часть 1). Новосибирск: Изд-во НГТУ, 1998. -61с.
80. Слупецкий Е., Борковский Л. Элементы логики и теории множеств. –М.: Прогресс, 1965. – 368 с.
81. Столяр А.А. Логическое введение в математику. –Минск, Высшая школа, 1971.-223 с.
82. Столл Р.Р. Множество. Логика. Аксиоматические теории. – М.: Просвещение. 1968.-231 с.
83. Столяр А.А. Макаренков А.В. Что такое алгоритм. –Минск, –1991. –169 с.
84. Судоплатов С.В., Овчинникова Е.В. Дискретная математика: Учебник. –М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2005. -256с.
85. Тей А., Грибомон П. и др. Логический подход к искусственному интеллекту. Т. 1. — М.: Мир, 1990.
86. Тей А., Грибомон П. и др. Логический подход к искусственному интеллекту. Т. 2. — М.: Мир, 1998.
87. Теляковский С.А. Сборник задач по теории функций действительного переменного / С.А. Теляковский. – М.: Наука, 1980. – 112 с.
88. Тихомирова Л.С. Методы минимизации булевых функций (методическая разработка). – Устинов: Изд-во УМИ, 1985. -36с.
89. Фрейденталь Ч. Язык логики.- М.: Наука, 1969.
90. Френкель А., Бар-Хиллел И. Основания теории множеств.– М.: Мир,1966.
91. Фролов И.С. Элементы математической логики: Учеб. Пособие для студентов математических специальностей. – Самара: Изд-во «Самарский университет», 2001. – 80 с.
92. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. — М.: Наука, 1983.
93. Черч А. Введение в математическую логику. — М.: Мир, 1960.
94. Шабунин Л.В. Математическая логика. Логика высказываний и логика предикатов: учебное пособие / Шабунин Л.В., отв. ред. Стакун А.А.; Чуваш гос. ун-т им. И.Н. Ульянова. — Чебоксары: Изд-во Чуваш. ун-та, 2003. — 56 с.
95. Шенфилд. Математическая логика. – М.: Наука, 1975.-527 с.
96. Шиханович Е.А. Введение в современную математику. – М.: Наука, 1965.-376 с.
97. Шоломов Л.А. Основы теории дискретных логических и вычислительных устройств. – М.: Наука, 1980. – 400с.
98. Эдельман С.Л. Математическая логика. Учебное пособие для институтов. – М. Высшая школа, 1975.-176 с.
99. Яблонский С.В. Введение в дискретную математику. — М.: Наука, 1979.
100. Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. –М.: Наука, 1966. -119с.
101. Яхъяева Г.Э. Нечеткие множества и нейронные сети: Учебное пособие. – М.: 2006. – 316 с.

Возможные темы курсовых работ по Математическая логика

Подобраны темы для курсовых работ по математической логике.

1. Метод резолюций и его применение в алгебре высказываний и алгебре предикатов.
2. Тема курсовой работы. Аксиоматические системы.
3. Минимальные и кратчайшие КНФ и ДНФ.
4. Применение методов математической логики в теории формальных языков.
5. Формальные грамматики как логические исчисления.
6. Методы решения текстовых логических задач.
7. Системы логического программирования.
8. Логическая игра.
9. Неразрешимость логики первого порядка.
10. Нестандартные модели арифметики.
11. Метод диагонализации в математической логике.
12. Тема курсовой работы. Машины Тьюринга и тезис Чёрча.
13. Вычислимость на абаке и рекурсивные функции.
14. Представимость рекурсивных функций и отрицательные результаты математической логики.
15. Разрешимость арифметики сложения.
16. Логика второго порядка и определимость в арифметике.
17. Метод ультрапроизведений в теории моделей.
18. Теорема Гёделя о неполноте формальной арифметики.
19. Разрешимые и неразрешимые аксиоматические теории.
20. Интерполяционная лемма Крейга и ее приложения.
21. Простейшие преобразователи информации.
22. Переключательные схемы.
23. Кодирование: алфавитное и помехоустойчивое.
24. Тема курсовой работы. Контактные структуры.
25. Применение булевых функций к релейно-контактным схемам.
26. Применение булевых функций в теории распознавания образов.
27. Математическая логика и системы искусственного интеллекта.

Другие дисциплины:

1. Дискретная математика Темы курсовых работ.
2. Высшая математика Темы курсовых работ.
3. Математическая статистика и теория вероятностей
4. Геометрия
5. Математический анализ
6. Алгебра
7. Численные методы
8. Математические методы исследования операций
9. Базы данных Темы курсовых работ. Готовые работы. Курсы. Список литературы.