Dimiter G. Skordev
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. | ||||
| e-mail address: |
| |||
| postal address: | Prof. Dimiter Skordev Faculty of Mathematics and Computer Science 5 James Bourchier Blvd. 1164 Sofia, Bulgaria | |||
| phone: | (+359-2) 8161-583 | |||
- certain lecture notes (in Bulgarian) and some examination syllabuses (also in Bulgarian)
- links to some master theses written under D. Skordev's supervision
- D. Skordev's list of publications
- three unpublished papers on loop detection in Prolog
- some short historical notes on Mathematical Logic in Sofia
- slides of some talks delivered by D. Skordev
- some lists of sources about the professors B. Petkanchin and Y. Tagamlitzki
- errata lists for certain books
- 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)