Seminar za logiku, 30. septembar 2011.
- 26. Septembar, 2011
- Komentari (0)
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.
Komentari(0)