Hesaplanabilirlik kuramı ve Turing derecelerine giriş

Sayı: 1 1 Mart 2012
  • Ahmet Çevik
Gaziosmanpaşa Bilimsel Araştırma Dergisi Kapak
Gaziosmanpaşa Bilimsel Araştırma Dergisi
PDF İndir
EN TR

Introduction to computability theory and Turing degrees

Öz

Computability (Recursion) Theory is a branch of mathematical logic which was begun with Gödel’s incompleteness theorem, later formalized by Alan Turing, and succeeded by Emil Post and Stephen Kleene’s work. In this survey paper, we introduce the reader recursion theory and give some of the known results in the theory of Turing degrees.

Anahtar Kelimeler

Ayrıntılar

Birincil Dil

Türkçe

Konular

-

Bölüm

-

Yazarlar

Ahmet Çevik Bu kişi benim

Yayımlanma Tarihi

1 Mart 2012

Gönderilme Tarihi

1 Mart 2012

Kabul Tarihi

-

Yayımlandığı Sayı

Yıl 2012 Sayı: 1

IZ

https://izlik.org/JA76HH83FA

Kaynak Göster

RIS / Bibtex
APA
Çevik, A. (2012). Hesaplanabilirlik kuramı ve Turing derecelerine giriş. Gaziosmanpaşa Bilimsel Araştırma Dergisi, 1, 1-20. https://izlik.org/JA76HH83FA
AMA
1.Çevik A. Hesaplanabilirlik kuramı ve Turing derecelerine giriş. GBAD. 2012;(1):1-20. https://izlik.org/JA76HH83FA
Chicago
Çevik, Ahmet. 2012. “Hesaplanabilirlik kuramı ve Turing derecelerine giriş”. Gaziosmanpaşa Bilimsel Araştırma Dergisi, sy 1: 1-20. https://izlik.org/JA76HH83FA.
EndNote
Çevik A (01 Mart 2012) Hesaplanabilirlik kuramı ve Turing derecelerine giriş. Gaziosmanpaşa Bilimsel Araştırma Dergisi 1 1–20.
IEEE
[1]A. Çevik, “Hesaplanabilirlik kuramı ve Turing derecelerine giriş”, GBAD, sy 1, ss. 1–20, Mar. 2012, [çevrimiçi]. Erişim adresi: https://izlik.org/JA76HH83FA
ISNAD
Çevik, Ahmet. “Hesaplanabilirlik kuramı ve Turing derecelerine giriş”. Gaziosmanpaşa Bilimsel Araştırma Dergisi. 1 (01 Mart 2012): 1-20. https://izlik.org/JA76HH83FA.
JAMA
1.Çevik A. Hesaplanabilirlik kuramı ve Turing derecelerine giriş. GBAD. 2012;:1–20.
MLA
Çevik, Ahmet. “Hesaplanabilirlik kuramı ve Turing derecelerine giriş”. Gaziosmanpaşa Bilimsel Araştırma Dergisi, sy 1, Mart 2012, ss. 1-20, https://izlik.org/JA76HH83FA.
Vancouver
1.Ahmet Çevik. Hesaplanabilirlik kuramı ve Turing derecelerine giriş. GBAD [Internet]. 01 Mart 2012;(1):1-20. Erişim adresi: https://izlik.org/JA76HH83FA