О книге
Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов, теории нечетких множеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи.
Для студентов, изучающих математическую логику, а также для преподавателей.
Рекомендовано Учебно-методической комиссией НУК ФН МГТУ им. Н. Э. Баумана.
Список литературы
- Клини С.К. Математическая логика: Пер. с англ. М.: УРСС, 2005.480 с.
- Колмогоров А.Н., Драгалин А.Н. Введение в математическую логику. М.: Изд-во Моск. ун-та, 1982. 120 с.
- Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Наука, 1975. 232 с.
- Лихтарников Л.М., Сукачева Т.Г. Математическая логика: Курс лекций. Задачник-практикум и решения: Учеб. пособие. М.: Лань,1999. 288 с.
- Смольяков Э.Р. Математическая логика и некоторые ее приложения: Учеб. пособие. М.: Изд-во МГТУ им. Н.Э. Баумана, 1992. 35 с.
- Титов А.В., Калинкин А.В. Математическая логика, нечеткие множества и формальные системы: Учеб. пособие. М.: Изд-во МГТУ им. Н.Э. Баумана, 1992. 30 с.
- Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем: Пер. с англ. М.: Наука, 1983, 270 с.
- Шапорев С.Д. Математическая логика: Учеб. пособие. СПб.: БХВ-Петербург, 2005. 405 с.
