Česky | English Přihlásit se

Naše akce - Seminář SIAM SC - Další akce

Karel Chvalovský - Pár slov o automatickém dokazování

Kdy: 14/01/2014 12:20
Kde: Seminární místnost KNM
Mnoho slavných matematiků a filosofů snilo o obecném mechanickém postupu k řešení problémů. Díky klasickým výsledkům matematické logiky víme, že takový postup neexistuje. I přesto se můžeme pokoušet řešit řadu problémů (polo)automaticky pomocí tzv. automatický dokazovačů. Cílem mé přednášky je poskytnout krátký úvod do této oblasti.