Математическая логика


Целями освоения дисциплины (модуля) «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая логики с ориентацией на их использование в практической информатике.