Skip to main content Skip to search
Целью освоения дисциплины является проблемы математической
логики, связанные с теорией вычислительных машин. Рассматриваются
модели вычислительных устройств, их классификация, классификация
языков, оценки сложности алгоритмов и вычислений. Второй целью
являются приложения при создании стойких криптографических систем.