|
Full Name
|
Omanadze Roland
|
| Address | |
| I.Vekua Institute of Applied Mathematics Tbilisi State University University str. 2 Tbilisi 0143 Georgia | |
| Phone | |
| 53 31 99 | |
| Fax | |
|
E-mail
|
|
| Web Page | |
| Date Of Birth | |
| 1950-07-07 | |
| Education | |
| 1971: Graduated from Tbilisi State University, Faculty of Mechanics and Mathematics.Specialization:Mathematical Logic and Theory of Algorithms. 1971-74: Post-Graduate Student in the Department of Foundation Of Mathematics at the Tbilisi State University Degrees: 1) Candidate of Physical and Mathematical Sciences. Thesis: Q-Reducibility and Completeness of Recursively Enumerable Sets, Novosibirsk State University, 1981. Supervisor:Prof. Sh.Pkhakadze (Diploma No.DM 015339, 24.02.1982, VAK USSR, Moscow). 2) Doctor of Physical and Mathematical Sciences. Thesis: Q-Degrees of recursively Enumerable Sets. Novosibirsk Institute of Mathematics, Russian Academy of Sciences, 1993. Supervisor: Prof. Yu.L.Ershov (Diploma No.Dp 000223, 14.01.1994, VAK RUS, Moscow). | |
| Position | |
| 1975-1977: Senior Research Associate in the Faculty of Communication at the Georgian Technical University. 1977-1994: Senior research Assocation at the I.Vekua Institute of Applied Mathematics, Tbilisi State University. 1994- Leading Researcher in the Department of Discrete Mathematics at the I.Vekua Institute of Applied Mathematis Tbilisi State University. 1995- Professor at the Georgian Technical University and Tbilisi State University. 2006- Full Professor at the Tbilisi State University. | |
| Publications | |
| 1& О креативных последовательностях и индексах частично рекурсивных функций. Тезисы докл. конф. молод. уч. и асп. Тбилиcи 1974, с.111-112. 2& О полноте рекурсивно перечислимых множеств. Сообщ. АН ГССР, 81, 3, 1976, с.529-532. 3& Об одном виде сводимости. Сообщ. АН ГССР, 83, 2, 1976, с.281-284. 4& К вопросу кодирования изображений посредством преобразования. Тезисы докл. ХХ респ.научно-техн. конф.проф. преп. сост. ГПИ, Тбилиси 1976 (соавт. Харатишвили Н.Г., Хунцария Д.М., Чхеидзе И.М. ) 5& Об эффективности цифрового кодирования с линейным преобразованием телевизионных сигналов. Всесоюзн. научно-техн. семинар ,,Помехозащищенность и разрещающ. способ.тел.систем ,, . Рязань 1977 (соавт. Харатишвили Н.Г., Хунцария Д.М., Чхеидзе И.М. ) 6. Некоторые вопросы цифрового кодирования с линейным преобразованием сигналов изображеия. Тезисы докладов Всесоюзн. симп. ,,Проблемы видеотел. связи ,,. Тбилиси 1977. с.31-32. (соавт. Харатишвили Н.Г., Хунцария Д.М., Чхеидзе И.М. ) 7. К вопросу сжатия цифрового телевизионного сигнала. Респ. научно-техн. тонф. ,,Улучшение техн. кач. тел. вещ. на тер. Укр.ССР ,, . Киев 1977. с.28-29. (соавт. Харатишвили Н.Г., Хунцария Д.М., Чхеидзе И.М. ) 8. К вопросу сжатия сигналов изображения посредством преобразования Адамара. Тезисы докл. Х1Х научно-техн. конф. проф.-преп. сост. ВТУЗов Зак.респ., Тбилиси 1977 (соавт. Харатишвили Н.Г., Хунцария Д.М., Чхеидзе И.М. ) 9. О некоторых обобщениях поняеия продуктивности множества. Известия вузов. Математика. 9,1978, с. 84-88. 10. О сводимости на классе рекурсивно перечислимых множеств. Сообщ. АН ГССР, 91, 3, 1978, с.549-552. 11. Некоторые вопросы сжатия цифровых сигналов изображения с преобразованием по Адамару. Научные труды ГПИ. Техн. киб. 5(215). 1979 (соавт. Харатишвили Н.Г., Хунцария Д.М., Чхеидзе И.М. ) 12.Устройство для сокращения избыточности сигнала изображения. Авторское свидетельство № 684779. Опублик. В бюллет. Изобрет. № 33, 1979. (соавт. Харатишвили Н.Г., Хунцария Д.М., Чхеидзе И.М. ) 13. О Q-сводимости. Сообщ. АН ГССР, 95, 1, 1979, с. 29-32. 14. О некоторых свойствах Q-сводимости. У Всесоюзная конф. По мат. логике. Новосибирск, 1979, с. 113. 15. Об ограниченной Q-сводимости. Сообщ. АН ГССР, 100, 1, 1980, с.57-60. 16. О Q -сводимости и полноте рекурсивно перечислимых множеств. Автореф. дисс. на соиск. учен. степени к.ф.-м.н. . НГУ, 1981. 17. Q –сводимость и нигде непростые множества. У1 Всесоюзная конф. по мат. логике. Тбилиси 1982, с.137. 18. О верхней полурешетке рекурсивно перечислимых Q-степеней. Алгебра и логика, 23, 2, 1984, с.175-184. On the upper semilattices of recursively enumerable Q-degrees . Algebra and Logic, 1985, 23, 2, p.124-129. 19. Об анти-кап свойстве рекурсивно перечислимых Q-степеней. У11 Всесоюзная конфю по мат. логике. Новосибирск 1984, с.131. 20 Q-сводимость и неускоряемые множества. У111 Всесоюзная конфю по матю логике. Москва 1986, с. 144. 21. Q -сводимость и нигде непростые множества. Сообщ. АН ГССР, 127, 1, 1987, с.29-32. 22. О Q -степенях неускоряемых множеств. Труды Института прикладной мат. им. И.Н.Векуа ТГУ, 20, 1987, с. 21-31. 23. Relation between recursively enumerable Q- and T-degrees. VIII Intern. Congrees of Logic, Meth. and Phil. of Science, Moscow, 17-22 August , 1987, Abstracts, v.1, 157-158. 24. О плотности неускоряемых Q-степеней. Сообщ. ФН ГССР, 131, 3, 1988,485-488. 25. Классы рекурсивно перечислимых множеств и Q-сводимость. Математические заметки, 45, 2, 1989, с.79-82. Classes of recursively enumerable sets and Q-reducibility. Math. Notes, 1989, 45, 2, p. 79-82. 26. О сильной Q-сводимости. Девятая Всесоюзная конфю по мат. логике. Ленинград, Наука, Ленинградское отделение, 1988, с. 122. 27. Соотношения между некоторыми сводимостями. Десятая Всесоюзная конф. по матю логике. Алма-Ата.1990, с. 125. 28. Соотношения между некоторыми сводимостями. Сообщ. АН ГССР, 140, 3, 1990, 473-476. 29.О верхней полурешетке рекурсивно перечислимых sQ-степеней. Алгебра и логика, 30, 4, 1991, с. 405-413. On the upper semilattice of recursively enumerable sQ-degrees. Algebra and Logic, 1991, 30, 4, p.265-271. 30. Об одном усилении Q-сводимости. Сообщ. АН ГССР, 142, 3, 1991, с. 481-484. 31.Об ограниченных сводимостях. Одинадцатая Междуреспубликанская конф. по мат. логике. Казань 1992. 32.О sQ-полноте рекурсивно перечислимых множеств. Математические заметки, 52, 3, 1992, с. 102-107. On sQ-completeness of recursively enumerable sets. Math. Notes,1992,52,3. 33. Сложностныесвойства рекурсивно перечислимых множеств и sQ-полные множества. Сообщ. АН ГССР, 146, !, 1992, с. 9-12. 34.Q-степени рекурсивно перечислимых множеств. Автореферат дисс. на соиск. Учен. Степени доктора физ.- мат. наук. ИМ СО РАН. Новосибирск 1993. 35. О разбиенях креативного множества. Третья Международная конф. по алгебре. 23-28 Августа 1993 г. Сборник Тезисовю Красноярск 1993 36.Соотношения между некоторыми сводимостями. Алгебра и логика, 33, 6, 1994, с.681-688. Relations between certain reducibilities. Algebra and Logic, 33, 6, 1994, p.381-385. 37. On one property of creative sets. Международная конф. по матю логике, посвященная 85-летию со дня рождения А.И.Мальцева. Новосибирск 1994, с. 74. 38. Об одном усилении Q-сводимости. Алгебра и логика, 34, !. 1995, с. 79-87. One strengthening of Q-reducibility. Algebra and Logic 34, 1, 1995, p.45-49. 39. Сложностные свойства рекурсивно перечислимых множеств и sQ-полнота. Математические заметки, 62, 3, 1997, с.425-429. Complexity properties of recursively enumerable sets and sQ-completeness. Math. Notes, 1997, 62, 3, p.356-359. 40. О некоторых сводимостях и разбиениях рекурсивно перечислимых множеств. Математические заметки, 66, 2, 1999, с. 220-230. Some reducibilities and splittings of recursively enumerable sets. Math. Notes, 1999, 66, 2. p.174-180. 41 On r-maximal sets and Q 1-N-reducibility. Материали Международной конф. по мат. логике, посвященной 90-летию со дня рождения А.И.Мальцева. Тезисы докладов. Новосибирск 1999, с.102-103. 42. On complexity properties of recursively enumerable sets and closure systems. Логика и приложения. Междунфродная конф., посвященная 60-летию академика Ю.Л.Ершова, Новосибирск , 4-6 мая 2000 г. с.133-134. 43. Сложностные свойства рекурсивно перечислимых множеств и bsQ-полнота. Математические заметки, 68. 4, 2000, с. 554-559. Complexity properties of recursively enumerable sets and bsQ-completeness. Math. Notes, 68, 4, 2000, p.476-480. 44. Мажорные множества, классы простых множеств и Q-полные множества. Математические заметки, 71, 1, 2002, с.100-108. Major sets, classes of simple sets and Q-complete sets. Math. Notes, 71,1, 2002, p. 100-108. 45.On some properties of r-maximal sets and Q 1-N-reducibility.. Georgian Mathematical Journal, 9, 1, 2002, 161-166. 46. Quasi-degrees of recursively enumerable sets. In S.B.Cooper and S.Goncharov, editors. Computability and Models. Perspectives East and West. Kluwer Academic/Plenum publishers. New York, 2003, pp. 289-319. 47. Some results on Sigma 0-2 s-degrees. Raporto Matematico Interno n.438 del Dipartimento di Scienze Matematiche ed Informatiche “R.Magari”, Universita di Siena. 2003, preprint, 25 page, with A.Sorbi. 48. Splittings of effectively speedable sets and effectively levelable sets. J. Symbolic Logic, 69, 1, 2004, pp. 143-158. 49. Some results on Delta 0-2 sets. Алгебра и анализ-2004. Материалы Международной конф., посиященной 200-летию Казанского государственного университета . Казань. 2-9 июля 2004 года. Труды математического центра им. Н.И.Лобачевского. т.23. 50. Strong enumeration reducibilities. Archive for Mathematical Logic, 2006, with A.Sorbi. 51. Q-degrees of n-c.e. sets. Illinois J. of Mathematics (to appear), with M.M.Arslanov. | |
| Conferences,contacts,other scientific and educational activities | |
| All-Union Conference in Mathematical Logic: 1979,1984-Novosibirsk; 1982- Tbilisi; 1986- Moscow; 1988- Leningrad; The VIII International Congress in Logic, Methodology and Philosophy of Sciences, Moscow 1987. Invited talks Given: On bounded reducibilities. International Conference in Mathematical Logic. October 1992, Kazan, Russia. Major Sets, Classes of Simple Sets and Q-Complete Sets. International Conference in Algebra and Mathematical Logic, November 1997, Novosibirsk, Russia. Teaching Experience: I have given a number of lectures/seminars to students and the staff in the Department of Foundations of Mathematics at the Tbilisi State University, in the Department of Discrete Mathematics at the Institute of Applied Mathematics, on the Faculty of Applied Mathematics at the Georgian Technical University and on the Faculty of Mathematics at the Tbilisi State University. In particular, I have given courses in Mathematical Logic and Recursion Theory. | |
| Participation in Grant Projects | |
| CNR-NATO grant, June-November 2002, Siena, Italy. “Research in Pairs” Program in Mathematische Forschungsinstitut Obrwolfach, January-February 2005. Germany. “Research in Pairs” Program in Mathematische Forschungsinstitut Oberwolfach, November- December 2006. | |
| Languages | |
| Georgian, Russian, English | |
| Scientific interests | |
| Recursion Theory, Mathematical Logic, Set Theory, Lattice Theory, Universal Algebra | |
| Current scientific activities | |
| Future work plans | |
| To investigate the Q-degrees of the differences of Computably (Recursively) Enumerable Sets. | |
| Department | |
| Theoretical Foundations in Mathematics |