jelenagr@matf.bg.ac.rs
line decor
Ćirilična verzija
line decor

 



AKTUELNO



Septembar 2 2017 - rezultati

Septembar 2017 - rezultati

Kolokvijum 2017 - rezultati
Uvid u radove: sreda 10.05.2017. 12:50-...(716). Ako ne stignete, onda uvid mozete imati i bilo kad u pauzi mojih casova.


SADRŽAJ (po dvočasima i poglavljima)

čas 1: Pravila zaključivanja i tehnike dokazivanja u iskaznoj i predikatskoj logici iskazna logika  logika prvog reda   tehnike dokazivanja
čas 2, 3: Matematička indukcija podsećanje  rekurentne relacije   Dokazivanje korektnosti algoritma
čas 4: Matematička indukcija konstrukcija algoritama  dinamičko programiranje  
čas 5: Dinamičko programiranje nastavak 
čas 6: Dinamičko programiranje uporedjivanje nizova 
čas 7: Grafovi topološko sortiranje  najkraći put  stablo razapinjanja minimalne cene 
čas 8: Grafovi all shortest paths 
čas 9: Algebarski i numerički algoritmi stepenovanje  Euklidov algoritam  Mnozenje polinoma i FFT  
čas 10: Redukcije i NP Redukcije  zadaci  NP problemi  NP problemi - zadaci

 

AKTUELNO


Jelena Hadži Purić - naslovna Programiranje 1