Логика высказываний и булевы алгебры учебное пособие

Логика высказываний и булевы алгебры учебное пособие

Bibliografiset tiedot
Päätekijä:	Гринченков Д. В.
Muut tekijät:	Кущий Д. Н., Тушканова О. С., Мезенцева А. Ю.
Yhteenveto:	Пособие содержит основные положения теории множеств и математической логики, включая базовые вопросы булевой алгебры, общие сведения о формальных и аксиоматических системах, а также основы логики высказываний и логики предикатов первого порядка. Пособие позволяет освоить основные положения и математические методы представления знаний и построения доказательств в формальных системах, а также получить практические навыки по использованию методов математической логики и теории множеств для решения практических задач. Материал настоящего пособия используется в курсах «Логика высказываний и булевы алгебры» и «Системы искусственного интеллекта». Предназначено для студентов, обучающихся по программам бакалавриата следующих направлений подготовки: 02.03.03 Математическое обеспечение и администрирование информационных систем, 09.03.01 Информатика и вычислительная техника, 09.03.04 Программная инженерия очной и заочной форм обучения. Книга из коллекции ЮРГПУ (НПИ) - Математика
Julkaistu:	Новочеркасск, ЮРГПУ (НПИ), 2022
Aiheet:	множества теория множеств булева алгебра логика функции операции высказывания алгоритм метод резолюций логика предикатов минимизация булевых функций
Linkit:	https://e.lanbook.com/book/391898 https://e.lanbook.com/img/cover/book/391898.jpg
Aineistotyyppi:	Elektroninen Kirja

Samankaltaisia teoksia

Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и 09.03.04 программная инженерия
Tekijä: Прокопенко Н. Ю.
Julkaistu: (Нижний Новгород, ННГАСУ, 2021)

Математические основания информатики учеб. пособие
Tekijä: Червенчук И. В.
Julkaistu: (Омск, ОмГТУ, 2023)

Введение в математику и логику учебное пособие
Tekijä: Червенчук В. Д.
Julkaistu: (Омск, Омский ГАУ, 2005)

Математическая логика и теория алгоритмов учебное пособие
Tekijä: Ярахмедов Г. А.
Julkaistu: (Махачкала, ДГПУ, 2024)

Дискретная математика. Элементы теории множеств. Булевы функции учебное пособие
Tekijä: Балабаева Н. П.
Julkaistu: (Самара, ПГУТИ, 2023)

Математическая логика и теория алгоритмов учебно-методическое-пособие
Tekijä: Геут К. Л.
Julkaistu: (Екатеринбург, 2017)

Булевы функции и их применение: курс лекций
Tekijä: Епишкина А. В.
Julkaistu: (Москва, НИЯУ МИФИ, 2020)

Математическая логика и теория алгоритмов учебное пособие
Tekijä: Михальченко Г. Е.
Julkaistu: (Красноярск, СФУ, 2018)

Дискретная математика и математическая логика учебник
Tekijä: Аляев Ю. А. Юрий Александрович
Julkaistu: (Москва, Финансы и статистика, 2006)

Формальные аксиоматические теории. Исчисление предикатов. Часть 2
Tekijä: Леденева Т. М.
Julkaistu: (Воронеж, ВГУ, 2020)

Математическая логика и теория алгоритмов учебное пособие
Tekijä: Шелупанов А. А. Александр Александрович
Julkaistu: (Томск, STT, 2001)

Сборник задач по дискретной математике учебно-методическое пособие для вузов
Tekijä: Леденева Т. М.
Julkaistu: (Воронеж, ВГУ, 2016)

Введение в дискретную математику методические указания для студентов по курсам «дискретная математика», «дискретная математика, математическая логика и алгоритмизация». для студентов направлений подготовки 080500 «бизнес-информатика» 090900 «информационная безопасность» 220400 «управление в технических системах» 230100 «информатика и вычислительная техника»
Tekijä: Бучацкая В. В.
Julkaistu: (Майкоп, АГУ, 2013)

Дискретная математика. Формально-логические системы и языки
Tekijä: Авдошин С. М.
Julkaistu: (Москва, ДМК Пресс, 2018)

Логико-алгебраические основы дискретной математики учебное пособие для вузов
Tekijä: Розен В. В.
Julkaistu: (Санкт-Петербург, Лань, 2023)

