Naslovnica Pretraživanje AAA
IZBORNIK PREDMETA
 
GLAVNI IZBORNIK
 
 
MATEMATIČKA LOGIKA I IZRAČUNLJIVOST
Šifra: 61648
ECTS: 4
Nositelji: izv. 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 nastaveUkupno
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:
  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
1. semestar
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Automatika
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Elektroenergetika
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Elektroničko i računalno inženjerstvo
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Elektronika
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Elektrotehnički sustavi i tehnologija
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Obradba informacija
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Programsko inženjerstvo i informacijski sustavi
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Računalno inženjerstvo
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Računarska znanost
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Radiokomunikacijske tehnologije
Predmeti matematike, fizike i prirodoslovlja - Redovni profil - Telekomunikacije i informatika
Termini konzultacija:
OBAVIJESTI
Objavljeno: 09.11.2016. u 12:30

1. DZ je objavljena.

 

Rješenja DZ predajte na međuispitu.

Siniša Miličić
FORUM
Sortiraj prema: naslovu | vremenu zadnjeg odgovora | vremenu otvaranja teme
Naslov Odgovori Zadnji odg.
ČESTA PITANJA
REPOZITORIJ
 
REPOZITORIJ
 
Repozitorij je prazan
ANKETA
 
Na ovoj stranici trenutno nije odabrana niti jedna anketa!