8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (39733)
Высшее образование
Естественные науки (2581)
Естественные науки
Общественные науки (3173)
Общественные науки
Информатика и компьютерные технологии (4253)
Информатика и компьютерные технологии
Инженерное дело (1409)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1360)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (634)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4332)
Юридические науки.Право
Отрасли права (2771)
Отрасли права
Гуманитарные науки (6046)
Гуманитарные науки
Экономика. Экономические науки (6619)
Экономика. Экономические науки
Образование. Педагогические науки (3351)
Образование. Педагогические науки
Медицина и здравоохранение (954)
Медицина и здравоохранение
Физическая культура и спорт (474)
Физическая культура и спорт
Среднее профессиональное образование (14+) (2819)
Среднее профессиональное образование
Коллекции (43755)
Коллекции
Издательские коллекции (43332)
Издательские коллекции
Журналы (999)
Журналы
Остаться в выбранном разделе
Назад к каталогу

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

Дискретная математика. Формально-логические системы и языки. ISBN 978-5-97060-622-3
ISBN 978-5-97060-622-3
Авторы: 
Авдошин С. М., Набебин А. А.
Тип издания: 
Дополнительная литература
Издательство: 
Москва: ДМК Пресс
Год: 
2018
Количество страниц: 
390
Аннотация

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

Библиографическое описание Скопировать библиографическое описание

Авдошин С. М. Дискретная математика. Формально-логические системы и языки. / С.М. Авдошин, А.А. Набебин. - Москва : ДМК Пресс, 2018. - 390 с. - ISBN 978-5-97060-622-3. - URL: http://new.ibooks.ru/bookshelf/364414/reading (дата обращения: 28.03.2024). - Текст: электронный.