Napredna pretraga

Pregled bibliografske jedinice broj: 484995

Logika višeg reda i sustav Isabelle


Ban Kirigin, Tajana
Logika višeg reda i sustav Isabelle 2004., magistarski rad, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb


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


Ustanove
Fakultet strojarstva i brodogradnje, Zagreb,
Sveučilište u Rijeci - Odjel za matematiku

Autor s matičnim brojem:
Tajana Ban-Kirigin, (229313)