Dimiter Skordiew
Dimiter Skordev ( bułgarski : Димитър Скордев ) (ur. 1936 w Sofii ) jest profesorem na Wydziale Logiki Matematycznej i Zastosowań Wydziału Matematyki i Informatyki Uniwersytetu w Sofii . Przewodniczący katedry w latach 1972-2000. Doyen i pionier badań nad logiką matematyczną w Bułgarii , który rozwinął bułgarską szkołę teorii obliczalności, a mianowicie algebraiczną (lub aksjomatyczną) teorię rekurencji. Był zwycięzcą Acad 1981. Nagroda im. Nikoli Obreshkova , najwyższa bułgarska nagroda w dziedzinie matematyki, przyznana za jego monografię Przestrzenie kombinatoryczne i rekurencyjność w nich .
Dziedzina zainteresowań naukowych Skordeva obejmuje obliczalność i złożoność w analizie , logikę matematyczną , uogólnioną teorię rekurencji oraz teorię programów i obliczeń .
Skordev ma ponad 45 lat doświadczenia w nauczaniu rachunku różniczkowego , logiki matematycznej , programowania logicznego , matematyki dyskretnej i informatyki . Jest autorem około 90 publikacji naukowych, w tym dwóch monografii, i był jednym z autorów nowego bułgarskiego układu klawiatury fonetycznej zaproponowanego (ale odrzuconego) jako standardu państwowego w 2006 roku.
Notatki
| Ogólny | |
|---|---|
| Biblioteki Narodowe | |
| Naukowe bazy danych | |
| Inny | |
