|
Šifra:
|
61648
|
|
ECTS:
|
4
|
Nositelji:
|
Prof. dr. sc.
Mladen Vuković
|
Prijava ispita:
|
Studomat
|
Engleski jezik:
0,0,0
|
Nastavnik nije u mogućnosti ponuditi nastavu na engleskom jeziku.
|
|
Opterećenje:
|
| Vrsta nastave | Ukupno |
| Predavanja |
45 |
* Opterećenje je izraženo u školskim satima (1 školski sat = 45 minuta)
|
Opis predmeta:
|
Kolegij se sastoji od tri dijela. U prvom dijelu obrađuje se klasična logika sudova. Naglasak je na razlikovanju sintakse i semantike, te prvi dio služi kao uvod i motivacija za drugi dio u kojem se razmatra logika prvog reda. U tom dijelu se posebno ističe neodlučivost logike prvog reda, te se naglašava nužnost definicije pojma algoritma. U trećem dijelu razmatraju se osnove teorije izračunljivosti. Kao osnovni model izračunavanja razmatraju se RAM-strojevi. Definira se klasa parcijalno rekurzivnih funkcija, te dokazuje da je jednaka klasi svih RAM-izračunljivih funkcija. To je motivacija za iskazivanje Churchove teze.
|
Literatura:
|
- Matematička logika; Mladen Vuković; Element, Zagreb; 2009; ISBN: 978-953-197-519-3
- Izračunljivost; Mladen Vuković; web-izdanje; 2007
- Mathematical Logic, Part I; R. Cori, D. Lascar; Oxford University Press; 2000; ISBN: 0 19 850048 3
- Introduction to the Theory of Computation; M. Sipser; PWS Pub. Company;1997.; 1997; ISBN: 0-534-94728-X
- Recursion Theory; J. R. Shoefield; Springer-Verlag; 1993; ISBN: 3-540-57093-4
|
|
1. semestar
|
Predmeti matematike, fizike i prirodoslovlja
-
profil
Automatika
Predmeti matematike, fizike i prirodoslovlja
-
profil
Elektroenergetika
Predmeti matematike, fizike i prirodoslovlja
-
profil
Elektroničko i računalno inženjerstvo
Predmeti matematike, fizike i prirodoslovlja
-
profil
Elektronika
Predmeti matematike, fizike i prirodoslovlja
-
profil
Elektrotehnički sustavi i tehnologija
Predmeti matematike, fizike i prirodoslovlja
-
profil
Obradba informacija
Predmeti matematike, fizike i prirodoslovlja
-
profil
Programsko inženjerstvo i informacijski sustavi
Predmeti matematike, fizike i prirodoslovlja
-
profil
Računalno inženjerstvo
Predmeti matematike, fizike i prirodoslovlja
-
profil
Računarska znanost
Predmeti matematike, fizike i prirodoslovlja
-
profil
Radiokomunikacijske tehnologije
Predmeti matematike, fizike i prirodoslovlja
-
profil
Telekomunikacije i informatika
|
|