Семинар за логику, 30. септембар 2011.

• 26. Септембар, 2011
• Коментари (0)

Састанак Семинара за логику одржаће се у петак, 30. септембра у 16:15, на Математичком институту, сала 301ф.

Предавач: Сава Крстић, Intel Strategic CAD Labs,

Наслов предавања: Логика у индустрији

Садржај: Коректност микропроцесора и других сложених хардверских система је огроман проблем који се решава (непотпуно и несавршено) огромним улагањем људског и рачунарског времена. Математика ту помаже и циљ нам је да у овом уводном предавању покажемо како. Причаћемо о прављењу математичких модела као и о њиховој формалној анализи и верификацији.