|
 |
|
|
|
|
ECTS:
|
4
|
Nositelji:
|
Doc. 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
|
predmet za
profil
Automatika
predmet za
profil
Elektroenergetika
predmet za
profil
Elektroničko i računalno inženjerstvo
predmet za
profil
Elektronika
predmet za
profil
Elektrotehnički sustavi i tehnologija
predmet za
profil
Obradba informacija
predmet za
profil
Programsko inženjerstvo i informacijski sustavi
predmet za
profil
Računalno inženjerstvo
predmet za
profil
Računarska znanost
predmet za
profil
Radiokomunikacijske tehnologije
predmet za
profil
Telekomunikacije i informatika
|
|
|
|
|
|
Odbijanje ocjene (za studente koji su prošli kolegij ali žele višu ocjenu) se može obaviti podnošenjem "zamolbe" kod tajnice zavoda do utorka u 13h.
Studenti koji nisu prošli kolegij ne moraju odbijati ocjenu.
|
Siniša Miličić
|
U ponedjeljak 23.01.2012. od 17 sati održat će se konzultacije u seminarskoj sobi kraj Zavoda za primijenjenu matematiku.
Mladen Vuković
|
mvukovic
|
U četvrtak 19. siječnja 2012. održat će se konzultacije od 16 do 17 sati.
Mladen Vuković
|
mvukovic
|
|
|
|
|
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
|
|
Repozitorij je prazan
|
|
|
|
|
Na ovoj stranici trenutno nije odabrana niti jedna anketa!
|
|