Today the notion of the algorithm is familiar not only to mathematicians. It forms a conceptual base for information processing; the existence of a corresponding algorithm makes automatic information processing possible. The theory of algorithms (together with mathematical logic ) forms the the- oretical basis for modern computer science (see [Sem Us 86]; this article is called "e;Mathematical Logic in Computer Science and Computing Practice"e; and in its title mathematical logic is understood in a broad sense including the theory of algorithms). However, not everyone realizes that the word "e;algorithm"e; includes a transformed toponym Khorezm. Algorithms were named after a great sci- entist of medieval East, is al-Khwarizmi (where al-Khwarizmi means "e;from Khorezm"e;). He lived between c. 783 and 850 B.C. and the year 1983 was chosen to celebrate his 1200th birthday. A short biography of al-Khwarizmi compiled in the tenth century starts as follows: "e;al-Khwarizmi. His name is Muhammad ibn Musa, he is from Khoresm"e; (cited according to [Bul Rozen Ah 83, p.8]).