|
02 Ekim 2014, 15:40 
Orta Doğu Teknik Üniversitesi Matematik Bölümü Seminerleri Ahmet Çevik
Recursion Theory is a branch of mathematical logic which originates from the study of recursive (i.e. computable) functions. One of its main aims is to investigate the algorithmic relationship between undecidable sets, uncomputable functions and relations. In this seminar, we will talk about what recursion theorists do and give some current research topics in this field.
Mantık İngilizce Gunduz Ikeda Room admin 20.03.2020 |
