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

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

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

Аннотация

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


Об авторе
top
photoГуц Александр Константинович
Математик, доктор физико-математических наук, профессор. Заведующий кафедрой кибернетики Омского государственного университета имени Ф. М. Достоевского, декан факультета компьютерных наук. Окончил Новосибирский государственный университет.

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