Математическая логика. Учебное пособие
Об издании
В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Библиографическая запись
Хворостухина Е.В. Математическая логика : учебное пособие / Хворостухина Е.В.. — Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. — 63 c. — ISBN 978-5-7433-3238-0. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/99263.html (дата обращения: 07.04.2025). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Кузнецов А.Ф., Кочиш И.И., Семёнов В.Г., Софронов В.Г., Муромцев А.Б., Аристов А.В.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семенов В.Г., Софронов В.Г., Дементьев Е.П., Рожков К.А.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семёнов В.Г., Холдоенко А.М., Рожков К.А., Лунегова И.В.
(Квадро)
Верещагин Н.К., Шень А.Х.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Кузнецов А.Ф., Кочиш И.И., Семёнов В.Г., Софронов В.Г., Муромцев А.Б., Аристов А.В.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семенов В.Г., Софронов В.Г., Дементьев Е.П., Рожков К.А.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семёнов В.Г., Холдоенко А.М., Рожков К.А., Лунегова И.В.
(Квадро)
Верещагин Н.К., Шень А.Х.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Артюхин Р.Е., Демидов А.Ю., Карпенко В.М., Поветкина Н.А.
(Юриспруденция)
Рожкова Т.В., Смолин Н.И.
(Государственный аграрный университет Северного Зауралья)
Эриашвили Н.Д., Комзолов А.И., Курбанов Р.А., Кузбагаров А.Н., Ахвледиани Ю.Т., Ахмедов Р.М., Щербачева Л.В., Джабуа И.В., Коршунов П.Н., Рыжих И.В., Лебединец О.Н., Алексий П.В., Юзефович Ж.Ю., Аста...
(ЮНИТИ-ДАНА)
Ершова Н.Ю., Соловьев А.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Вязовик Н.А.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Березовская Ю.В., Юфрякова О.А., Вологдина В.Г., Озерова О.В., Куликов Э.Е., Латухина Е.А., Пархимович М.Н.
(Профобразование)
Новиков Ю.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Артюхин Р.Е., Демидов А.Ю., Карпенко В.М., Поветкина Н.А.
(Юриспруденция)
Рожкова Т.В., Смолин Н.И.
(Государственный аграрный университет Северного Зауралья)
Эриашвили Н.Д., Комзолов А.И., Курбанов Р.А., Кузбагаров А.Н., Ахвледиани Ю.Т., Ахмедов Р.М., Щербачева Л.В., Джабуа И.В., Коршунов П.Н., Рыжих И.В., Лебединец О.Н., Алексий П.В., Юзефович Ж.Ю., Аста...
(ЮНИТИ-ДАНА)
Ершова Н.Ю., Соловьев А.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Вязовик Н.А.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Березовская Ю.В., Юфрякова О.А., Вологдина В.Г., Озерова О.В., Куликов Э.Е., Латухина Е.А., Пархимович М.Н.
(Профобразование)
Новиков Ю.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)