Логика высказываний и булевы алгебры учебное пособие
Пособие содержит основные положения теории множеств и математической логики, включая базовые вопросы булевой алгебры, общие сведения о формальных и аксиоматических системах, а также основы логики высказываний и логики предикатов первого порядка. Пособие позволяет освоить основные положения и математ...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | , , |
| Aineistotyyppi: | Книга |
| Kieli: | Russian |
| Julkaistu: |
Новочеркасск
ЮРГПУ (НПИ)
2022
|
| Linkit: | https://e.lanbook.com/book/391898 https://e.lanbook.com/img/cover/book/391898.jpg |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
| LEADER | 02925nam0a2200301 i 4500 | ||
|---|---|---|---|
| 001 | 391898 | ||
| 003 | RuSpLAN | ||
| 005 | 20240220162817.0 | ||
| 008 | 240220s2022 ru gs 000 0 rus | ||
| 020 | |a 978-5-9997-0819-9 | ||
| 040 | |a RuSpLAN | ||
| 041 | 0 | |a rus | |
| 044 | |a ru | ||
| 080 | |a 510.633+512.563(075.8) | ||
| 084 | |a 22.17я73 |2 rubbk | ||
| 245 | 0 | 0 | |a Логика высказываний и булевы алгебры |b учебное пособие |c Гринченков Д. В.,Кущий Д. Н.,Тушканова О. С.,Мезенцева А. Ю. |
| 260 | |a Новочеркасск |b ЮРГПУ (НПИ) |c 2022 | ||
| 300 | |a 100 с. | ||
| 504 | |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань | ||
| 520 | 8 | |a Пособие содержит основные положения теории множеств и математической логики, включая базовые вопросы булевой алгебры, общие сведения о формальных и аксиоматических системах, а также основы логики высказываний и логики предикатов первого порядка. Пособие позволяет освоить основные положения и математические методы представления знаний и построения доказательств в формальных системах, а также получить практические навыки по использованию методов математической логики и теории множеств для решения практических задач. Материал настоящего пособия используется в курсах «Логика высказываний и булевы алгебры» и «Системы искусственного интеллекта». Предназначено для студентов, обучающихся по программам бакалавриата следующих направлений подготовки: 02.03.03 Математическое обеспечение и администрирование информационных систем, 09.03.01 Информатика и вычислительная техника, 09.03.04 Программная инженерия очной и заочной форм обучения. | |
| 521 | 8 | |a Книга из коллекции ЮРГПУ (НПИ) - Математика | |
| 100 | 1 | |a Гринченков Д. В. | |
| 700 | 1 | |a Кущий Д. Н. | |
| 700 | 1 | |a Тушканова О. С. | |
| 700 | 1 | |a Мезенцева А. Ю. | |
| 856 | 4 | |u https://e.lanbook.com/book/391898 | |
| 856 | 4 | 8 | |u https://e.lanbook.com/img/cover/book/391898.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/391898.jpg | ||