Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал наложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М, 2012. 399 с. + CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М, 2012. 318 с. (Высшее образование).Для студентов университетов, технических и педагогических вузов, обучающихся как на уровне бакалавриата, так и на уровне магистратуры по направлениям "Математика", "Информатика", "Прикладная математика и информатика", "Математика и компьютерные науки", "Бизнес-информатика", "Математик-педагог", "Учитель математики".
Sbornik soderzhit zadachi i uprazhnenija po vsem traditsionnym razdelam kursa matematicheskoj logiki i teorii algoritmov: I. Soderzhatelnaja logika vyskazyvanij; II. Bulevy funktsii; III. Soderzhatelnaja logika predikatov; IV. Formalnye logicheskie teorii; V. Elementy teorii algoritmov. V kazhdom paragrafe podrobno rassmatrivajutsja raznoobraznye tipovye primery i dajutsja mnogochislennye zadachi raznogo urovnja slozhnosti dlja samostojatelnogo reshenija. Teoreticheskij material nalozhen v uchebnikakh: Igoshin V.I. Matematicheskaja logika: Ucheb. posobie. M.: INFRA-M, 2012. 399 s. + CD-R. (Vysshee obrazovanie); Igoshin V.I. Teorija algoritmov: Ucheb. posobie. M.: INFRA-M, 2012. 318 s. (Vysshee obrazovanie).Dlja studentov universitetov, tekhnicheskikh i pedagogicheskikh vuzov, obuchajuschikhsja kak na urovne bakalavriata, tak i na urovne magistratury po napravlenijam "Matematika", "Informatika", "Prikladnaja matematika i informatika", "Matematika i kompjuternye nauki", "Biznes-informatika", "Matematik-pedagog", "Uchitel matematiki".
