Засега тук са налице следните текстове:
Към версия на курса от 2015 г.
- Частично рекурсивни, рекурсивни и примитивно рекурсивни функции. Рекурсивни и рекурсивно номеруеми множества (PDF от 8.03.2016 г., 19 стр., 503 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 г.)