Naslov
Logika višeg reda i sustav Isabelle
(Higher-order logic and system Isabelle)

Autori
Ban Kirigin, Tajana

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, magistarski rad

Fakultet
Prirodoslovno-matematički fakultet, Matematički odjel

Mjesto
Zagreb

Datum
09.07

Godina
2004

Stranica
81

Mentor
Rosenzweig, Dean

Ključne riječi
Logika višeg reda; semantika; dokazivatelj teorema
(Higher-order logic; semantic; theorem prover)

Sažetak
Ovaj je rad podijeljen u dva dijela. Prvi od njih odnosi se na logiku drugog reda. Uvode se sintaksa i standardna semantika kako bi pokazali gubitak najvećih rezultata koji vrijede za logiku prvog reda. Uvodi se i nestandardna semantika logike drugog reda u kojoj spomenuti rezultati vrijede. Deduktivnim sustavima upoznajemo se s dokazivanjem. Pokazuje se redukcija logike višeg reda na logiku drugog reda. Drugi dio odnosi se na Isabelle, generički dokazivatelj teorema koji implementira logiku višeg reda. Njenom sintaksom i semantikom formaliziraju se razne objektne logike. Pokazuje se korektnost i potpunost reprezentacije logike prvog reda. Zatim se prelazi na dokazivanje pomoću Isabelle. Prezentiraju se neki koraci u dokazivanju te deduktivne metode.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika

POVEZANOST RADA