URSS.ru Магазин научной книги
Обложка Гуц А.К. Математическая логика и теория алгоритмов Обложка Гуц А.К. Математическая логика и теория алгоритмов
Id: 281220
549 р.

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

URSS. 2023. 160 с. ISBN 978-5-9519-3747-6.
Типографская бумага

Аннотация

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


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

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