Standard

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

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

Research output: Book/ReportBookEducationpeer-review

Harvard

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

APA

Vancouver

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

Author

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

BibTeX

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

}

RIS

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 -

ID: 60026800