Математическая логика. Вычислимость. Теория алгоритмов

Задать вопрос

Когабаев Н.Т. Лекции по теории алгоритмов: Учеб. пособие / Новосиб. гос. ун-т. Новосибирск, 2009. 107 с.
С.П. Одинцов, С.О. Сперанский, С.А. Дробышевич. Введение в неклассические логики: учеб. пособие / Новосиб. гос. ун-т. Новосибирск: РИЦ НГУ, 2014. 133 с.
Карпенко А.В. Прикладная логика: Учеб. пособие / НГУ.
Морозов А.С. Конспект лекций по денотационной семантике языков программирования. 2020.