Полное описание

99263
Хворостухина, Е. В. Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 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