Логика высказываний и булевы алгебры учебное пособие
| 第一著者: | |
|---|---|
| その他の著者: | , , |
| 要約: | Пособие содержит основные положения теории множеств и математической логики, включая базовые вопросы булевой алгебры, общие сведения о формальных и аксиоматических системах, а также основы логики высказываний и логики предикатов первого порядка. Пособие позволяет освоить основные положения и математические методы представления знаний и построения доказательств в формальных системах, а также получить практические навыки по использованию методов математической логики и теории множеств для решения практических задач. Материал настоящего пособия используется в курсах «Логика высказываний и булевы алгебры» и «Системы искусственного интеллекта». Предназначено для студентов, обучающихся по программам бакалавриата следующих направлений подготовки: 02.03.03 Математическое обеспечение и администрирование информационных систем, 09.03.01 Информатика и вычислительная техника, 09.03.04 Программная инженерия очной и заочной форм обучения. Книга из коллекции ЮРГПУ (НПИ) - Математика |
| 出版事項: |
Новочеркасск, ЮРГПУ (НПИ), 2022
|
| 主題: | |
| オンライン･アクセス: | https://e.lanbook.com/book/391898 https://e.lanbook.com/img/cover/book/391898.jpg |
| フォーマット: | 電子媒体 図書 |
類似資料
Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и 09.03.04 программная инженерия
著者:: Прокопенко Н. Ю.
出版事項: (Нижний Новгород, ННГАСУ, 2021)
著者:: Прокопенко Н. Ю.
出版事項: (Нижний Новгород, ННГАСУ, 2021)
Математические основания информатики учеб. пособие
著者:: Червенчук И. В.
出版事項: (Омск, ОмГТУ, 2023)
著者:: Червенчук И. В.
出版事項: (Омск, ОмГТУ, 2023)
Введение в математику и логику учебное пособие
著者:: Червенчук В. Д.
出版事項: (Омск, Омский ГАУ, 2005)
著者:: Червенчук В. Д.
出版事項: (Омск, Омский ГАУ, 2005)
Математическая логика и теория алгоритмов учебное пособие
著者:: Ярахмедов Г. А.
出版事項: (Махачкала, ДГПУ, 2024)
著者:: Ярахмедов Г. А.
出版事項: (Махачкала, ДГПУ, 2024)
Дискретная математика. Элементы теории множеств. Булевы функции учебное пособие
著者:: Балабаева Н. П.
出版事項: (Самара, ПГУТИ, 2023)
著者:: Балабаева Н. П.
出版事項: (Самара, ПГУТИ, 2023)
Математическая логика и теория алгоритмов учебно-методическое-пособие
著者:: Геут К. Л.
出版事項: (Екатеринбург, 2017)
著者:: Геут К. Л.
出版事項: (Екатеринбург, 2017)
Булевы функции и их применение: курс лекций
著者:: Епишкина А. В.
出版事項: (Москва, НИЯУ МИФИ, 2020)
著者:: Епишкина А. В.
出版事項: (Москва, НИЯУ МИФИ, 2020)
Математическая логика и теория алгоритмов учебное пособие
著者:: Михальченко Г. Е.
出版事項: (Красноярск, СФУ, 2018)
著者:: Михальченко Г. Е.
出版事項: (Красноярск, СФУ, 2018)
Дискретная математика и математическая логика учебник
著者:: Аляев Ю. А. Юрий Александрович
出版事項: (Москва, Финансы и статистика, 2006)
著者:: Аляев Ю. А. Юрий Александрович
出版事項: (Москва, Финансы и статистика, 2006)
Формальные аксиоматические теории. Исчисление предикатов. Часть 2
著者:: Леденева Т. М.
出版事項: (Воронеж, ВГУ, 2020)
著者:: Леденева Т. М.
出版事項: (Воронеж, ВГУ, 2020)
Математическая логика и теория алгоритмов учебное пособие
著者:: Шелупанов А. А. Александр Александрович
出版事項: (Томск, STT, 2001)
著者:: Шелупанов А. А. Александр Александрович
出版事項: (Томск, STT, 2001)
Сборник задач по дискретной математике учебно-методическое пособие для вузов
著者:: Леденева Т. М.
出版事項: (Воронеж, ВГУ, 2016)
著者:: Леденева Т. М.
出版事項: (Воронеж, ВГУ, 2016)
Введение в дискретную математику методические указания для студентов по курсам «дискретная математика», «дискретная математика, математическая логика и алгоритмизация». для студентов направлений подготовки 080500 «бизнес-информатика» 090900 «информационная безопасность» 220400 «управление в технических системах» 230100 «информатика и вычислительная техника»
著者:: Бучацкая В. В.
出版事項: (Майкоп, АГУ, 2013)
著者:: Бучацкая В. В.
出版事項: (Майкоп, АГУ, 2013)
Дискретная математика. Формально-логические системы и языки
著者:: Авдошин С. М.
出版事項: (Москва, ДМК Пресс, 2018)
著者:: Авдошин С. М.
出版事項: (Москва, ДМК Пресс, 2018)
Логико-алгебраические основы дискретной математики учебное пособие для вузов
著者:: Розен В. В.
出版事項: (Санкт-Петербург, Лань, 2023)
著者:: Розен В. В.
出版事項: (Санкт-Петербург, Лань, 2023)
Дискретная математика учебное пособие
著者:: Бекарева Н. Д.
出版事項: (Новосибирск, НГТУ, 2019)
著者:: Бекарева Н. Д.
出版事項: (Новосибирск, НГТУ, 2019)
Дискретные модели в информатике учебно-методическое пособие
著者:: Гаджиева З. Д.
出版事項: (Махачкала, ДГПУ, 2024)
著者:: Гаджиева З. Д.
出版事項: (Махачкала, ДГПУ, 2024)
Прикладные вопросы дискретной математики
著者:: Шевелев Ю. П.
出版事項: (Санкт-Петербург, Лань, 2022)
著者:: Шевелев Ю. П.
出版事項: (Санкт-Петербург, Лань, 2022)
Функции алгебры логики в примерах и задачах учебно-методическое пособие
著者:: Киселева Л. Г.
出版事項: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)
著者:: Киселева Л. Г.
出版事項: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)
Математические методы в гуманитарных исследованиях учеб. пособие
著者:: Пехтерева Л. В.
出版事項: (Новосибирск, НГТУ, 2018)
著者:: Пехтерева Л. В.
出版事項: (Новосибирск, НГТУ, 2018)
Математическая логика учебное пособие
著者:: Ершов Ю. Л. Юрий Леонидович
出版事項: (СПб., Лань, 2005)
著者:: Ершов Ю. Л. Юрий Леонидович
出版事項: (СПб., Лань, 2005)
Введение в дискретную математику и логику учебное пособие
著者:: Червенчук В. Д.
出版事項: (Омск, Омский ГАУ, 2011)
著者:: Червенчук В. Д.
出版事項: (Омск, Омский ГАУ, 2011)
Дискретная математика. Контролирующие материалы к тестированию
著者:: Бабичева И. В.
出版事項: (Санкт-Петербург, Лань, 2022)
著者:: Бабичева И. В.
出版事項: (Санкт-Петербург, Лань, 2022)
Дискретная математика учебно-методическое пособие для студентов физико-математического факультета
著者:: Троякова Г. А.
出版事項: (Кызыл, ТувГУ, 2018)
著者:: Троякова Г. А.
出版事項: (Кызыл, ТувГУ, 2018)
Дискретная математика учебное пособие
著者:: Скоба А. Н.
出版事項: (Новочеркасск, ЮРГПУ (НПИ), 2022)
著者:: Скоба А. Н.
出版事項: (Новочеркасск, ЮРГПУ (НПИ), 2022)
Булевы алгебры и булевы функции. Дополнительные главы дискретной математики учебное пособие
著者:: Пинус А. Г.
出版事項: (Новосибирск, НГТУ, 2022)
著者:: Пинус А. Г.
出版事項: (Новосибирск, НГТУ, 2022)
Краткий курс математики. Часть 3 Учебное пособие
著者:: Бухенский К. В.
出版事項: (Рязань, РГРТУ, 2014)
著者:: Бухенский К. В.
出版事項: (Рязань, РГРТУ, 2014)
Дискретная математика, математическая логика в «Вóльфрам Альфа» учебное пособие
著者:: Тюрин С. Ф.
出版事項: (Пермь, ПНИПУ, 2022)
著者:: Тюрин С. Ф.
出版事項: (Пермь, ПНИПУ, 2022)
Математическая логика и теория алгоритмов учебное пособие
著者:: Крупский В. Н. Владимир Николаевич
出版事項: (Москва, Академия, 2013)
著者:: Крупский В. Н. Владимир Николаевич
出版事項: (Москва, Академия, 2013)
Математика. Основы дискретной математики учебное пособие
著者:: Зорькина Н. В.
出版事項: (Ульяновск, УИ ГА, 2019)
著者:: Зорькина Н. В.
出版事項: (Ульяновск, УИ ГА, 2019)
Теория графов и математическая логика учебное пособие
著者:: Городов А. А.
出版事項: (Красноярск, СибГУ им. академика М. Ф. Решетнёва, 2023)
著者:: Городов А. А.
出版事項: (Красноярск, СибГУ им. академика М. Ф. Решетнёва, 2023)
Математическая логика и теория алгоритмов для программистов учебное пособие
著者:: Гринченков Д. В. Дмитрий Валерьевич
出版事項: (Москва, КноРус, 2010)
著者:: Гринченков Д. В. Дмитрий Валерьевич
出版事項: (Москва, КноРус, 2010)
Элементы математической логики
著者:: Новиков П. С. Петр Сергеевич
出版事項: (Москва, Наука, 1973)
著者:: Новиков П. С. Петр Сергеевич
出版事項: (Москва, Наука, 1973)
Что такое математическая логика?
著者:: Калужнин Л. А. Лев Аркадьевич
出版事項: (Москва, Наука, 1964)
著者:: Калужнин Л. А. Лев Аркадьевич
出版事項: (Москва, Наука, 1964)
Дискретная математика для инженера
著者:: Кузнецов О. П.
出版事項: (Санкт-Петербург, Лань, 2022)
著者:: Кузнецов О. П.
出版事項: (Санкт-Петербург, Лань, 2022)
Сборник задач по множествам, булевым функциям и математической логике учебное пособие
著者:: Дехтярь М. И.
出版事項: (Тверь, ТвГУ, 2020)
著者:: Дехтярь М. И.
出版事項: (Тверь, ТвГУ, 2020)
Математическая логика и теория алгоритмов для программистов учебное пособие
著者:: Гринченков Д. В. Дмитрий Валерьевич
出版事項: (Москва, КноРус, 2013)
著者:: Гринченков Д. В. Дмитрий Валерьевич
出版事項: (Москва, КноРус, 2013)
Математическая логика учебное пособие для вузов
著者:: Ершов Ю. Л. Юрий Леонидович
出版事項: (СПб., Лань, 2005)
著者:: Ершов Ю. Л. Юрий Леонидович
出版事項: (СПб., Лань, 2005)
Дискретная математика учебное пособие
著者:: Барсукова О. Ю.
出版事項: (Пенза, ПГУ, 2019)
著者:: Барсукова О. Ю.
出版事項: (Пенза, ПГУ, 2019)
Множества. Логика. Аксиоматические теории пер. с англ.
著者:: Столл Р. Р. Роберт Р.
出版事項: (Москва, Просвещение, 1968)
著者:: Столл Р. Р. Роберт Р.
出版事項: (Москва, Просвещение, 1968)