Полное описание
>
Хворостухина, Е. В. Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - URL: https://www.iprbookshop.ru/99263.html (дата обращения: 11.04.2023) . - Режим доступа: ЭБС IPR SMART. - ISBN 978-5-7433-3238-0. - Текст : электронный.Книга находится в Премиум-версии IPR SMART.
УДК | |
510.6 |
ББК | |
22.12 |
Кл.слова (ненормированные): ЛОГИКА -- МАТЕМАТИКА -- МЕТОД РЕЗОЛЮЦИЙ -- РАВНОСИЛЬНЫЕ ФОРМУЛЫ -- ТЕОРИЯ МНОЖЕСТВ
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Держатели документа:
Цифровой образовательный ресурс IPR SMART : 143405, Московская область, г. Красногорск, ш. Ильинское, д. 1А, помещ. 17,6/ком. 5 (Шифр в БД-источнике (IPRBOOKS): 99263)>
Шифр в сводном ЭК: e81e0584377cda44763792baba7b0deb
Просмотр издания ЭБС IPR SMART