Повышаем образовательный уровень в России

МАТЕМАТИКА: МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ 5-е изд. Учебник и практикум для СПО

Новосибирский государственный технический университет (г. Новосибирск).

Новосибирский национальный исследовательский государственный университет (г. Новосибирск).

Авторы книги: Судоплатов С. В., Овчинникова Е. В.
Все авторы
Судоплатов Сергей Владимирович
Судоплатов Сергей Владимирович

доктор физико-математических наук, доцент

Овчинникова Елена Викторовна
Овчинникова Елена Викторовна

кандидат физико-математических наук, доцент

Свернуть список авторов
Год издания:
2019
К-во страниц:
255
Тип обложки:
Переплет
ISBN:
978-5-534-10930-6
Издательство:
М.:Издательство Юрайт
Аннотация:
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.

Судоплатов, С. В.   Математика: математическая логика и теория алгоритмов : учебник и практикум для СПО / С. В. Судоплатов, Е. В. Овчинникова. — 5-е изд., стер. — М. : Издательство Юрайт, 2019. — 255 с. — (Серия : Профессиональное образование). — ISBN 978-5-534-10930-6.