|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Matematika II
|
|
|
|
|
|
|
|
|
Opće informacije
|
|
Naziv kursa
|
Matematika II
|
|
|
Oznaka (šifra) predmeta
|
|
|
|
Studij
|
Avanti Bologna; III i IV semestar; Odsjek za Računarstvo i informatiku
|
|
|
Broj sati predavanja
|
|
|
|
Broj sati auditornih vježbi
|
|
|
|
Broj sati laboratorijskih vježbi
|
|
|
|
|
|
|
|
Nastavni ansambl
|
|
Nastavnik:
|
V. prof. dr Hasnija Šamić
|
|
|
Saradnici:
|
mr Azem Dautović, dr Nedžad Dukić, doc. dr Haris Šupić
|
|
|
|
|
|
|
Program kursa
|
|
Cilj kursa - Znanje i vještine koje treba postići student
|
|
|
|
|
|
|
|
|
|
Program
|
|
|
Logika : Osnovi formalne logike,
Logika: uvod u formalnu logiku, račun iskaza, predikatski račun prvog reda,
formalni dokazi u predikatskom računu, modalna logika, fuzzy logika. Formalni jezici i
automati: formalna gramatika i jezici, automati, Turing mašina, Church-Turing teza.
Teorija kompleksnosti: Vrijeme i prostro. Teorija izračunjivosti.
Numerička matematika : osnovne ideje i metode numeričke matematike, rješavanje
jednačina (sistemi linearnih i nelinearnih jednačina), stav o nepokretnoj tački, inverzija i
određivanje sopstvenih vrijednosti matrice, aproksimacija i interpolacija, metode najmanjih
kvadrata, numeričko diferenciranje i integrisanje, numeričko rješavanje običnih
diferencijalnih i parcijalnih jednačina, granični problemi, stabilnost rješenja.
Statističke metode : osnovi teorije vjerovatnoće, slučajne veličine, osnovi matematičke
statistike, metode Monte Karlo.
|
|
|
|
|
|
|
Didaktičke metode
|
|
|
|
|
|
|
|
|
|
Način provjere znanja
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Literatura
|
|
Preporučena
|
|
|
|
|
|
|
|
|
|
Dopunska
|
|
|
|
|
|
Napomene
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
© University of Sarajevo - Faculty of Electrical Engineering Sarajevo
Faculty of Electrical Engineering Sarajevo, Zmaja od Bosne bb, Kampus Univerziteta u Sarajevu, BA-71000 Sarajevo
Tel: ++387 33 250 700; Fax: ++387 33 250 725; Email: etf@etf.unsa.ba
|
|
|
|
