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