Конспекти за някои от лекционните курсове, четени от проф. Димитър Скордев
Дискретна математика
Изчислими реални числа
Логическо програмиране
- I поток на II курс информатика, 1999/2000 уч. година
- I поток на II курс информатика, 2000/2001 уч. година
- I поток на II курс информатика, 2001/2002 уч. година
- I поток на II курс информатика, 2002/2003 уч. година
- I и III поток на II курс информатика, 2003/2004 уч. година
- I поток на II курс информатика, 2004/2005 уч. година
- I поток на II курс информатика, 2005/2006 уч. година
- I поток на II курс информатика, 2006/2007 уч. година
- I поток на II курс информатика, 2007/2008 уч. година
- I поток на II курс информатика, 2008/2009 уч. година
- I поток на II курс информатика, 2009/2010 уч. година
- задочници от специалност математика и информатика, 2002 г.
- задочници от специалност математика и информатика, 2003 г.
Математическа логика
- III курс математика, 2000/2001 уч. година
- III курс математика, 2001/2002 уч. година
- III курс математика, 2002/2003 уч. година
- III курс математика, 2003/2004 уч. година
- III курс математика, 2004/2005 уч. година
- III курс математика, 2005/2006 уч. година
- III курс математика, 2006/2007 уч. година
- III курс математика, 2007/2008 уч. година
- III курс математика, 2008/2009 уч. година
- III курс математика, 2009/2010 уч. година
Математическа логика II
Теоретични основи на функционалното програмиране
Изчислимост в анализа