МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ
Настоящее пособие предназначено для студентов заочной формы обучения. Пособие определяет круг вопросов для самостоятельной подготовки по курсу «Математическая логика и теория алгоритмов», посвященного изложению основ математической логики, базовых алгоритмов дискретной математики, абстрактных машин, формализующих понятие алгоритма. Большое внимание уделено практическим аспектам обсуждаемых понятий: автоматизации логического вывода, проверки корректности программ, автоматическому построению синтаксических анализаторов, криптографическим системам.
Возврат
