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

Иванова, Надежда Николаевна. Математическая логика : практикум / Н. Н. Иванова, Н. А. Галанина ; Министерство науки и высшего образования Российской Федерации, Чувашский государственный университет имени И. Н. Ульянова. - Чебоксары : Изд-во Чувашского ун-та, 2022. - 87, [1] с. : ил. - Библиогр.: с. 85-87 (34 назв.). - 200 экз. - ISBN 978-5-7677-3557-0. - Текст : непосредственный.

ГРНТИ	УДК
27.03.19	510(076.5)

Рубрики:
Математическая логика -- Учебники и пособия

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

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

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

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