Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi

Logika višeg reda i sustav Isabelle (CROSBI ID 361215)

Ocjenski rad | magistarski rad (mr. sc. i mr. art.)

Ban Kirigin, Tajana Logika višeg reda i sustav Isabelle / Rosenzweig, Dean (mentor); Zagreb, Prirodoslovno-matematički fakultet, Zagreb, . 2004

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

Povezanost rada

Matematika