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

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
- Авторы:Елена Викторовна Овчинникова, Сергей Владимирович Судоплатов
- Серия: Высшее образование
- Жанр:Учебная литература
- Страницы: 256
- Формат: fb2, epub, pdf, txt
Советуем прочитать похожую литературу

Бухгалтерская экспертиза
Учебник составлен по программе курса «Бухгалтерская экспертиза» и включает: лекции, планы...

Основы государственного и муниципального управления
В учебном пособии излагаются основные проблемы современного государственного и муниципального...

Исламский менеджмент
Настоящее учебное пособие «Исламский менеджмент» впервые представляет собой изложение курса...

Счастье от Всевышнего, управляя собой: психологический практикум....
Книга посвящена величайшей и актуальной теме всех времен – счастье человека. Автор, определяя...

Математика
Серия предназначена для студентов высших учебных заведений, а также абитуриентов. Книги этой...

Биология
Серия предназначена для студентов высших учебных заведений, а также абитуриентов. Книги этой...
Отзывы (0)
Вам понравилось читать онлайн книгу «Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата»? Уделите пару минут, что бы оставить полезный отзыв другому читателю.