Standard

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

5-е, стер. ред. Москва : Юрайт, 2021. 255 стр.

Результаты исследований: Книги, отчёты, сборникикнига, в т.ч. монография, учебникучебнаяРецензирование

Harvard

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

APA

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

Vancouver

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

Author

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

BibTeX

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

}

RIS

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