Skordev, Dimitar

Dimitar Gencsev Skordev ( bolgárul: Dimitar Genchev Skordev , 1936-ban született Szófiában) bolgár matematikus, a Szófiai Egyetem Matematikai és Informatikai Karának Matematikai Logika és alkalmazásai tanszékének régóta oktatója .

Életrajz

Oktatás és munka

1936-ban született Gencho Skordev (Gencho Skordev a bulgáriai turisztikai mozgalom egyik szereplője is volt) [2] és Elena Varakadzhieva-Skordeva építészek családjában . Tanulmányait a Szófiai Egyetemen végezte , majd a Moszkvai Állami Egyetem Mechanikai és Matematikai Karának Matematikai Logika Tanszékén szerzett gyakorlatot . 1972-ben a Bolgár Tudományos Akadémia és a Szófiai Egyetem Matematikai Logikai Szektorának vezetője lett, 1989-ben pedig a Szófiai Egyetem Matematikai Logikai és Alkalmazásai Tanszékének vezetője, 2000-ig dolgozott ebben a pozícióban. 1989-ben professzori címet kapott. A matematikai logika egyik úttörője Bulgáriában, a bolgár tudományos iskola szerzője a kiszámíthatóság elmélete (a rekurziók algebrai elmélete) területén. Kutatási területe a számítások kiszámíthatósága és összetettsége, a matematikai logika, az általánosított rekurzióelmélet, valamint a program- és számításelmélet.

Tudományos tevékenység

Skordev 50 éves tanítási tapasztalattal rendelkezik a számítás, a matematikai logika, a logikai programozás, a diszkrét matematika és a számítástechnika területén. Több mint 100 tudományos és áltudományos publikáció (köztük két monográfia) szerzője. Dimitar Dobrevvel, a Bolgár Tudományos Akadémia Matematikai és Informatikai Intézetének oktatójával együtt szerzője volt a prBDS 5237:2006 „Billentyűzetkiosztások és eszközök a bolgár nyelvű információbevitelhez” nemzeti szabványtervezetnek, amelynek tárgya a következő volt: :

• billentyűzetek elektronikus eszközökhöz 48 alfanumerikus billentyűvel, amelyek támogatják a fonetikus rendszert és az OBD rendszert;
• billentyűzetek elektronikus eszközökhöz 12 alfanumerikus billentyűvel, amelyek támogatják az ábécé és fonetikai rendszert;
• billentyűzetek 46 alfanumerikus billentyűvel az OBD rendszert támogató írógépekhez.

Kapcsolat Oroszországgal és a Szovjetunióval

Skordev angolul és oroszul beszél. Számos cikke jelent meg szovjet és orosz tudományos folyóiratokban. Skordev egyik tanára A.A.Markov matematikus [3] volt , aki az egyik szemináriumon azt a feladatot tűzte ki diákjai elé, hogy tanulják meg a „szavas egyenletek” megoldását. A Markov-probléma feltétele a következő volt Blagovest Sendov , [4] Skordev munkatársa szerint:

Tegyük fel, hogy van egy n különböző betűből álló ábécéd, és van egy "egyenleted is", mondjuk abc = cde . Bizonyítsuk be, hogy ha ez az egyenlet nem triviális, azaz nem a = a , akkor az eredeti ábécé egy másik ábécével is kifejezhető, amely már n - 1 különböző betűből áll.

Dimitar maga nem tudta megoldani a problémát, aminek következtében Sendovhoz fordult segítségért, akinek egy hét alatt sikerült „indukcióval” rövid megoldást alkotnia a problémára, feltételezve, hogy az első ábécében csak két betű van, és egy a másodikban. Skordev a probléma Szendovval közös megoldását mutatta be Markovnak, aki elégedett volt, majd később az egyik német logikai folyóiratban megjelent cikkben segítette az eredményt: ez volt Sendov és Skordev egyetlen közös publikációja.

Skordev orosz nyelvű publikációi

Skordev több mint 100 publikációjának jelentős része orosz nyelven íródott [5] :

