Логика высказываний и булевы алгебры учебное пособие
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Summary: | Пособие содержит основные положения теории множеств и математической логики, включая базовые вопросы булевой алгебры, общие сведения о формальных и аксиоматических системах, а также основы логики высказываний и логики предикатов первого порядка. Пособие позволяет освоить основные положения и математические методы представления знаний и построения доказательств в формальных системах, а также получить практические навыки по использованию методов математической логики и теории множеств для решения практических задач. Материал настоящего пособия используется в курсах «Логика высказываний и булевы алгебры» и «Системы искусственного интеллекта». Предназначено для студентов, обучающихся по программам бакалавриата следующих направлений подготовки: 02.03.03 Математическое обеспечение и администрирование информационных систем, 09.03.01 Информатика и вычислительная техника, 09.03.04 Программная инженерия очной и заочной форм обучения. Книга из коллекции ЮРГПУ (НПИ) - Математика |
| Published: |
Новочеркасск, ЮРГПУ (НПИ), 2022
|
| Subjects: | |
| Online Access: | https://e.lanbook.com/book/391898 https://e.lanbook.com/img/cover/book/391898.jpg |
| Format: | Electronic Book |
MARC
| LEADER | 00000nam0a2200000 i 4500 | ||
|---|---|---|---|
| 001 | RU-LAN-BOOK-391898 | ||
| 010 | |a 978-5-9997-0819-9 | ||
| 100 | |a 20250516d2022 k y0rusy01020304ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a y j 000zy | ||
| 106 | |a z | ||
| 200 | 1 | |a Логика высказываний и булевы алгебры |b Электронный ресурс |f Гринченков Д. В.,Кущий Д. Н.,Тушканова О. С.,Мезенцева А. Ю. |e учебное пособие | |
| 210 | |a Новочеркасск |b Новочеркасск |c ЮРГПУ (НПИ) |d 2022 | ||
| 215 | |a 100 с. | ||
| 330 | |a Пособие содержит основные положения теории множеств и математической логики, включая базовые вопросы булевой алгебры, общие сведения о формальных и аксиоматических системах, а также основы логики высказываний и логики предикатов первого порядка. Пособие позволяет освоить основные положения и математические методы представления знаний и построения доказательств в формальных системах, а также получить практические навыки по использованию методов математической логики и теории множеств для решения практических задач. Материал настоящего пособия используется в курсах «Логика высказываний и булевы алгебры» и «Системы искусственного интеллекта». Предназначено для студентов, обучающихся по программам бакалавриата следующих направлений подготовки: 02.03.03 Математическое обеспечение и администрирование информационных систем, 09.03.01 Информатика и вычислительная техника, 09.03.04 Программная инженерия очной и заочной форм обучения. | ||
| 333 | |a Книга из коллекции ЮРГПУ (НПИ) - Математика | ||
| 610 | 0 | |a множества | |
| 610 | 0 | |a теория множеств | |
| 610 | 0 | |a булева алгебра | |
| 610 | 0 | |a логика | |
| 610 | 0 | |a функции | |
| 610 | 0 | |a операции | |
| 610 | 0 | |a высказывания | |
| 610 | 0 | |a алгоритм | |
| 610 | 0 | |a метод резолюций | |
| 610 | 0 | |a логика предикатов | |
| 610 | 0 | |a минимизация булевых функций | |
| 675 | |a 510.633+512.563(075.8) | ||
| 686 | |a 22.17я73 |2 rubbk | ||
| 700 | 1 | |a Гринченков |b Д. В. | |
| 701 | 1 | |a Кущий |b Д. Н. | |
| 701 | 1 | |a Тушканова |b О. С. | |
| 701 | 1 | |a Мезенцева |b А. Ю. | |
| 801 | 1 | |a RU |b Издательство Лань |c 20250516 |g RCR | |
| 856 | 4 | |u https://e.lanbook.com/book/391898 | |
| 856 | 4 | 1 | |u https://e.lanbook.com/img/cover/book/391898.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/391898.jpg | ||