Mathematical Logic and Theory of Alghorithms

2024/2025

Academic Year

RUS

Instruction in Russian

3

ECTS credits

Delivered at:

School of Applied Mathematics

Course type:

Compulsory course

When:

2 year, 3, 4 module

Instructors

Anashkin, Alexander

Popov, Vladimir

Программа дисциплины

Аннотация

Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются: • получение представления об основных понятиях, методах и результатах теории вычислимости; • получение представления об основных понятиях и методах булевой алгебры; • получение представления об основных понятиях формальных исчислений. Дисциплина реализуется в он-лайн формате