Математика: математическая логика и теория алгоритмов учебник и практикум для спо

Bibliographic Details
Main Author: Судоплатов С. В. Сергей Владимирович
Other Authors: Овчинникова Е. В. Елена Викторовна
Summary:URL: https://urait.ru/bcode/566184 (дата обращения: 27.08.2025).
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Published: Москва, Юрайт, 2025
Edition:5-е изд.
Series:Профессиональное образование
Subjects:
Online Access:https://urait.ru/bcode/566184
Format: Electronic Book
Description
Physical Description:255 с
Summary:URL: https://urait.ru/bcode/566184 (дата обращения: 27.08.2025).
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
ISBN:978-5-534-10930-6