Personal tools
You are here: Home Departments Mathematical Logic and Applications Prof. Dimiter Skordev, Dr. Habil Publications of Prof. Dimiter Skordev, Dr. Habil

Publications of Prof. Dimiter Skordev, Dr. Habil


 Scientific publications

  1. Върху конусите на линейност в някои нормирани линейни пространства с частично нареждане. Год. на Соф. унив., Физ.-мат. фак., 53 (1958/1959), кн. 1, 1959, 135-140.
  2. Върху ограничените линейни оператори в линейните пространства с частично нареждане. Год. на Соф. унив., Физ.-мат. фак., 54 (1959/1960), кн. 1, 1961, 151-166.
  3. О некоторых полуупорядоченных пространствах. ДАН СССР, 138, № 3, 1961, 553-555.
  4. Об уравнениях в словах. Zeitschr. f. math. Logik und Grundlagen der Mathematik, 7, № 4, 1961, 289-297 (joint with Bl. Sendov).
  5. Изчислими и µ-рекурсивни оператори. Изв. на Мат. инст. на БАН, 7, 1963, 5-43.
  6. Rekursiv vollständige arithmetische Operationen. Доклады БАН, 16, № 5, 1963, 465-467.
  7. Още един пример за рекурсивно пълна аритметична операция. Год. на Соф. унив., Мат. фак., 57 (1962/1963), 1964, 1-7.
  8. Полуупорядоченные пространства с разделяющей системой линейных операторов. Spisy přírodovědecké fakulty University J. E. Purkyně v Brně, A 28, № 9, 1964, 489-490.
  9. Крайни точки и топологически неразложими елементи. Год. на Соф. унив., Мат. фак., 58 (1963/1964), 1965, 203-218.
  10. Върху понятието рекурсивно пълна аритметична операция. Год. на Соф. унив., Мат. фак., 59 (1964/1965), 1966, 117-136.
  11. Представяне на позитивни линейни функционали, дефинирани в пространството на хомогенните реални полиноми от дадена четна степен. Изв. на Мат. инст. на БАН, 9, 1966, 57-71 (joint with V. Chakalov).
  12. Об одном классе примитивно рекурсивных функций. Год. на Соф. унив., Мат. фак., 60 (1965/1966), 1967, 105-111.
  13. Върху някои алгебрични аспекти на математичната логика. Год. на Соф. унив., Мат. фак., 62 (1967/1968), 1969, 111-122.
  14. Линейни оператори с достатъчно много отнапред дадени собствени вектори. Изв. на Мат. инст. на БАН, 10, 1969, 239-271.
  15. Некоторые простые примеры универсальных функций. ДАН СССР, 190, № 1, 1970, 45-46.
        English translation:
    Some simple examples of universal functions. Soviet Math. Dokl., 11, № 1, 1970, 41-43.
  16. Linear operators with sufficiently many a priori given eigen-vectors. Studia Mathematica, 38, 1970, 455-456.
  17. О непрерывности некоторых функционалов и замкнутости некоторых конусов. Год. на Соф. унив., Мат. фак., 64 (1969/1970), 1971, 209-212.
  18. О неразложимых элементах в смысле Я. Тагамлицкого. Mathematica Balkanica, 2, 1972, 212-214.
  19. Некоторые примеры универсальных функций, рекурсивно определяемых при помощи небольших систем равенств. In: Исследования по теории алгорифмов и математической логике, т. I, Москва, Вычислительный центр АН СССР, 1973, 134-177.
  20. Рекурсивно полные операции над словами. Доклады БАН, 27, № 4, 1974, 449-452.
  21. Одно обобщение теории рекурсивных функций. ДАН СССР, 219, № 5, 1974, 1079-1082.
        English translation:
    A generalization of the theory of recursive functions. Soviet Math. Doklady, 15, № 5, 1974, 1756-1760.
    Corrigenda. The fourth line from below in the bibliography to the Russian original must be replaced by "lop., v. 12, 465 (1968). 8 Доклады Болгарской АН, т. 16, 465 (1963)."; the omitted reference in the bibliography to the English translation is "8. D. Skordev, Rekursiv vollständige arithmetische Operationen, C. R. Acad. Bulgare Sci. 16 (1963), 465-467. MR 29 #4676."
  22. О многозначных функциях нескольких переменных. Доклады БАН, 28, № 7, 1975, 885-888.
  23. Некоторые топологические примеры итеративных комбинаторных пространств. Доклады БАН, 28, № 12, 1975, 1575-1578.
  24. On Turing computable operators. Год. на Соф. унив., ФММ, 67 (1972/1973), 1976, 103-112.
  25. Замечание к теории интегрирования. Год. на Соф. унив., ФММ, 67 (1972/1973), 1976, 165-167.
  26. Некоторые модели комбинаторной логики. Математические заметки, 19, № 1, 1976, 149-154.
        English translation: Some models of combinatory logic. Math. Notes, 19, № 1, 1976, 88-90.
  27. Recursion theory on iterative combinatory spaces. Bull. Acad. Polon. Sci., Sér. Sci. Math. Astr. Phys., 24, № 1, 1976, 23-31.
  28. Некоторые комбинаторные пространства, связанные со сложностью переработки данных. Доклады БАН, 29, № 1, 1976, 7-10.
  29. О частичном упорядочении множества  в комбинаторных пространствах. Доклады БАН, 29, № 2, 1976, 151-154.
  30. An axiomatic treatment of recursiveness for some kinds of multi-valued functions. J. of Symb. Logic, 41, № 2, 1976, 555-556.
  31. Понятие поисковой вычислимости с точки зрения теории комбинаторных пространств. Сердика, 2, № 4, 1976, 343-349.
  32. Нормальная форма термов в итеративных комбинаторных пространствах. In: Математика и математическо образование, Докл. на Петата пролетна конференция на БМД (Габрово, 8-10.IV.1976), Sofia, 1990, 130-137.
  33. Simplification of some definitions in the theory of combinatory spaces. Доклады БАН , 30, № 7, 1977, 947-950.
  34. A normal form theorem for recursive operators in iterative combinatory spaces. Zeitschr. f. math. Logik und Grundlagen der Mathematik., 24, № 2, 1978, 115-124.
  35. The first recursion theorem for iterative combinatory spaces. Zeitschr. f. math. Logik und Grundlagen der Mathematik., 25, № 1, 1979, 69-77.
  36. Алгебраическое обобщение одного результата Бёма и Якопини. Доклады БАН, 32, № 2, 1979, 151-154.
  37. Комбинаторные структуры. Сердика, 5, № 2, 1979, 128-148 (joint with V.  Petrov).
  38. Полукомбинаторные пространства. Доклады БАН, 33, № 6, 1980, 739-742.
  39. Комбинаторные пространства и рекурсивность в них. София, Изд. на БАН, 1980, 455 pp.
  40. Применение абстрактной теории рекурсии для исследования возможностей функциональных систем программирования. In: Математическая теория и практика систем программного обеспечения, Труды советско-болгарского совещания, Новосибирск, Вычислительный центр СО АН СССР, 1982, 7-16.
  41. An algebraic treatment of flow diagrams and its application to generalized recursion theory. In: Universal Algebra and Applications, Banach Center Publications, vol. 9, Warszawa, PWN, 1982, 277-287.
  42. Один метод вычисления значений рекурсивно определенных функций. In: Сборник доклади, Юбилейна научна сесия, посветена на 1300-годишнината на българската държава и 10-годишнината на ВПИ (Шумен, 20-22.X.1981), Физика, математика, Shumen, 1982, 176-187.
  43. Об одном погружении итеративных алгебр Поста в полугруппы. Алгебра и логика, 21, № 2, 1982, 228-241.
        English translation:
    Embedding of iterative Post algebras in semigroups. Algebra and Logic, 21, 1982, 156-167.
  44. A reduction of polyadic recursive programs to monadic ones. In: Symposium on Mathematical Foundations of Computer Science (Diedrichshagen, 6-11.XII.1982), Seminarbericht Nr. 52, Sektion Mathematik der Humboldt-Universität zu Berlin, Berlin, 1983, 124-132.
  45. Первая теорема о рекурсии для итеративных полукомбинаторных пространств. In: Математическая логика, Труды конференции по математической логике, посвященной памяти А. А. Маркова (1903-1979), (София, 22-23.IX.1980), Sofia, 1984, 89-111.
  46. A formal system for proving some properties of programs in iterative combinatory spaces. Ann. Soc. Math. Pol., Ser. 4, Fundamenta Informaticae, 7, № 3, 1984, 359-365.
  47. On a modal-type language for the predicate calculus. Polish Academy of Sciences, Institute of Philosophy and Sociology, Bulletin of the Section of Logic, 13, № 3, 1984, 111-119.
  48. On multi-valued homomorphisms. In: Computation Theory, Lecture Notes in Computer Science, vol. 208, 1985, 326-331.
  49. О некоторых формальных системах для теории итеративных полукомбинаторных пространств. Год. на Соф. унив., ФММ, 79 (1985), кн. 1, 1989, 323-347.
  50. Една възможност за съчетаване на идеи от интервалния и от конструктивния математически анализ. In: 100 години от рождението на академик Любомир Чакалов, Юбилеен сборник, Трудове на юбилейна научна сесия, организирана от Софийския областен народен съвет и Съюза на математиците в България (Самоков, 14-15.II.1986), 114-121.
  51. Доказване на коректността на някои програми чрез изследване на образите на множества от състояния на паметта. In: Математика и математическо образование, Докл. на Петнадесетата пролетна конференция на СМБ (Слънчев бряг, 6 - 9.IV.1986), Sofia, 1986, 449-455.
  52. On the analog of the partial recursive functions for the case of non-deterministic computations. In: Математика и математическо образование, Докл. на Шестнадесетата пролетна конференция на СМБ (Слънчев бряг, 6 - 10.IV.1987), Sofia, 1987, 266-272.
  53. An extremal problem concerning the detection of cyclic loops. Доклады БАН, 40, № 10, 1987, 5-8.
  54. Некоторые новые примеры итеративных полукомбинаторных пространств. Год. на Соф. унив., ФМИ, 81 (1987), 1994, 225-236.
  55. On the use of homomorphisms for proving the equivalence of some programs. In: Mathematical Problems in Computation Theory, Banach Center Publications, vol. 21, Warsaw, PWN, 1988, 377-384.
  56. On the reduction of polyadic recursive programs to monadic ones. Год. на Соф. унив., ФМИ, 82 (1988), 173-181.
  57. The indecomposability of a certain kind of semi-norms. In: Analysis and Related Mathematical Fields (dedicated to the memory of Y. A. Tagamlitzki), Pliska, Studia Mathematica Bulgarica, 11, 1991, 86-93.
  58. On the detection of periodic loops in computational processes. J. of Symb. Logic, 57, № 1, 1992, 335-336.
  59. On Van Gelder's loop detection algorithm. J. of Logic Programming, 14, 1992, 181-183.
  60. Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability. Dordrecht-Boston-London, Kluwer Academic Publishers, 1992, xiv, 320 pp.
    Corrigenda. All occurrences of "vii" and "viii" on pp. 315-316 must be replaced by "xi" and "xii", respectively. The occurrences of "ix" on p. 315, line 14 from below, and p. 316, line 13 from below, must be replaced by "xii, xiii". All other occurrences of "ix" on pp. 315-316 must be replaced by "xii". On p. 154, line 5 from below,  Γ'  must be replaced by  Γ'( .
  61. On the average delay of the detection of cyclic loops. Год. на Соф. унив., ФМИ, 85 (1991), 1993, 13-34.
  62. On the detection of some periodic loops during the execution of Prolog programs. In: Algebraic Methods in Logic and in Computer Science, Banach Center Publications, vol. 28, Warsaw, 1993, 151-166.
  63. An abstract approach to some loop detection problems. Fundamenta Informaticae, 31 (1997), 195-212.
  64. On the detection of some loops in recursive computations. Год. на Соф. унив., ФМИ, 87 (1993), 1999, 203-222.
  65. An algorithmic approach to some problems on the representation of natural numbers as sums without repetitions. Год. на Соф. унив., ФМИ, 89 (1995), 1998, 89-99.
  66. A separation theorem of Y. Tagamlitzki in its natural generality. Год. на Соф. унив., ФМИ, 91 (1997), 1999, 73-78.
  67. Characterization of the computable real numbers by means of primitive recursive functions. In: J. Blanck, V. Brattka, and P. Hertling (editors), Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers, Lecture Notes in Computer Science, vol. 2064, 2001, 296-309.
        Preliminary version:
    A characterization of the computable real numbers by means of primitive recursive functions. In: J. Blanck, V. Brattka, P. Hertling, and K. Weihrauch (editors), Computability and Complexity in Analysis, vol. 272 of Informatik Berichte, pp. 389-394. FernUniversität Hagen, September 2000.
  68. On the duration domains for the Interval Temporal Logic. Год. на Соф. унив., ФМИ, 94 (2000), 2001, 27-33.
  69. Computability of real numbers by using a given class of functions in the set of the natural numbers. Math. Log. Quart., 48 (2002), Suppl. 1, 91-106.
  70. Maximal depths of boolean functions. Год. на Соф. унив., ФМИ, 96, 2004, 89-99.
  71. Some subrecursive versions of Grzegorczyk's Uniformity Theorem. Math. Log. Quart., 50 (2004), No. 4/5, 520-524.
  72. A computability notion for locally finite lattices. In: S. B. Cooper, B. Löwe, and L. Torenvliet (editors), CIE 2005: New Computational Paradigms, Univ. of Amsterdam, ILLC Publications, Technical Notes (X) Series, X-2005-01, 2005, 198-207.
  73. Randomized first order computability. Abstract. In: Proceedings of the 5th Panhellenic Logic Symposium (Athens, July 25-28, 2005), Univ. of Athens, 2005, 14-15.

 


Other publications related to science and education

  1. Ограничени редици от функции, всяка подредица на които е разходяща почти навсякъде. Физ.-мат. списание, 3(36), № 2, 1960, 145-149.
  2. Алгоритмична нерешимост на проблемата за съществуване на решение за показателните диофантови уравнения. Физ.-мат. списание, 5(38), № 4, 1962, 302-304.
  3. Що е диференциране. София, Наука и изкуство, 1963, 189 с. (joint with N.  Obrechkoff).
  4. Алгоритми и алгоритмична изчислимост. In: Вселена '69, София, Наука и изкуство, 1969, 9-18.
  5. Алгоритмична нерешимост на десетата проблема на Хилберт. Физико-математическо списание, 13(46), № 2, 1970, 155-157.
  6. Реални числа. София, Народна просвета, 1971, 143 pp. (joint with D. Shopova).
  7. Андрей Андреевич Марков - по случай 70-годишнината му. Физико-математическо списание, 16(49), № 4, 1973, 312-315 (joint with P. Petkov).
  8. Някои методи за изграждане на теорията на рекурсивните функции. In: Математика и математическо образование, Докл. на Третата пролетна конференция на БМД (Бургас, 2-4.IV.1974), Sofia, 1976, 41-53.
  9. Професор Ярослав Тагамлицки (по случай 60 години от рождението му). Обучението по математика, 2(20), № 4, 1977, 35-39 (joint with I. Prodanov).
  10. Някои бележки върху изучаването на понятията рационален израз и алгоритъм в VII клас. Обучението по математика, 5(23), № 5, 1980, 35-38.
  11. Алгоритми и алгоритмична изчислимост. София, Народна просвета, 1981, 144 pp.
  12. Един подход към въпросите за дължина на окръжност и лице на кръг. Обучението по математика, 7(25), № 3, 1982, 29-36.
  13. Още веднъж за понятието тъждествено равни рационални изрази. Обучението по математика, 8(26), № 6, 1983, 13-14.
  14. Някои критични бележки относно новия учебник по алгебра за 10. клас и съответната книга за учителя. Обучението по математика, 9(27), № 1, 1984, 25-32.
  15. Надгробно слово за проф. Ярослав Тагамлицки. Обучението по математика, 9(27), № 1, 1984, 38-39.
  16. Проф. Ярослав Тагамлицки - учен, педагог, човек. Обучението по математика, 9(27), № 1, 1984, 39-41 (joint with T. Genchev, A. Obretenov, I. Prodanov, V. Chakalov).
  17. Проф. Ярослав Тагамлицки 1917-1983. Mатематика, 23, № 1, 1984, 2-6 (joint with T. Genchev, A. Obretenov, I. Prodanov, V. Chakalov).
  18. Чл.-кор. Ярослав А. Тагамлицки (1917-1983). Физ.-мат. списание, 26(59), № 2, 1984, 214-222 (joint with V. Chakalov).
  19. Моите най-ранни и най-последни спомени за Я. Тагамлицки. In: Ярослав Тагамлицки - учен и учител, София, Наука и изкуство, 1986, 77-82.
  20. Научното и педагогическото дело на Я. Тагамлицки. In: Ярослав Тагамлицки - учен и учител, София, Наука и изкуство, 1986, 89-102 (joint with V. Chakalov).
  21. За връзката между теоремата за конусите и теоремата на Крейн-Милман. In: Ярослав Тагамлицки - учен и учител, София, Наука и изкуство, 1986, 153-154.
  22. Кратки биографични сведения за Ярослав Тагамлицки. In: Ярослав Тагамлицки - учен и учител, София, Наука и изкуство, 1986, 258-261.
  23. Кратки сведения за някои научни материали в архива на професор Ярослав Тагамлицки. In: Ярослав Тагамлицки - учен и учител, София, Наука и изкуство, 1986, 262-266.
  24. Ярослав Тагамлицки. In: Български математици, София, Народна просвета, 1987, 231-246.
  25. Иван Проданов. In: Български математици, София, Народна просвета, 1987, 287-294.
  26. За една стереометрична задача с противоречиво условие. Обучението по математика, 12(30), № 5, 1987, 9-11.
  27. Съществува ли Канторовият рай и наистина ли е рай? In: Сказки по логика, София, Университетско издателство "Климент Охридски", 1990, 179-192.
  28. Y. A. Tagamlitzki (A short biographical note). In: Analysis and Related Mathematical Fields (dedicated to the memory of Y. A. Tagamlitzki), Pliska, Studia Mathematica Bulgarica, 11, 1991, 3-6 (joint with D. Doitchinov, T. Genchev, B. Penkov).
    Corrigenda. On page 3, line 3 from above, "Sept. 17" must be replaced by "Sept. 11"; on line 17 from below of the same page, "series 21" must be replaced by "series [21]"; on page 5, line 31 from above, "1963" must be replaced by "1953".
  29. Животът и делото на Ярослав Тагамлицки. Год. на Соф. унив., ФМИ, 91 (1997), 1999, 13-19 (joint with V. Chakalov).
  30. Some short historical notes on development of mathematical logic in Sofia. Год. на Соф. унив., ФМИ, 96, 2004, 11-21.  Addendum: Год. на Соф. унив., ФМИ, 97, 2005, 205.
    Corrigendum: On p. 19, lines 3-4 from above, "a Section of Mathematical Logic" must be replaced by "a Section of Logic". 
  31. Озадачаващ пропуск. Математически форум, 7, № 3, 2005, 96.
Document Actions