Описание:Курс "Прикладные вопросы математической логики" реализуется в рамках программы бакалавриата по направлению "Прикладная математика и информатика" филиала МГУ имени М. В. Ломоносова в г. Ташкенте. В основу курса положено изложение основ аксиоматического подхода и дедуктивного вывода применительно к прикладным задачам теории алгоритмов.