База данных: IPR SMART кітаптар
Беті 1, Нәтижелерін: 2
Отмеченные записи: 0
1.
Подробнее
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
2.
Подробнее
Прокопенко, Н. Ю.
Математическая логика и булевы функции : учебно-методическое пособие / Прокопенко Н. Ю. - Нижний Новгород : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2021. - 108 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булевы функции -- логика предикатов -- математическая логика -- равносильные формулы
Аннотация: Учебно-методическое пособие предназначено для обучающихся по очной и заочной форме в ННГАСУ по дисциплине «Дискретная математика» по направлению подготовки 09.03.03 Прикладная информатика и 09.03.04 Программная инженерия. Каждый раздел начинается с изложения необходимого теоретического материала, затем приводятся и разбираются примеры. Дается достаточное количество упражнений для самостоятельного решения.
Прокопенко, Н. Ю.
Математическая логика и булевы функции : учебно-методическое пособие / Прокопенко Н. Ю. - Нижний Новгород : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2021. - 108 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевы функции -- логика предикатов -- математическая логика -- равносильные формулы
Аннотация: Учебно-методическое пособие предназначено для обучающихся по очной и заочной форме в ННГАСУ по дисциплине «Дискретная математика» по направлению подготовки 09.03.03 Прикладная информатика и 09.03.04 Программная инженерия. Каждый раздел начинается с изложения необходимого теоретического материала, затем приводятся и разбираются примеры. Дается достаточное количество упражнений для самостоятельного решения.
Беті 1, Нәтижелерін: 2