Naslov
Empiričko određivanje djelotvornosti sustava za dokazivanje teorema
(Empirical investigation of automated theorem provers efficiency)

Autori
Trokić, Kenan

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
15.02

Godina
1999

Stranica
88

Mentor
Bogunović, Nikola

Neposredni voditelj
Bogunović, Nikola

Ključne riječi
dokazivanje teorema; logika
(theorem provers; logic)

Sažetak
Bitna značajka svakog sustava za dokazivanje teorema (ATP) je njegova učinkovitost, iskazana kroz ukupan broj generiranih formula tijekom izvođenja dokaza. U radu je opisan izgrađen eksperimentalni sustav za provjeru djelotvornosti ATP-a na velikom broju zanimljivih i standardnih primjera iz zbirke Tisuće Problema za Dokazivanje Teorema (TPTP).

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA