TY - BOOK

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

AU - Судоплатов, Сергей Владимирович

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

N1 - Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов : учебник и практикум для вузов. — 5-е изд., стер. — Москва : Издательство Юрайт, 2022. — 207 с. — Текст : электронный.

PY - 2022

Y1 - 2022

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

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

UR - https://urait.ru/bcode/447321

M3 - книга, в т.ч. монография, учебник

SN - 978-5-534-12274-9

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

PB - Юрайт

CY - Москва

ER -