Дискретная математика учебное пособие
Tekijä: Бекарева Н. Д.
Julkaistu: (Новосибирск, НГТУ, 2019)

Дискретные модели в информатике учебно-методическое пособие
Tekijä: Гаджиева З. Д.
Julkaistu: (Махачкала, ДГПУ, 2024)

Прикладные вопросы дискретной математики
Tekijä: Шевелев Ю. П.
Julkaistu: (Санкт-Петербург, Лань, 2022)

Функции алгебры логики в примерах и задачах учебно-методическое пособие
Tekijä: Киселева Л. Г.
Julkaistu: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)

Математические методы в гуманитарных исследованиях учеб. пособие
Tekijä: Пехтерева Л. В.
Julkaistu: (Новосибирск, НГТУ, 2018)

Математическая логика учебное пособие
Tekijä: Ершов Ю. Л. Юрий Леонидович
Julkaistu: (СПб., Лань, 2005)

Введение в дискретную математику и логику учебное пособие
Tekijä: Червенчук В. Д.
Julkaistu: (Омск, Омский ГАУ, 2011)

Дискретная математика. Контролирующие материалы к тестированию
Tekijä: Бабичева И. В.
Julkaistu: (Санкт-Петербург, Лань, 2022)

Дискретная математика учебно-методическое пособие для студентов физико-математического факультета
Tekijä: Троякова Г. А.
Julkaistu: (Кызыл, ТувГУ, 2018)

Дискретная математика учебное пособие
Tekijä: Скоба А. Н.
Julkaistu: (Новочеркасск, ЮРГПУ (НПИ), 2022)

Булевы алгебры и булевы функции. Дополнительные главы дискретной математики учебное пособие
Tekijä: Пинус А. Г.
Julkaistu: (Новосибирск, НГТУ, 2022)

Краткий курс математики. Часть 3 Учебное пособие
Tekijä: Бухенский К. В.
Julkaistu: (Рязань, РГРТУ, 2014)

Дискретная математика, математическая логика в «Вóльфрам Альфа» учебное пособие
Tekijä: Тюрин С. Ф.
Julkaistu: (Пермь, ПНИПУ, 2022)

Математическая логика и теория алгоритмов учебное пособие
Tekijä: Крупский В. Н. Владимир Николаевич
Julkaistu: (Москва, Академия, 2013)

Математика. Основы дискретной математики учебное пособие
Tekijä: Зорькина Н. В.
Julkaistu: (Ульяновск, УИ ГА, 2019)

Теория графов и математическая логика учебное пособие
Tekijä: Городов А. А.
Julkaistu: (Красноярск, СибГУ им. академика М. Ф. Решетнёва, 2023)

Математическая логика и теория алгоритмов для программистов учебное пособие
Tekijä: Гринченков Д. В. Дмитрий Валерьевич
Julkaistu: (Москва, КноРус, 2010)

Элементы математической логики
Tekijä: Новиков П. С. Петр Сергеевич
Julkaistu: (Москва, Наука, 1973)

Что такое математическая логика?
Tekijä: Калужнин Л. А. Лев Аркадьевич
Julkaistu: (Москва, Наука, 1964)

Дискретная математика для инженера
Tekijä: Кузнецов О. П.
Julkaistu: (Санкт-Петербург, Лань, 2022)

Сборник задач по множествам, булевым функциям и математической логике учебное пособие
Tekijä: Дехтярь М. И.
Julkaistu: (Тверь, ТвГУ, 2020)

Математическая логика и теория алгоритмов для программистов учебное пособие
Tekijä: Гринченков Д. В. Дмитрий Валерьевич
Julkaistu: (Москва, КноРус, 2013)

Математическая логика учебное пособие для вузов
Tekijä: Ершов Ю. Л. Юрий Леонидович
Julkaistu: (СПб., Лань, 2005)

Дискретная математика учебное пособие
Tekijä: Барсукова О. Ю.
Julkaistu: (Пенза, ПГУ, 2019)

Множества. Логика. Аксиоматические теории пер. с англ.
Tekijä: Столл Р. Р. Роберт Р.
Julkaistu: (Москва, Просвещение, 1968)