Standard

Математическая логика и теория алгоритмов. / Судоплатов, Сергей Владимирович; Овчинникова, Елена Викторовна.

5-е, стер. ed. Москва : Юрайт, 2022. 255 p.

Research output: Book/Report › Book › Education › peer-review

Harvard

Судоплатов, СВ & Овчинникова, ЕВ 2022, Математическая логика и теория алгоритмов. 5-е, стер. edn, Юрайт, Москва.

APA

Судоплатов, С. В., & Овчинникова, Е. В. (2022). Математическая логика и теория алгоритмов. (5-е, стер. ed.) Юрайт.

Vancouver

Судоплатов СВ, Овчинникова ЕВ. Математическая логика и теория алгоритмов. 5-е, стер. ed. Москва: Юрайт, 2022. 255 p.

Author

Судоплатов, Сергей Владимирович ; Овчинникова, Елена Викторовна. / Математическая логика и теория алгоритмов. 5-е, стер. ed. Москва : Юрайт, 2022. 255 p.

BibTeX

@book{ebf25584f13a4ea9841f4c8e87d57255,
title = "Математическая логика и теория алгоритмов",
abstract = "В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.",
author = "Судоплатов, {Сергей Владимирович} and Овчинникова, {Елена Викторовна}",
note = "Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов : учебник и практикум для вузов. — 5-е изд., стер. — Москва : Издательство Юрайт, 2022. — 255 с. — Текст : электронный.",
year = "2022",
language = "русский",
isbn = "978-5-534-14658-5",
publisher = "Юрайт",
edition = "5-е, стер.",

}

RIS

TY - BOOK

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

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

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

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

PY - 2022

Y1 - 2022

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

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

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

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

SN - 978-5-534-14658-5

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

PB - Юрайт

CY - Москва

ER -

ID: 38133639