IPR SMART / Математическая логика

Чтение online

Недоступно

Рейтинг издания

Математическая логика. Учебное пособие

Издательство:

Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ

Авторы:

Хворостухина Е.В.

Год издания:

2018

ISBN:

978-5-7433-3238-0

Тип издания:

учебное пособие

DOI:

https://doi.org/10.23682/99263 узнать подробнее

Об издании

В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».

Библиографическая запись

Хворостухина Е.В. Математическая логика : учебное пособие / Хворостухина Е.В.. — Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. — 63 c. — ISBN 978-5-7433-3238-0. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/99263.html (дата обращения: 15.11.2024). — Режим доступа: для авторизир. пользователей

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

Математическая связность и экстремальное планирование

Гущин А.В., Палевская С.А.

(Ай Пи Ар Медиа)

Вероятность и статистика

Монсик В.Б., Скрынников А.А.

(Лаборатория знаний)

Гигиена животных

Кузнецов А.Ф., Кочиш И.И., Семёнов В.Г., Софронов В.Г., Муромцев А.Б., Аристов А.В.

(Квадро)

Гигиена содержания и кормления крупного рогатого скота

Кузнецов А.Ф., Тюрин В.Г., Семенов В.Г., Софронов В.Г., Дементьев Е.П., Рожков К.А.

(Квадро)

Гигиена содержания и кормления сельскохозяйственной птицы

Кузнецов А.Ф., Тюрин В.Г., Семёнов В.Г., Холдоенко А.М., Рожков К.А., Лунегова И.В.

(Квадро)

Гигиена содержания крупного рогатого скота

Кузнецов А.Ф., Тюрин В.Г., Семенов В.Г., Рожков К.А., Лунегова И.В.

(Квадро)

Дискретная математика и математическая логика

Шмырин А.М., Седых И.А.

(Липецкий государственный технический университет, Профобразование)

Дискретті математика

Седова Н.А., Седов В.А.

(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Иностранный язык. Развитие английской разговорной речи

Горденко Н.В., Горденко Д.В.

(Ай Пи Ар Медиа)

Мировая политика и международные отношения

Сирота Н.М.

(Ай Пи Ар Медиа)

Всемирная история

Поляк Г.Б., Маркова А.Н., Андреева И.А., Айсина Ф.О., Бородина С.Д., Воскресенская Н.О., Квасов А.С., Кривцова Н.С., Мурашова Е.М., Носов В.Е., Носова Г.В., Скворцова Е.М., Топалова Ю.И., Черноскулов...

(ЮНИТИ-ДАНА)