Dimiter Skordev (born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the St. Kliment Ohridski University of Sofia. Sofia (София ˈsɔfija is the Capital and largest city of the Republic of Bulgaria, with a population of 1395568 in the Capital Municipality Saint Clement of Ohrid (Свети Климент Охридски sve'ti 'kliment 'oxridski (ca The St Clement of Ohrid University of Sofia or Sofia University (Софийски университет „Св Chairman of the department in 1972-2000. Year 1972 ( MCMLXXII) was a Leap year starting on Saturday (link will display full calendar of the Gregorian calendar. 2000 ( MM) was a Leap year that started on Saturday of the Common Era, in accordance with the Gregorian calendar. Doyen and pioneer of mathematical logic research in Bulgaria who developed a Bulgarian school in the theory of computability, namely the algebraic (or axiomatic) recursion theory. Mathematical logic is a subfield of Logic and Mathematics with close connections to Computer science and Philosophical logic. The state of Bulgaria (България transliterated bg-Latn ''Balgaria'' The country preserves the traditions (in ethnic name language and alphabet of the First Bulgarian
Skordev's field of scientific interests include computability and complexity in analysis, mathematical logic, generalized recursion theory, and theory of programs and computation. Recursion theory, also called computability theory, is a branch of Mathematical logic that originated in the 1930s with the study of Computable functions Computational complexity theory, as a branch of the Theory of computation in Computer science, investigates the problems related to the amounts of resources Analysis has its beginnings in the rigorous formulation of Calculus. Mathematical logic is a subfield of Logic and Mathematics with close connections to Computer science and Philosophical logic. Recursion theory, also called computability theory, is a branch of Mathematical logic that originated in the 1930s with the study of Computable functions Computer programs (also software programs, or just programs) are instructions for a Computer. The theory of computation is the branch of Computer science that deals with whether and how efficiently problems can be solved on a Model of computation, using an
Skordev has over 35 years of lecturing experience in calculus, mathematical logic, logic programming, discrete mathematics, and computer science. Calculus ( Latin, calculus, a small stone used for counting is a branch of Mathematics that includes the study of limits, Derivatives Mathematical logic is a subfield of Logic and Mathematics with close connections to Computer science and Philosophical logic. Logic programming is in its broadest sense the use of mathematical logic for computer programming Discrete mathematics, also called finite mathematics, is the study of mathematical structures that are fundamentally discrete in the sense of not supporting or requiring the Computer science (or computing science) is the study and the Science of the theoretical foundations of Information and Computation and their He authored more than 100 scientific publications including two monographs, and was the principal author of the new Bulgarian phonetic keyboard layout adopted as a state standard in 2006. Phonetics (from the Greek φωνή ( phonê) "sound" or "voice" is the study of the physical sounds of human speech QWERTY keyboardjpg|thumb|right|300px|QWERTY keyboard on a Laptop of 2007]]A keyboard layout is any specific mechanical, visual, or functional Standardization (or standardisation) is the process of developing and agreeing upon technical standards.