0,0,0

Lecture type	Total
Lectures	45

* Load is given in academic hour (1 academic hour = 45 minutes)

The course is divided into three parts. In the first part we consider propositional logic. The main aim of the first part is to emphasize the difference between syntax and semantics. The first part is a motivation and introduction for the second part in that we study first-order logic. Specially considered is the undecidability of first-order logic, and a necessity of a formal definition of algorithm is emphasized. In the third part we study theory of computation. RAM-machines are considered as a basic model of computation. Then we define the class of partial recursive function, and prove that the class of partial recursive functions is equal to the class of RAM-computable functions. It is a motivation for Church thesis.

1. Matematička logika; Mladen Vuković; Element, Zagreb; 2009; ISBN: 978-953-197-519-3
2. Izračunljivost; Mladen Vuković; web-izdanje; 2007
3. Mathematical Logic, Part I; R. Cori, D. Lascar; Oxford University Press; 2000; ISBN: 0 19 850048 3
4. Introduction to the Theory of Computation; M. Sipser; PWS Pub. Company;1997.; 1997; ISBN: 0-534-94728-X
5. Recursion Theory; J. R. Shoefield; Springer-Verlag; 1993; ISBN: 3-540-57093-4

course for profile Computer Engineering
course for profile Computer Science
course for profile Control Engineering and Automation
course for profile Electrical Engineering Systems and Technologies
course for profile Electrical Power Engineering
course for profile Electronic and Computer Engineering
course for profile Electronics
course for profile Information Processing
course for profile Radio Communication Technologies
course for profile Software Engineering and Information Systems
course for profile Telecommunications and Informatics