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

 



AKTUELNO



Konsultacije: 19.04.2018. od 10 h u RLABu

Pre 1. domaćeg zadataka - uputstvo za pristup platformi petlja.org
Prvi domaći zadatak - bilten sa rešenjima


SADRŽAJ (po dvočasima i poglavljima)
Uvod
č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
konstrukcija algoritama
čas 4: Dinamičko programiranje uvod
čas 5: Dinamičko programiranje nastavak  uporedjivanje nizova 
čas 6: Grafovi
topološko sortiranje 
Samo informativno: Uvod u planiranje - mrezni dijagram
čas 7: Grafovi 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  
FFT (C++ implementacija)
FFT - dva ispitna zadatka
Zadaci za razmišljanje
čas 10: Redukcije i NP Redukcije  zadaci 

 

AKTUELNO


Jelena Hadži Purić - naslovna Paralelni algoritmi