Logika višeg reda i sustav Isabelle (CROSBI ID 361215)
Ocjenski rad | magistarski rad (mr. sc. i mr. art.)
Podaci o odgovornosti
Ban Kirigin, Tajana
Rosenzweig, Dean
hrvatski
Logika višeg reda i sustav Isabelle
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.
Logika višeg reda; semantika; dokazivatelj teorema
nije evidentirano
engleski
Higher-order logic and system Isabelle
nije evidentirano
Higher-order logic; semantic; theorem prover
nije evidentirano
Podaci o izdanju
81
09.07.2004.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Prirodoslovno-matematički fakultet, Zagreb
Zagreb