Гуц А.К. Математическая логика и теория алгоритмов Изд. 4, перераб. и доп.

URSS. 2023. 160 с. ISBN 978-5-9519-3747-6.

Типографская бумага

Мягкая обложка
Твердый переплет 929 р. ››

Внимание: АКЦИЯ! Только по 20.04.24!

Аннотация

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета имени Ф. М. Достоевского. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные... (Подробнее)

Об авторе

Гуц Александр Константинович

Доктор физико-математических наук, профессор. Заслуженный работник высшей школы РФ. Заведующий кафедрой кибернетики Омского государственного университета имени Ф. М. Достоевского, декан факультета компьютерных наук (2003–2022). В настоящее время ведущий научный сотрудник лаборатории геоэкологии и природных процессов Субтропического научного центра РАН (Сочи).

Области исследования: математическая теория пространства-времени, квантовая теория времени, математическое моделирование этнических, социальных и психических процессов, многовариантная и теоретическая история. Автор более 350 научных работ.