Математическая логика и теория алгоритмов - все книги по дисциплине. Издательство Лань
Выгрузка списка книг доступна только авторизованным пользователям. Авторизоваться
Учебное пособие будет полезно студентам технических университетов, специализирующимся в направлении «Информатика».
Учебник содержит введение, 9 глав, библиографический список. Рассмотрены разделы математики, посвященные теории множеств, математической логике, теории логического вывода, теории графов, экспертным методам, теории принятия решений, нелинейному программированию, транспортной задаче и теории функций комплексной переменной.
Теоретические положения проиллюстрированы примерами, в том числе прикладного характера. В конце каждой главы приведены задачи для самостоятельного решения.
Учебник может быть также полезен магистрам, аспирантам и преподавателям вузов.
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.
Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.