Research output: Book/Report › Book › Education › peer-review
Математическая логика и теория алгоритмов. / Судоплатов, Сергей Владимирович; Овчинникова, Елена Викторовна.
5-е, стер. ed. Москва : Юрайт, 2021. 255 p.Research output: Book/Report › Book › Education › peer-review
}
TY - BOOK
T1 - Математическая логика и теория алгоритмов
AU - Судоплатов, Сергей Владимирович
AU - Овчинникова, Елена Викторовна
N1 - Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов : учебник и практикум для вузов. — 5-е изд., стер. — Москва : Издательство Юрайт, 2021. — 255 с. — Текст : электронный.
PY - 2021
Y1 - 2021
N2 - В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
AB - В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
UR - https://urait.ru/bcode/478190
M3 - книга, в т.ч. монография, учебник
SN - 978-5-534-14658-5
BT - Математическая логика и теория алгоритмов
PB - Юрайт
CY - Москва
ER -
ID: 38133659