crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 484995

Disertacija

Autor: Ban Kirigin, Tajana
Naslov: Logika višeg reda i sustav Isabelle
( Higher-order logic and system Isabelle )
Vrsta: magistarski rad
Fakultet: Prirodoslovno-matematički fakultet, Matematički odjel
Sveučilište: Sveučilište u Zagrebu
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: HRV
Znanstvena područja:
Matematika
Puni text rada: 484995.magisterij_TBK.pdf (tekst priložen 23. Stu. 2011. u 14:46 sati)
Upisao u CROSBI: bank@uniri.hr (bank@uniri.hr), 5. Lis. 2010. u 09:20 sati



Verzija za printanje   za tiskati


upomoc
foot_4