Результаты исследований: Книги, отчёты, сборники › книга, в т.ч. монография, учебник › учебная › Рецензирование
Математика: математическая логика и теория алгоритмов. / Судоплатов, Сергей Владимирович; Овчинникова, Елена Викторовна.
5-е, стер. ред. Москва : Юрайт, 2023. 255 стр.Результаты исследований: Книги, отчёты, сборники › книга, в т.ч. монография, учебник › учебная › Рецензирование
}
TY - BOOK
T1 - Математика: математическая логика и теория алгоритмов
AU - Судоплатов, Сергей Владимирович
AU - Овчинникова, Елена Викторовна
N1 - Судоплатов С.В., Овчинникова Е.В. Математика: математическая логика и теория алгоритмов : учебник и практикум для среднего профессионального образования. — 5-е изд., стер. — Москва : Издательство Юрайт, 2023. — 255 с. — Текст : электронный.
PY - 2023
Y1 - 2023
N2 - В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
AB - В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
UR - https://urait.ru/bcode/518120
M3 - книга, в т.ч. монография, учебник
SN - 978-5-534-10930-6
BT - Математика: математическая логика и теория алгоритмов
PB - Юрайт
CY - Москва
ER -
ID: 60026800