Математическая логика и теория алгоритмов (Е. В. Зайцева). 2006г.

Книга "Математическая логика и теория алгоритмов" представляет собой изложение основного курса, который читается на факультете "Автоматизации и информатики" МГГУ. В книге рассматриваются основные понятия, связанные с семантикой формализованных логико-математических языков, математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Кроме того, в книге показано практическое применение алгебры к задачам математической логики. Эта книга рекомендуется для студентов вузов, обучающихся по направлениям 552800, 654600 "Информатика и вычислительная техника" и специальности 220200 "Автоматизированные системы обработки информации и управления".

Содержание книги представляет собой изложение основного курса "Математическая логика и теория алгоритмов", который читается на факультете "Автоматизация и информатика" МГГУ, а именно: рассмотрены основные понятия семантики формализованныз логико-матиматических языков, математическая лог. исчисления высказываний и предиктов, элемента теории множеств, основ теории моделей и алгоритмы. Отдельный раздел посвящен практическому использованию алгебры в лог системе. Книга предназначена для студентов направлений 55.28 "Информатика" и 65.46 "Вычислительная техника", специальности 23.02 "Автоматизир. системы обработки информ."

Учебное пособие освещает содержание основного курса математической логики и теории алгоритмов, читаемого для студентов очной и заочной форм обучения факультета "Автоматизации и информатики" МГГУ по специальностям "Информатика и вычислительной техника" и "Автоматизированные системы организации информации". В работе изложен материал, связанный с основными понятиями формализованных языков математики и логики, с математической логикой, исчислением высказываний и предиктов, элементами теории множественности, теорией моделей и теорией алгоритмов. Здесь также показано, как практика использования алгебры может быть связана с задачами математической логики, и приведено множество примеров для иллюстрации изложенного материала.