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

2023. 160 с.

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

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

Аннотация

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

Об авторе

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

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

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