Математика: математическая логика и теория алгоритмов

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

Результат исследования: Книги, отчёты, сборникикнига, в т.ч. монография, учебникучебнаярецензирование

Аннотация

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Язык оригиналарусский
Место публикацииМосква
ИздательЮрайт
Число страниц255
Издание5-е, стер.
ISBN (печатное издание)978-5-534-10930-6
СостояниеОпубликовано - 2021

Предметные области OECD FOS+WOS

  • 1.01 МАТЕМАТИКА

Цитировать