В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.

учебная и научная литература

учебники и пособия для вузов

естественные науки

математика

математическая логика

знания и навыки

теория алгоритмов

Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата

Классификация счётных моделей полных теорий. Часть 2

Классификация счётных моделей полных теорий. Часть 1

Дискретная математика 5-е изд., испр. и доп. Учебник и практикум для СПО

Дискретная математика 5-е изд., испр. и доп. Учебник и практикум для академического бакалавриата

Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО

Адаптивная физическая культура для детей с нарушениями в развитии. Психолого-педагогическое сопровождение. Учебное пособие для вузов

Муниципальное право. Практика высших судебных инстанций России с комментариями. Учебное пособие для вузов

Методика преподавания декоративно-прикладного искусства в высшем образовании. Учебное пособие для вузов

Основы методики развития речи учащихся 3-е изд., испр. и доп. Учебник и практикум для вузов

Тепломассообменное оборудование предприятий 2-е изд. Учебное пособие для вузов

Высшее образование

vysshee-obrazovanie