Към версия на курса от 2015 г.

• Частично рекурсивни, рекурсивни и примитивно рекурсивни функции. Рекурсивни и рекурсивно номеруеми множества (PDF от 23.02.2016 г., 13 стр., 418 KB)
• µ-рекурсивни функционали и µ-рекурсивни оператори (PDF от 17.02.2016 г., 6 стр., 218 KB)
• Изчислимост относно именуващи системи (PDF от 17.02.2016 г., 4 стр., 172 KB)
• Еквивалентност на именуващи системи (PDF от 28.05.2015 г., 5 стр., 150 KB)
• Равносилност на изчислимостта на неотрицателно реално число относно позиционна бройна система и изчислимостта му относно представянето на Гжегорчик (PDF от 23.03.2015 г., 3 стр., 100 KB)
• Рекурсивни номерации на дискретно параметризирани множества (PDF от 7.05.2015 г., 3 стр., 185 KB)
• Ефективни метрични пространства и изчислимост в тях. Изчислимост на реални числа и реални функции (PDF от 29.05.2015 г., 5 стр., 185 KB)
• Характеризация на изчислимите реални числа и на изчислимите реални функции без да се използват номерации (PDF от 16.02.2016 г., 6 стр., 147 KB)
• Изчислимост в стил на Гжегорчик на реални числа и реални функции (PDF от 29.05.2015 г., 5 стр., 258 KB)
• Запазване на изчислимостта на реални функции при суперпозиция. Изчислимост на аритметичните операциии и на функциите max и min в R (PDF от 11.06.2015 г., 7 стр., 362 KB)
• Изчислимост на извличането на корен (PDF от 4.06.2015 г., 3 стр., 123 KB)
• Ефективно сходящи редици от реални числа. Ефективно сходящи безкрайни редове (PDF от 12.06.2015 г., 6 стр., 135 KB)
• Изчислими редици от реални числа (PDF от 12.06.2015 г., 8 стр., 192 KB)

Към версия на курса от 2014 г.

• Изчислимост на функцията arctg (PDF, 80 KB; първоначална версия качена на 8.04.2014 г., търсенето на думи на кирилица улеснено на 12.06.2014 г.)
• Непрекъснатост на изчислимите реални функции (PDF, 253 KB; първоначална версия качена на 13.05.2014 г., търсенето на думи на кирилица улеснено на 12.06.2014 г.)
• Ефективна равномерна непрекъснатост на някои изчислими реални функции (PDF, 257 KB; първоначална версия качена на 29.04.2014 г., търсенето на думи на кирилица улеснено на 12.06.2014 г.)
• Ефективни метрични пространства (PDF, 165 KB; първоначална версия качена на 13.05.2014 г., актуализирана на 20.05.2014 г., 3.06.2014 г. и 12.06.2014 г.)
• Изчислимост в пространството C[0,1] (PDF, 214 KB; първоначална версия качена на 20.05.2014 г., търсенето на думи на кирилица улеснено на 12.06.2014 г.)
• Ефективни топологични пространства (PDF, 435 KB; първоначална версия качена на 10.06.2014 г., търсенето на думи на кирилица улеснено на 12.06.2014 г., на 6.06.2015 г. прилагателното „изчислимо“ в термина „изчислимо метрично пространство“ заменен с по-подходящия „полуизчислимо“ и поправени някои печатни грешки, на 7.06.2015 г. коригирани и опростени разсъжденията в третата бележка под линия)
• Изчислимостта в ефективни топологични пространства допуска характеризация чрез номерационни оператори (PDF, 187 KB, качен на 12.06.2014 г.)