Course Information

Course Name	Turkish	Mantık & Hesaplanabilirlik
	English	Logic & Computability
Course Code	BLG 345E	Credit	Lecture (hour/week)	Recitation (hour/week)	Laboratory (hour/week)
Semester	5	3	3	-	-
Course Language		English
Course Coordinator		Mehmet Tahir Sandıkkaya
Course Objectives		1. Yaygın mantık modellerinde metodik uslamlamayı öğretmek. 2. Uslamlama yapabilen makinaları öğretmek. 3. Hesaplamanın sınırlarını öğretmek. 4. Genelleştirilmiş hesaplama dizgesi tasarımı öğretmek. 5. Yenilikçi hesaplama önerilerini tanıtmak.
Course Description		Foundations of computability, inference and proof in common logical models, explanation of inference machines, limits of computation machines, classification and measurement of computation, computation of generalized problems, computability of learning, future of computability
Course Outcomes		1. Knowing the foundations of computability. 2. Being able to infer in logical models. 3. Recognizing the machines that could infer. 4. Being able to classify computation from several perspectives. 5. Knowing the generalized computational models.
Pre-requisite(s)		-
Required Facilities		Library access is required. A computer for daily use is beneficial.
Other		-
Textbook		James L. Hein, “Discrete Structures, Logic, and Computability”, 4th ed., Jones & Bartlett Learning, 2017. (ISBN: 978-1-284-07040-8)
Other References		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)

Courses

Help

About