Skordev, Dimitar

Dimitar Genchev Skordev ( bulgariaksi Dimitar Genchev Skordev , syntynyt vuonna 1936 Sofiassa) on bulgarialainen matemaatikko, pitkäaikainen luennoitsija matemaattisen logiikan ja sen sovellusten laitoksella Sofian yliopiston matematiikan ja informatiikan tiedekunnassa .

Elämäkerta

Koulutus ja työ

Syntyi vuonna 1936 arkkitehtien Gencho Skordevin (Gencho Skordev oli myös yksi Bulgarian matkailuliikkeen hahmoista) [2] ja Elena Varakadzhieva-Skordeva perheeseen . Hän opiskeli Sofian yliopistossa ja suoritti sitten harjoittelun Moskovan valtionyliopiston mekaniikka-matematiikan tiedekunnan matemaattisen logiikan laitoksella . Vuonna 1972 hänestä tuli Bulgarian tiedeakatemian ja Sofian yliopiston matemaattisen logiikan sektorin johtaja ja vuonna 1989 Sofian yliopiston matemaattisen logiikan ja sen sovellusten laitoksen johtaja , joka työskenteli tässä tehtävässä vuoteen 2000 asti. Vuonna 1989 hän sai professorin arvonimen. Hän on yksi matemaattisen logiikan pioneereista Bulgariassa, bulgarialaisen tieteellisen koulukunnan kirjoittaja laskettavuusteorian alalla (algebrallinen rekursioteoria). Hänen tutkimusalueitaan ovat laskettavuus ja monimutkaisuus laskennassa, matemaattinen logiikka, yleinen rekursioteoria sekä ohjelma- ja laskentateoria.

Tieteellinen toiminta

Skordevilla on 50 vuoden kokemus laskennan, matemaattisen logiikan, logiikkaohjelmoinnin, diskreetin matematiikan ja tietojenkäsittelytieteen opettamisesta. Hän on kirjoittanut yli 100 tieteellistä ja pseudotieteellistä julkaisua (mukaan lukien kaksi monografiaa). Yhdessä Bulgarian tiedeakatemian matematiikan ja informatiikan instituutin lehtorin Dimitar Dobrevin kanssa hän oli laatinut kansallisen standardin prBDS 5237:2006 luonnoksen "Näppäimistöasettelut ja laitteet tietojen syöttämiseksi bulgariaksi", jonka aiheena oli :

• elektronisten laitteiden näppäimistöt, joissa on 48 aakkosnumeerista näppäintä, jotka tukevat Foneettista järjestelmää ja OBD-järjestelmää;
• näppäimistöt elektronisille laitteille, joissa on 12 aakkosnumeerista näppäintä, jotka tukevat aakkos- ja foneettista järjestelmää;
• näppäimistöt 46 aakkosnumeerisella näppäimellä kirjoituskoneille, jotka tukevat OBD-järjestelmää.

Yhteys Venäjään ja Neuvostoliittoon

Skordev puhuu englantia ja venäjää. Useita hänen artikkeleistaan ​​julkaistiin Neuvostoliiton ja Venäjän tieteellisissä lehdissä. Yksi Skordevin opettajista oli matemaatikko A.A.Markov [3] , joka yhdessä seminaareista asetti opiskelijoilleen tehtävän oppia ratkaisemaan "sanojen yhtälöitä". Markovin ongelman tilanne oli seuraava Blagovest Sendovin , [4] Skordevin kollegan mukaan:

Oletetaan, että sinulla on n eri kirjaimen aakkoset, ja oletetaan, että sinulla on myös yksi "yhtälö", oletetaan, että abc = cde . Osoita, että jos tämä yhtälö on ei-triviaali, eli ei a = a , niin alkuperäinen aakkosto voidaan ilmaista toisella aakkosella, joka koostuu jo n - 1 eri kirjaimesta.

Dimitar itse ei pystynyt ratkaisemaan ongelmaa, minkä seurauksena hän kääntyi Sendovin puoleen, joka onnistui viikossa laatimaan lyhyen ratkaisun ongelmaan "induktiolla", olettaen, että ensimmäisessä aakkosessa oli vain kaksi kirjainta, ja yksi toisessa. Skordev esitteli ongelman yhteisen ratkaisun Sendovin kanssa Markoville, joka oli tyytyväinen, ja auttoi myöhemmin julkaisemaan tuloksen artikkelissa yhdessä saksalaisista logiikkalehdistä: tämä oli Sendovin ja Skordevin ainoa yhteinen julkaisu.

Skordevin julkaisut venäjäksi

Skordevin yli 100 julkaisusta merkittävä osa on kirjoitettu venäjäksi [5] :

