Informatika
Oblasti informatike
Matematičke osnove[uredi | uredi izvor]
Teorija grafikona
Temelji podatkovnih struktura i pretraživačkih algoritama.
Matematička logika
Booleova algebra i drugi načini modeliranja logičkih upita.
Teorija tipova
Formalna analiza tipova podataka, te korištenje tih tipova u svrhu razumijevanja programa, posebno sigurnosti.
Teorija računanja[uredi | uredi izvor]
Glavna stranica: Teorija računanja
Teorija automata
Različite logičke strukture za rješavanje poteškoća.
Teorija računanja
Određuje šta je izračunljivo od strane računara. Zakone koje su razvili Alan Turing i ostali nude prikaz mogućnosti šta je moguće izračunati a šta ne.
Teorija računske kompleksnosti
Osnove vezane za klase izračunavanja, posebno kod vremena i prostora pohranjivanja.
Algoritmi i podatkovne strukture[uredi | uredi izvor]
Analiza algoritama
Vrijeme i prostor kompleksnosti algoritama.
Algoritam
Formalni logički procesi korišteni za izračunavanje i efikasnost procesa.
Podatkovne strukture
Raspored i pravila za rad sa podacima.
Genetički algoritmi
Genetički algoritmi su pretraživačka tehnika pomoću koje se pronalazi približno rješenje za optimizacijske probleme.
Dodaj komentar |
0 Trekbekovi