Professor, retired as a member of the Department of Mathematical Logic and Applications in the Faculty of Mathematics and Computer Science of the Sofia University.

• certain lecture notes (in Bulgarian) and some examination syllabuses (also in Bulgarian)
  (can be found also at http://dgs-0.hit.bg/ln/ and http://dgs-0.hit.bg/konspekti/, respectively)
• links to some master theses written under D. Skordev's supervision
• D. Skordev's list of publications
  (can be found also at http://dgs-0a.hit.bg/works.html)
• three unpublished papers on loop detection in Prolog
• some short historical notes on Mathematical Logic in Sofia
  (can be found also at http://dgs-0a.hit.bg/history.html)
• some lists of sources about the professors B. Petkanchin and Y. Tagamlitzki
• a photo from 1933 of professors and graduated students of the Faculty of Physics and Mathematics at the University of Sofia (the text accompanying the photo is in Bulgarian)
• information on certain computer proofs of a result of Y. Tagamlitzki
• some notes on Cyrilic/Latin transliteration of Bulgarian texts and on Bulgarian phonetic keyboard layout, two reports under the sub-project "Reversible encoding" of a scientific project with the Ministry of Education and Science, as well as a short note on reversible context-free transliterations causing a minimal increase of the length of the text (in Bulgarian)
• a few links concerning Presentation of Mathematics on the WWW (not updated after 1998)
• a computer program that could be useful for Bulgarian people going to retire (in Bulgarian)
  (can be found also at http://dgs-0.hit.bg/coeff.htm)
• the slides of a presentation under the title “Can every day be Easter?” (in Bulgarian, PDF, 238 Kb) – the possible Gregorian dates of the orthodox Easter are concerned
• “On a relative computability notion for real functions” by Dimiter Skordev and Ivan Georgiev (PDF, 307 Kb) – a slightly revised version of the slides of a 20 minutes talk at CiE 2011

e-mail address:  skordev fmi.uni-sofia.bg

postal address::  Prof. Dimiter Skordev  Faculty of Mathematics and Computer Science  5 James Bourchier Blvd., 1164 Sofia, Bulgaria

phone:  (+359-2) 8161-583