Teorik bilişim biliminde ve matematikte hesaplanabilirlik teorisi (İng. İngilizce: computability theory), belirli bir hesap modeline ait soruların uygun bir komut silsilesi ile ne kadar verimli bir şekilde çözülebileceğiyle ilgilenen daldır. Alan, üç yan ana dala ayrılmaktatır. Otomat teorisi ve dil, hesaplanabilirlik kuramı ve hesapsal karmaşıklık kuramı ki bunlar şu soru ile birbirine bağlanır:'Bilgisayarların temel kabiliyetleri ve sınırlamaları nelerdir?'
Bilgisayar bilimi insanları, hesaplamayı titiz bir şekilde çalışabilmek için diye bir kavram ortaya çıkarmışlardır. Bu model bilgisayarların matematiksel olarak soyutlandırılmasıyla ilgilidir. Birçok farklı model mevcuttur, fakat en çok irdelenmiş olan model Turing makinesi'dir. Bilgisayar bilimi insanları bu soyut nesneyi incelemektedirler, çünkü basit bir şekilde formüle edilmesi mümkündür. Ayrıca araştırılması kolaydır. Birçok sonucu kanıtlamakta da kullanılmaktadır. Bunların nedeni, bu nesnenin, birçok söz sahibinin deyişiyle 'en uygun' hesaplama modeli olmasıdır. (bakınız: Church-Turing tezi)
Kaynakça
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Teorik bilisim biliminde ve matematikte hesaplanabilirlik teorisi Ing Ingilizce computability theory belirli bir hesap modeline ait sorularin uygun bir komut silsilesi ile ne kadar verimli bir sekilde cozulebilecegiyle ilgilenen daldir Alan uc yan ana dala ayrilmaktatir Otomat teorisi ve dil hesaplanabilirlik kurami ve hesapsal karmasiklik kurami ki bunlar su soru ile birbirine baglanir Bilgisayarlarin temel kabiliyetleri ve sinirlamalari nelerdir hesap teorisi Bilgisayar bilimi insanlari hesaplamayi titiz bir sekilde calisabilmek icin diye bir kavram ortaya cikarmislardir Bu model bilgisayarlarin matematiksel olarak soyutlandirilmasiyla ilgilidir Bircok farkli model mevcuttur fakat en cok irdelenmis olan model Turing makinesi dir Bilgisayar bilimi insanlari bu soyut nesneyi incelemektedirler cunku basit bir sekilde formule edilmesi mumkundur Ayrica arastirilmasi kolaydir Bircok sonucu kanitlamakta da kullanilmaktadir Bunlarin nedeni bu nesnenin bircok soz sahibinin deyisiyle en uygun hesaplama modeli olmasidir bakiniz Church Turing tezi Kaynakca 2013 Introduction to the Theory of Computation 3rd Cengage Learning ISBN 978 1 133 18779 0 central areas of the theory of computation automata computability and complexity Page 1