В учебнике "Математика: математическая логика и теория алгоритмов" последовательно изложены основные разделы математической логики: исчисления высказываний, логика предикатов, элементы теории моделей, основы теории алгоритмов, а также неклассические логики. Каждая глава содержит задачи и упражнения для закрепления материала, в приложении приведены примеры типовых задач.
Данный учебник охватывает базовые понятия математической логики и теории алгоритмов, которые могут быть использованы при изучении профильных дисциплин по информатике, вычислительной технике, прикладной математике, автоматике и управлению. Учебник предназначен для студентов средних профессиональных учебных заведений.
Электронная Книга «Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО» написана автором Елена Викторовна Овчинникова в 2019 году.
Минимальный возраст читателя: 0
Язык: Русский
Серии: Профессиональное образование
ISBN: 9785534109306
Описание книги от Елена Викторовна Овчинникова
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
