Dimiter Skordev - Dimiter Skordev

Dimiter Skordev

Dimiter Skordev ( búlgaro : Димитър Скордев ) (nascido em 1936 em Sofia ) é professor do Departamento de Lógica Matemática e Aplicações da Faculdade de Matemática e Ciência da Computação da Universidade de Sofia . Presidente do departamento em 1972-2000. Doyen e pioneiro da pesquisa em lógica matemática na Bulgária, que desenvolveu uma escola búlgara na teoria da computabilidade, ou seja, a teoria da recursão algébrica (ou axiomática). Ele foi o vencedor do Acad em 1981 . Prêmio Nikola Obreshkov , o maior prêmio búlgaro em matemática, concedido por sua monografia Espaços combinatórios e recursividade neles .

O campo de interesses científicos de Skordev inclui computabilidade e complexidade em análise , lógica matemática , teoria de recursão generalizada e teoria de programas e computação .

Skordev tem mais de 45 anos de experiência em ensino de cálculo , lógica matemática , programação lógica , matemática discreta e ciência da computação . Ele é autor de cerca de 90 publicações científicas, incluindo duas monografias, e foi um dos autores do novo layout de teclado fonético búlgaro proposto (mas rejeitado) para se tornar um padrão estadual em 2006.

Notas

Referências