Вход в личный кабинет         RU  EN

Детальная информация об издании

Авдошин Сергей Михайлович Дискретная математика. Формально-логические системы и языки
Однотомник.
2018

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

2018
Москва
ДМК Пресс
Аннотация

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

Доступность

1 экз. можно взять на дом
Забронировать
Зал литературы по естественным и техническим наукам Подробнее о фонде
Тип Однотомник.
Объем 389 с.
Размеры 22 см.
ISBN 978-5-97060-622-3
Язык Русский
ББК 22.17
Библиографическое описание
 

Возможно, эти издания вас заинтересуют:

Палий И. А., Теория вероятностей. учебное пособие для студентов вузов, обучающихся по техническим и экономическим направлениям подготовки (квалификация (степень)
Палий И. А., Теория вероятностей. учебное пособие для студентов вузов, обучающихся по техническим и экономическим направлениям подготовки (квалификация (степень) "бакалавр") — 2019 (Высшее образование)
Шахмейстер А. Х., Комбинаторика, статистика, вероятность. пособие для школьников, абитуриентов и учителей — 2018  (Для тех, кто хочет учиться) (Математика. Элективные курсы)
Шахмейстер А. Х., Комбинаторика, статистика, вероятность. пособие для школьников, абитуриентов и учителей — 2018 (Для тех, кто хочет учиться) (Математика. Элективные курсы)
Виленкин Н. Я., Комбинаторика — 2017
Виленкин Н. Я., Комбинаторика — 2017
Гмурман В. Е., Теория вероятностей и математическая статистика. Учебник для прикладного бакалавриата — 2017 (Бакалавр. Прикладной курс)
Гмурман В. Е., Теория вероятностей и математическая статистика. Учебник для прикладного бакалавриата — 2017 (Бакалавр. Прикладной курс)
Кузнецов О. П., Дискретная математика для инженера — 2017 (Учебники для вузов. Специальная литература)
Кузнецов О. П., Дискретная математика для инженера — 2017 (Учебники для вузов. Специальная литература)
Кочетков Е. С., Теория вероятностей и математическая статистика. учебник. для студентов учреждений среднего профессионального образования, обучающихся по специальностям информатики и вычислительной техники — 2020 (Среднее профессиональное образование)
Кочетков Е. С., Теория вероятностей и математическая статистика. учебник. для студентов учреждений среднего профессионального образования, обучающихся по специальностям информатики и вычислительной техники — 2020 (Среднее профессиональное образование)
 
 
 
 
 
 
 
 
 
 
 
 
 

Федеральное государственное бюджетное учреждение культуры
«Российская государственная библиотека для молодёжи» Главное здание 107061 Москва, ул. Б. Черкизовская, дом 4, корпус 1
Метро «Преображенская площадь» (выход №5)
Телефон для справок: +7 499 670-80-01
E-mail: info@rgub.ru

Филиал библиотеки — МИКК «Особняк В.Д. Носова» 107023 Москва, ул. Электрозаводская, 12, стр. 1
Метро «Электрозаводская»
Телефоны для справок: +7 499 670-80-01 (доб. 600)
E-mail: mansion@rgub.ru

Яндекс.Метрика

© Российская государственная библиотека для молодёжи, 2004 — 2025