• Néhány félig rendezett helyen. // DAN USSR, 138, 3. szám, 1961, 553-555.
• Az egyenletekről szavakban. // Logik und Grundlagen der Mathematik, 7, No. 4, 1961, 289-297 ( Bl. Sendovval együtt ).
• Félig rendezett terek lineáris operátorok elválasztó rendszerével. // Spisy přírodovědecké fakulty University JE Purkyně v Brně, A 28, no. 9, 1964, 489-490.
• A primitív rekurzív függvények egy osztályáról. // Év. a Sof-on. univ., Mat. fak., 60 (1965/1966), 1967, 105-111.
• Néhány egyszerű példa általános függvényekre. // DAN USSR, 190, 1. sz., 1970, 45-46.
• Egyes funkcionálisok folytonosságáról és egyes kúpok zártságáról. // Év. a Sof-on. univ., Mat. fak., 64 (1969/1970), 1971, 209-212.
• A felbonthatatlan elemekről J. Tagamlitsky értelmében. // Mathematica Balkanica, 2, 1972, 212-214.
• Néhány példa kis egyenlőségrendszerek segítségével rekurzívan definiált univerzális függvényekre. // Kutatás az algoritmusok elméletéről és a matematikai logikáról, I. kötet, Moszkva, A Szovjetunió Tudományos Akadémia Számítástechnikai Központja, 1973, 134-177.
• Rekurzív műveletek befejezése szavakkal. // A BAN jelentései, 27, 4. szám, 1974, 449-452.
• A rekurzív függvények elméletének egyik általánosítása. // DAN USSR, 219, 5. szám, 1974, 1079-1082.
• Több változó többértékű függvényein. // A BAN jelentései, 28, 7. szám, 1975, 885-888.
• Néhány topológiai példa az iteratív kombinatorikus terekre. // A BAN jelentései, 28, 12. szám, 1975, 1575-1578.
• Megjegyzések az integráció elméletéhez. // Év. a Sof-on. univ., FMM, 67 (1972/1973), 1976, 165-167.
• A kombinatorikus logika néhány modellje. // Matematikai jegyzetek, 19, 1. sz., 1976, 149-154.
• Néhány kombinatorikus tér, amely az adatfeldolgozás összetettségéhez kapcsolódik. // Jelentések a BAN-ról, 29, 1. szám, 1976, 7-10.
• Egy halmaz részleges rendezéséről kombinatorikus terekben. // A BAN jelentései, 29, 2. sz., 1976, 151-154.
• A keresési kiszámíthatóság fogalma a kombinatorikus terek elmélete szempontjából. // Serdika, 2, 4. szám, 1976, 343-349.
• A kifejezések normál alakja iteratív kombinatorikus terekben. // Matematika és matematikai oktatás, Dokl. a Petata repülő konferencián a BMD-ről (Gabrovo, 8-10.IV.1976), Szófia, 1990, 130-137.
• Böhm és Jacopini egy eredményének algebrai általánosítása. // Jelentések a BAN-ról, 32, 2. szám, 1979, 151-154.
• kombinatorikus struktúrák. // Serdika, 5, 2. szám, 1979, 128-148 ( V. Petrovval együtt )
• félkombinatorikus terek. // Jelentések a BAN-ról, 33, 6. szám, 1980, 739-742.
• Kombinatorikus terek és rekurzivitás bennük. Sofia, szerk. at BAN, 1980, 455 p.
• A rekurzió absztrakt elméletének alkalmazása funkcionális programozási rendszerek lehetőségeinek feltárására. // Szoftverrendszerek matematikai elmélete és gyakorlata, Proceedings of the szovjet-bolgár találkozó, Novoszibirszk, A Szovjetunió Tudományos Akadémia Szibériai Kirendeltségének Számítástechnikai Központja, 1982, 7-16.
• Az egyik módszer a rekurzívan meghatározott függvények értékeinek kiszámítására. // Jelentésgyűjtemény, Jubileumi tudományos ülésszak, a bolgár dzharzsava 1300. és a VPI 10. évfordulója alkalmából (Shumen, 20-22.X.1981), Fizika, matematika, Shumen, 1982, 176-187.
• Az iteratív postalgebrák félcsoportokba merítéséről. // Algebra és Logika, 21, 2. szám, 1982, 228-241.
• Az első rekurziós tétel iteratív félkombinatorikus terekre. // Matematikai logika, A. A. Markov (1903-1979) emlékének szentelt matematikai logikai konferencia anyaga, (Szófia, 1980. IX. 22-23.), Szófia, 1984, 89-111.
• Néhány formális rendszerről az iteratív félkombinatorikus terek elméletéhez. // Év. a Sof-on. univ., FMM, 79 (1985), könyv. 1, 323-347 (1989)].
• Néhány új példa az iteratív félkombinatorikus terekre. // Év. a Sof-on. univ., FMI, 81 (1987), 1994, 225-236.

Jegyzetek

1. ↑ Matematikai genealógia  (angol) - 1997.
2. ↑ Sofia emlékszik. PARTSEL 7 Archiválva : 2016. március 4. a Wayback Machine -nél  (bolgár)
3. ↑ A logika kalandjai Oroszországban és a világban 1  (orosz)
4. ↑ Vaszilij Demidovics, Hét művészet, 9. sz. Interjú Blagovest Sendovval Archiválva : 2016. augusztus 8., a Wayback Machine  (orosz)
5. ↑ Publikációk a prof. MD Dimitar Skordev archiválva : 2016. június 10. a Wayback Machine -nél  (bolgár)

Linkek

• Profil a Sofia University honlapján  (angol)
•  Néhány rövid történelmi megjegyzés a matematikai logika fejlődéséről Szófiában
• Személyes oldal az oroszországi matematikai portálon

Tematikus oldalak	Matematikai genealógia zbMATH Nyitva
Bibliográfiai katalógusokban BNF : 12366851r ISNI : 0000 0001 1610 9252 J9U : 987007441813905171 LCCN : n81108101 NTA : 073455806 NUKAT : n99011558 VIAF : 27144337 WorldCat VIAF : 27144337