Сборник задач по математической логике и теории алгоритмов Учебное пособие
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Учебное пособие |
| Редакция: | 1 |
| Online-ссылка: | https://znanium.com/catalog/document?id=329810 https://znanium.com/cover/0986/986940.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 03667nam0a2200373 i 4500 | ||
|---|---|---|---|
| 001 | RU\infra-m\znanium\bibl\986940 | ||
| 003 | https://znanium.com/catalog/document?id=329810 | ||
| 005 | 20250319000000.0 | ||
| 010 | |a 978-5-906818-08-9 | ||
| 010 | |a 978-5-16-103684-6 |b электр. издание | ||
| 010 | |a 978-5-16-011429-3 |b ISBN соиздателя | ||
| 100 | |a 20250319d2018 m y0rusy0150 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Сборник задач по математической логике и теории алгоритмов |e Учебное пособие |f Саратовский государственный университет им. Н.Г. Чернышевского | |
| 205 | |a 1 | ||
| 210 | 1 | |a Москва |c ООО "КУРС" |d 2019 | |
| 215 | |a 392 с. | ||
| 330 | |a Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М 2012. 399 с. +CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М 2012. 318 с. (Высшее образование). Для студентов университетов технических и педагогических вузов обучающихся как на уровне бакалавриата так и на уровне магистратуры по направлениям «Математика» «Информатика» «Прикладная математика и информатика» «Математика и компьютерные науки» «Бизнес-информатика» «Математик-педагог» «Учитель математики». | ||
| 333 | |a ВО - Бакалавриат | ||
| 606 | |a Физико-математические науки |x Линейное программирование. Математическая логика |2 local | ||
| 608 | |a Учебное пособие |2 local | ||
| 675 | |a 510.6(075.8) |z rus | ||
| 686 | |a 22.12я73 |2 rubbk | ||
| 686 | |a 09.03.03 |2 okso | ||
| 686 | |a 09.04.03 |2 okso | ||
| 686 | |a 44.03.01 |2 okso | ||
| 686 | |a 44.03.04 |2 okso | ||
| 686 | |a 44.04.01 |2 okso | ||
| 686 | |a 44.04.04 |2 okso | ||
| 700 | 1 | |a Игошин |b В. И. |g Владимир Иванович |p Саратовский государственный университет им. Н.Г. Чернышевского | |
| 801 | 0 | |a RU |b Общество с ограниченной ответственностью «ЗНАНИУМ» |c 20180621 |2 rusmarc | |
| 856 | 4 | |a znanium.com |m ebs_support@infra-m.ru |n НИЦ ИНФРА-М |u https://znanium.com/catalog/document?id=329810 | |
| 856 | 4 | 1 | |a znanium.com |d /cover/0986 |f 986940.jpg |q image/jpeg |u https://znanium.com/cover/0986/986940.jpg |