Полное описание

Неклюдова, Вера Леонидовна. Математическая логика и теория алгоритмов : учебное пособие / В. Л. Неклюдова, В. П. Вербная ; Министерство науки и высшего образования Российской Федерации, Сибирский государственный университет геосистем и технологий (СГУГиТ). - Новосибирск : СГУГиТ, 2022. - 69 с. : ил. - Библиогр.: с. 69 (9 назв.). - 85 экз. - ISBN 978-5-907513-37-2. - Текст (визуальный) : непосредственный.

ГРНТИ	УДК
27.03	510

Рубрики:
Математическая логика
Алгоритмы

Кл.слова (ненормированные): БУЛЕВЫ ФУНКЦИИ -- КВАНТОРЫ -- КОНЕЧНЫЕ АВТОМАТЫ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ
Аннотация: Учебное пособие подготовлено сотрудниками кафедры высшей математики СГУГиТ: кандидатом физико-математических наук, доцентом В. Л. Неклюдовой и старшим преподавателем В. П. Вербной. Настоящее пособие состоит из разделов базового курса дисциплины: логика высказываний, логика предикатов, конечные автоматы, теория алгоритмов. Изложение теоретического материала сопровождается примерами, раскрывающими смысл основных понятий.
Доп. точки доступа:
Вербная, Валентина Павловна
Сибирский государственный университет геосистем и технологий (Новосибирск)

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-22/1245)

Шифр в сводном ЭК: f5587c632fa8c72be4e194f44846c6b0

Заказать
Заказ фрагмента документа ₽