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 -