Turingova mašina, primitivno rekurzivne funkcije, rekurzivne funkcije, enumeracija, univerzalne funkcije, odlučivost, neodlučivost, parcijalna odlučivost, rekurzivni i rekurzivno nabrojivi skupovi, svodljivost i stepeni, teoreme rekurzije. Izračunljivost, klase složenosti, odnos između klasa složenosti, svođenje i kompletnost, NP-kompletni problemi, coNP-kompletni problemi, randomizovano izračunavanje, kriptografija. Algoritmi u bioinformatici. Poravnavanje nizova, skriveni Markovski lanci (HMM), skriveni Markovski modeli, poravnavanje sa (HMM), višestruko poravnavanje nizova, filogenetska stabla, transformacione gramatike, analiza strukture RNA. Sadržaj ovog predmeta će se usklađivati sa oblastima naučnih istraživanja na fakultetu i najaktuelnijim zbivanjima u oblasti algoritama.
2955-odabrana-poglavlja-iz-algoritama