| Дипломна работа |
|
|
Ангел Василев Дичев, Връзката между изчислимост в смисъл на Московакис и частичната рекурсивност посредством номерации, 1978
, Софийски Университет, Ръководител:Димитър Генчев Скордев
|
1978
|
| Дисертация д-р |
|
|
Ангел Василев Дичев, Несводимост на някои декартви степени към други към други връзката между два вида изчислимост, 1983
, Софийски Университет, Ръководител:Димитър Генчев Скордев
|
1984
|
| Научен проект |
|
1
|
Ангел Дичев, ОПРЕДЕЛИМОСТ, АКСИОМАТИЗИРУЕМОСТ И ОПРОВЕРЖИМОСТ: АЛГОРИТМИЧНИ ПРОБЛЕМИ, Ръководител, , Номер на договора:55/2016 г.
|
2016
|
|
2
|
Ангел Дичев, ОПРЕДЕЛИМОСТ, АКСИОМАТИЗИРУЕМОСТ И ОПРОВЕРЖИМОСТ: АЛГОРИТМИЧНИ ПРОБЛЕМИ, Ръководител, , Номер на договора:5/27.3.2015г.
|
2015
|
|
3
|
Ангел Дичев, ОПРЕДЕЛИМОСТ И АКСИОМАТИЗИРУЕМОСТ: АЛГОРИТМИЧНИ ПРОБЛЕМИ, Ръководител, ФНИ към СУ, Номер на договора:10
|
2014
|
|
4
|
Ангел Дичев, Определемост и аксиоматизируемост: алгоритмични проблеми, Ръководител, ФНИ към СУ, Номер на договора:42
|
2013
|
|
5
|
Ангел Дичев, Определемост и аксиоматизируемост: алгоритмични проблеми, Ръководител, ФНИ към СУ, Номер на договора:176
|
2012
|
|
6
|
Ангел Дичев, Изчислимост и относителна изчислимост в частични структури, Ръководител, ФНИ към СУ, Номер на договора:155
|
2011
|
|
7
|
Ангел Дичев, Изчислимост и относителна изчислимост в частични структури, Ръководител, ФНИ към СУ, Номер на договора:134
|
2010
|
|
8
|
Ангел Дичев, Изчислимост и относителна изчислимост в частични структури, Ръководител, ФНИ към СУ, Номер на договора:64
|
2009
|
| Статия в научно списание |
|
1
|
Angel V. Ditchev, Least enumerations of unary partial structures, Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique,, vol:101, 2013, pages:51-69
|
2013
|
|
2
|
Angel V. Ditchev, Some properties of an algebra of all sets of naturals e-reducible to a fixed set , Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique, livre 1, vol: 101, 2013, pages:81-93
|
2013
|
|
3
|
Angel V. Ditchev, Least enumerations of partial structures, J. Logic and Computation, vol: 22 , issue:4, 2012, pages:717-735, doi:doi:10.1093/logcom/exq038 , Web of Science
|
2012
|
|
4
|
Angel V. Ditchev, Exact effective enumerations of total functional structures, Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique,, vol:100, 2011, pages:35-46
|
2011
|
|
5
|
Angel V. Ditchev, Some results on the upper-semilattice of r.e. m-degrees inside a single r.e. tt-degree, , Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique,, vol:96, 2004, pages:23-34
|
2004
|
|
6
|
Angel V. Ditchev, Effective enumeration of families of recursive functions
, Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique,, vol:92, 1999, pages:31-37
|
1999
|
|
7
|
Angel V. Ditchev, Characterization of the structures which admit effective enumerations, Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique,, vol:92, 1998, pages:7-16
|
1998
|
|
8
|
Angel V. Ditchev, On the effective enumerations of structures with unary functions and predicates, Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique,, vol:91, 1997, pages:7-12
|
1997
|
|
9
|
Angel V. Ditchev, On bounded truth-table degrees and positive degrees,
Annuaire de l' Universite de Sofia, Faculte de Mathematiques
et Informatique, livre 1, 86 (1992), 61 – 71
, Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique,, vol:86, 1992, pages:61-71
|
1992
|
|
10
|
Angel V. Ditchev, Effective enumerations of families of finite sets of natural numbers
, Zeit. fur Math. Log. und Grundl. der Math., vol:37, 1991, pages:301-306
|
1991
|
|
11
|
Angel V. Ditchev, Examples of structures which do not admit recursive presentations, Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique,, vol:85, 1991, pages:3-11
|
1991
|
|
12
|
Angel V. Ditchev, Some results on bounded truth-table degrees, Zeit. fur Math. Log. und Grundl. der Math., vol:36, issue:3, 1990, pages:263-271
|
1990
|
|
13
|
Angel V. Ditchev, On the effective enumerations of partial structures, Annuaire de l' Universite de Sofia, Faculte de Mathematiques et Informatique, , vol:83, 1989, pages:29-37
|
1989
|
|
14
|
А.В.Дичев, О гипотезе Скордева, Алгебра и Логика, vol:24, issue:4, 1985, pages:379-391
|
1985
|
|
15
|
Ангел В. Дичев, On the m-equivalence of Cartesian degrees of sets of natural
numbers
, Сердика, vol:9, 1983, pages:43-48
|
1983
|
|
16
|
Ангел В. Дичев, Вьчислимости в смьсле Московакиса и ее связь с частичной рекурсивносью через нумерации
, Сердика, vol:7, 1981, pages:117-130
|
1981
|
| Статия в сборник (на конференция и др.) |
|
1
|
Angel V. Ditchev, Search computability and computability with numberings are
equivalent in the case of finite sets of objects
, Mathematical Logic and Its Applications, editor/s:D. Skordev, Publisher:Plenum Press, New York and London, , 1987, pages:233-242
|
1987
|
|
2
|
Ангел В. Дичев, О вьчислимости в смьсле Московакиса и ее связь с частичной рекурсивностью через нумерации, Трудь конференции по математической логике, editor/s:Димитър Скордев, Publisher:БАН, 1984, pages:233-251
|
1984
|
|
3
|
Ангел В. Дичев, О существовании множеств натуральньх чисел М, для которьх множество М^(к+1) не является m-еквивалентньм множеству М^к, Сборник доклади, юбилейна научна сесия, посветена на 1300 годишнината на Бълг. Държава, editor/s:Александър Витанов, Publisher:ВПИ-Шумен, 1981, pages:205-221
|
1981
|
|
4
|
Ангел Дичев, Пример на множество М от естествени числа, което не е m-еквивалентно на М^2, Математика и математическо образование, Publisher:БАН, 1981, pages:137-142
|
1981
|
| Участие в конференция |
|
|
Секционен доклад, Ангел Дичев, Some properties of an algebra of all sets of naturals e-reducible to a fixed set
|
2014
|
| Учебник/Учебно помагало |
|
|
Иван Сосков, Ангел Дичев, Теория на програмите, Университетско издателство "Св. Климент Охридски", София, Рецензирано
|
1996
|
|