Name: Дискретная математика. Формально-логические системы и языки
Brand: ДМК Пресс
SKU: 2995564
Price: 94.26 BYN
Availability: InStock

Дискретная математика. Формально-логические системы и языки

94.26 BYN

В корзину

Дата доставки.

Доставка в Минск: 03 Марта (Вт) - 04 Марта (Ср)

Доставка в регионы: 09 Марта (Пн) - 11 Марта (Ср)

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.

Артикул

2995564

Издательство

ДМК Пресс

Тип обложки

мягкая обложка

Автор

Авдошин Сергей Михайлович

Штрих код

9785970606223

Год

2018

Страниц

390

Язык

Русский

Размеры

170x240 мм

Вес

410 гр.

Изготовитель

ООО "Издательство ДМК Пресс". 105094, РФ, г. Москва, Семеновская наб., д. 3/1-4-113

Назначение

Высшая школа