Seminar za logiku, 30. septembar 2011.

Sastanak Seminara za logiku održaće se u petak, 30. septembra u 16:15, na Matematičkom institutu, sala 301f.

Predavač: Sava Krstić, Intel Strategic CAD Labs,

Naslov predavanja: Logika u industriji

Sadržaj: Korektnost mikroprocesora i drugih složenih hardverskih sistema je ogroman problem koji se rešava (nepotpuno i nesavršeno) ogromnim ulaganjem ljudskog i računarskog vremena. Matematika tu pomaže i cilj nam je da u ovom uvodnom predavanju pokažemo kako. Pričaćemo o pravljenju matematičkih modela kao i o njihovoj formalnoj analizi i verifikaciji.



Ostavite vaš komentar:


(opciono)
(nece biti prikazano)