1. komponenta

Vrsta nastave	Ukupno
Predavanja	45

* Opterećenje je izraženo u školskim satima (1 školski sat = 45 minuta)

CILJ KOLEGIJA: Studente osposobiti za:
- upotrebu temeljnih koncepata izračunljive analize
- rješavanje problema koji uključuju izračunljivost, analizu i topologiju

NASTAVNI SADRŽAJI:
- Osnovni i složeniji primjeri iz izračunljivosti u analizi i motivacija za pojam rekurzivnog broja.
- Rekurzivne realne funkcije. Rekurzivne racionalne funkcije, rekurzivne realne funkcije, primjeri.
- Rekurzivni brojevi. Primjeri, karakterizacija rekurzivnih brojeva, primjeri nerekurzivnih brojeva.
- Izračunljive funkcije realne varijable. Nizovna izračunljivost, efektivna uniformna neprekidnost, primjeri, svojstva, Kleenijevo stablo, izračunljive funkcije bez rekurzivnih nultočaka.
- Izračunljivost u euklidskom prostoru. Izračunljivi skupovi, izračunljivo prebrojivi skupovi, koizračunljivo prebrojivi skupovi, svojstva.
- Izračunljivi metrički prostori. Motivacija, primjeri, svojstva, izračunljivi skupovi, izračunljivo prebrojivi skupovi, koizračunljivo prebrojivi skupovi, izračunljivost na kompaktnim skupovima.

Upis predmeta :
Odslušan : Izračunljivost

Polaganje predmeta :
Položen : Izračunljivost

Izborni predmet 3, 4, 5, 6 - Redovni Studij - Računarstvo i matematika

Izborni predmet 3, 4, 5, 6 - Redovni Studij - Računarstvo i matematika