TY  - BOOK
AU  - Игошин,Владимир Иванович
TI  - Сборник задач по математической логике и теории алгоритмов: Учебное пособие
SN  - 9785906818089
PY  - 2018///
CY  - Москва
PB  - ООО "КУРС"
KW  - Физико-математические науки
KW  - Линейное программирование. Математическая логика
KW  - local
KW  - Учебное пособие
N2  - Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика  высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом 	параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М 2012. 399 с. +CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М 2012. 318 с. (Высшее образование). 	  Для студентов университетов технических и педагогических вузов обучающихся как на уровне бакалавриата так и на уровне магистратуры по направлениям Математика Информатика Прикладная математика и информатика Математика и компьютерные науки Бизнес-информатика Математик-педагог Учитель математики
UR  - https://znanium.com/catalog/document?id=302246
UR  - https://znanium.com/cover/0907/907471.jpg
ER  -