• Joissakin puoliksi tilatuissa tiloissa. // DAN USSR, 138, nro 3, 1961, 553-555.
• Tietoa yhtälöistä sanoissa. // Logik und Grundlagen der Mathematik, 7, nro 4, 1961, 289-297 ( yhdessä Bl. Sendovin kanssa ).
• Puolijärjestetyt tilat lineaaristen operaattorien erotusjärjestelmällä. // Spisy přírodovědecké fakulty University JE Purkyně v Brně, A 28, no. 9, 1964, 489-490.
• Noin yksi primitiivisten rekursiivisten funktioiden luokka. // Vuosi. Sofissa. univ., Mat. fak., 60 (1965/1966), 1967, 105-111.
• Muutamia yksinkertaisia ​​esimerkkejä yleisistä funktioista. // DAN USSR, 190, nro 1, 1970, 45-46.
• Joidenkin toimintojen jatkuvuudesta ja joidenkin kartioiden sulkeutumisesta. // Vuosi. Sofissa. univ., Mat. fak., 64 (1969/1970), 1971, 209-212.
• Hajoamattomista elementeistä J. Tagamlitskyn merkityksessä. // Mathematica Balkanica, 2, 1972, 212-214.
• Joitakin esimerkkejä universaaleista funktioista, jotka on määritelty rekursiivisesti käyttäen pieniä yhtäläisyysjärjestelmiä. // Algoritmien ja matemaattisen logiikan teorian tutkimus, osa I, Moskova, Neuvostoliiton tiedeakatemian laskentakeskus, 1973, 134-177.
• Suorita rekursiivisesti sanojen operaatioita. // BANin raportit, 27, nro 4, 1974, 449-452.
• Yksi yleistys rekursiivisten funktioiden teoriasta. // DAN USSR, 219, nro 5, 1974, 1079-1082.
• Useiden muuttujien moniarvofunktioista. // BANin raportit, 28, nro 7, 1975, 885-888.
• Joitakin topologisia esimerkkejä iteratiivisista kombinatorisista avaruksista. // BANin raportit, 28, nro 12, 1975, 1575-1578.
• Huomautuksia integraatioteoriasta. // Vuosi. Sofissa. univ., FMM, 67 (1972/1973), 1976, 165-167.
• Jotkut kombinatorisen logiikan mallit. // Matemaattiset huomautukset, 19, nro 1, 1976, 149-154.
• Jotkut kombinatoriset tilat liittyvät tietojenkäsittelyn monimutkaisuuteen. // Raportit BANista, 29, nro 1, 1976, 7-10.
• Joukkon osittaisesta järjestämisestä kombinatorisissa tiloissa. // BANin raportit, 29, nro 2, 1976, 151-154.
• Haun laskettavuuden käsite kombinatoristen avaruuksien teorian näkökulmasta. // Serdika, 2, nro 4, 1976, 343-349.
• Termien normaalimuoto iteratiivisissa kombinatorisissa tiloissa. // Matematiikka ja matemaattinen koulutus, Dokl. BMD:tä koskevasta Petata-lentokonferenssista (Gabrovo, 8-10.IV.1976), Sofia, 1990, 130-137.
• Algebrallinen yleistys yhdestä Böhmin ja Jacopinin tuloksesta. // Raportit BANista, 32, nro 2, 1979, 151-154.
• kombinatoriset rakenteet. // Serdika, 5, nro 2, 1979, 128-148 ( yhdessä V. Petrovin kanssa )
• puolikombinatoriset tilat. // Raportit BANista, 33, nro 6, 1980, 739-742.
• Kombinatoriset tilat ja rekursiivisuus niissä. Sofia, toim. osoitteessa BAN, 1980, 455 s.
• Abstraktin rekursioteorian soveltaminen toiminnallisten ohjelmointijärjestelmien mahdollisuuksien tutkimiseen. // Ohjelmistojärjestelmien matemaattinen teoria ja käytäntö, Proceedings of the Soviet-Bulgaria meeting, Novosibirsk, Neuvostoliiton tiedeakatemian Siperian osaston laskentakeskus, 1982, 7-16.
• Yksi menetelmä rekursiivisesti määriteltyjen funktioiden arvojen laskemiseen. // Raporttien kokoelma, vuosipäivän tieteellinen istunto, omistettu bulgarialaisen dzharzhavan 1300-vuotispäivälle ja VPI:n 10-vuotispäivälle (Shumen, 20-22.X.1981), fysiikka, matematiikka, Shumen, 1982, 176-187.
• Iteratiivisten Post-algebroiden upottamisesta puoliryhmiin. // Algebra ja logiikka, 21, nro 2, 1982, 228-241.
• Ensimmäinen rekursiolause iteratiivisille puolikombinatorisille avaruuksille. // Matemaattinen logiikka, A. A. Markovin (1903-1979) muistolle omistetun matemaattisen logiikan konferenssin julkaisut (Sofia, 22-23.IX.1980), Sofia, 1984, 89-111.
• Joistakin muodollisista järjestelmistä iteratiivisten puolikombinatoristen avaruuksien teorialle. // Vuosi. Sofissa. univ., FMM, 79 (1985), kirja. 1, 1989, 323-347.
• Joitakin uusia esimerkkejä iteratiivisista puolikombinatorisista avaruuksista. // Vuosi. Sofissa. univ., FMI, 81 (1987), 1994, 225-236.

Muistiinpanot

1. ↑ Matemaattinen sukututkimus  (englanniksi) - 1997.
2. ↑ Sofia muistaa. PARTSEL 7 Arkistoitu 4. maaliskuuta 2016 Wayback Machinessa  (Bulgaria)
3. ↑ Logiikan seikkailuja Venäjällä ja maailmassa 1  (venäjä)
4. ↑ Vasily Demidovich, Seitsemän taidetta, nro 9. Haastattelu Blagovest Sendovin kanssa Arkistoitu 8. elokuuta 2016 Wayback Machinessa  (venäjäksi)
5. ↑ Julkaisut prof. MD Dimitar Skordev Arkistoitu 10. kesäkuuta 2016 Wayback Machinessa  (bulgaria)

Linkit

• Profiili Sofian yliopiston verkkosivuilla  (englanniksi)
•  Muutamia lyhyitä historiallisia muistiinpanoja matemaattisen logiikan kehittämisestä Sofiassa
• Henkilökohtainen sivu sivustolla All-Russian Mathematical Portal

Temaattiset sivustot	Matemaattinen sukututkimus zbMATH Avoinna
Bibliografisissa luetteloissa BNF : 12366851r ISNI : 0000 0001 1610 9252 J9U : 987007441813905171 LCCN : n81108101 NTA : 073455806 NUKAT : n99011558 VIAF : 27144337 WorldCat VIAF : 27144337