Книга "Математическая логика и теория алгоритмов" представляет собой изложение основного курса, который читается на факультете "Автоматизации и информатики" МГГУ. В книге рассматриваются основные понятия, связанные с семантикой формализованных логико-математических языков, математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Кроме того, в книге показано практическое применение алгебры к задачам математической логики. Эта книга рекомендуется для студентов вузов, обучающихся по направлениям 552800, 654600 "Информатика и вычислительная техника" и специальности 220200 "Автоматизированные системы обработки информации и управления".
Содержание книги представляет собой изложение основного курса "Математическая логика и теория алгоритмов", который читается на факультете "Автоматизация и информатика" МГГУ, а именно: рассмотрены основные понятия семантики формализованныз логико-матиматических языков, математическая лог. исчисления высказываний и предиктов, элемента теории множеств, основ теории моделей и алгоритмы. Отдельный раздел посвящен практическому использованию алгебры в лог системе. Книга предназначена для студентов направлений 55.28 "Информатика" и 65.46 "Вычислительная техника", специальности 23.02 "Автоматизир. системы обработки информ."
Учебное пособие освещает содержание основного курса математической логики и теории алгоритмов, читаемого для студентов очной и заочной форм обучения факультета "Автоматизации и информатики" МГГУ по специальностям "Информатика и вычислительной техника" и "Автоматизированные системы организации информации". В работе изложен материал, связанный с основными понятиями формализованных языков математики и логики, с математической логикой, исчислением высказываний и предиктов, элементами теории множественности, теорией моделей и теорией алгоритмов. Здесь также показано, как практика использования алгебры может быть связана с задачами математической логики, и приведено множество примеров для иллюстрации изложенного материала.
Электронная Книга «Математическая логика и теория алгоритмов» написана автором Е. В. Зайцева в 2006 году.
Минимальный возраст читателя: 0
Язык: Русский
ISBN: 5-7418-0451-9, 978-5-7418-0451-3
Описание книги от Е. В. Зайцева
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики. Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».