Dersin Bilgileri

Dersin Adı	Türkçe	Mantık & Hesaplanabilirlik
	İngilizce	Logic & Computability
Dersin Kodu	BLG 345E	Kredi	Ders (saat/hafta)	Uygulama (saat/hafta)	Labratuvar (saat/hafta)
Dönem	5	3	3	-	-
Dersin Dili		İngilizce
Dersin Koordinatörü		Mehmet Tahir Sandıkkaya
Dersin Amaçları		1. Teaching inference in common logical models. 2. Teaching inference machines. 3. Teaching the limits of computability. 4. Teaching generalized computable system design. 5. Introducing novel computation proposals.
Dersin Tanımı		Hesaplanabilirliğin temelleri, yaygın mantık modellerinde çıkarımlar ve tanıtlar, uslamlama yapabilen makinalar, hesaplama makinalarının kısıtları, hesaplamanın sınıflandırılması ve ölçeklenmesi, genelleştirilmiş problemlerin hesabı, öğrenmenin hesaplanabilirliği, hesaplanabilirliğin geleceği
Dersin Çıktıları		1. Hesaplanabilirliğin temellerini bilmek. 2. Uslamlayabilen makinaları tanımak. 3. Hesaplamayı farklı yönlerden sınıflandırabilmek. 4. Genelleştirilmiş hesaplama modellerini bilmek. 5. Yenilikçi hesaplama önerilerini bilmek.
Önkoşullar		-
Gereken Olanaklar		Kütüphane erişimi gereklidir. Gündelik bir bilgisayar yararlı olacaktır
Diğer		-
Ders Kitabı		James L. Hein, “Discrete Structures, Logic, and Computability”, 4th ed., Jones & Bartlett Learning, 2017. (ISBN: 978-1-284-07040-8)
Diğer Referanslar		1. Michael Huth, Mark Ryan, “Login in Computer Science: Modelling and Reasoning about Systems”, Cambridge University Press, 2004. (ISBN: 978-0-521-54310-1) 2. Sanjeev Arora, Boaz Barak, “Computational Complexity: A Modern Approach”, Cambridge University Press, 2009. (ISBN: 978-0-521-42426-4) 3. Christopher Moore, Stephan Mertens, “The Nature of Computation”, Oxford University Press, 2011. (ISBN: 978-0-19-923321-2) 4. Juraj Hromkovic, “Algorithmic Adventures From Knowledge to Magic”, Springer, 2009. (ISBN: 978-3-642-42606-3)

Dersler

Yardım

Hakkında