Горячая линия
25 сентября 2021 активны на платформе
35 560 +98
Преподавателей
289 628 +792
Студентов
99+
Нет новых уведомлений
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Книги
Книги
Курсы
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

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

  • Скопировать в буфер библиографическое описание
    Судоплатов, С. В.  Математическая логика и теория алгоритмов : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. — 5-е изд., стер. — Москва : Издательство Юрайт, 2021. — 255 с. — (Высшее образование). — ISBN 978-5-534-14658-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/478190 (дата обращения: 25.09.2021).
  • Добавить в избранное
5-е изд., стер. Учебник и практикум для вузов
2021
Страниц 255
Обложка Твердая
Гриф Гриф УМО ВО
ISBN 978-5-534-14658-5
Библиографическое описание
Судоплатов, С. В.  Математическая логика и теория алгоритмов : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова. — 5-е изд., стер. — Москва : Издательство Юрайт, 2021. — 255 с. — (Высшее образование). — ISBN 978-5-534-14658-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/478190 (дата обращения: 25.09.2021).
Показать все

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.