prikaz prve stranice dokumenta Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova
  Preuzmi
PDF 412.84 KB
završni rad
Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova
Rijeka: Sveučilište u Rijeci, Filozofski fakultet u Rijeci, 2017. urn:nbn:hr:186:449855
Kunović, Dora
Sveučilište u Rijeci
Filozofski fakultet
Odsjek za filozofiju

Institucijski repozitorij: Repozitorij Filozofskog fakulteta Rijeka

Citirajte ovaj rad

Kunović, D. (2017). Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova (Završni rad). Rijeka: Sveučilište u Rijeci, Filozofski fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović, Dora. "Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova." Završni rad, Sveučilište u Rijeci, Filozofski fakultet, 2017. https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović, Dora. "Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova." Završni rad, Sveučilište u Rijeci, Filozofski fakultet, 2017. https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović, D. (2017). 'Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova', Završni rad, Sveučilište u Rijeci, Filozofski fakultet, citirano: 28.11.2024., https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović D. Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova [Završni rad]. Rijeka: Sveučilište u Rijeci, Filozofski fakultet; 2017 [pristupljeno 28.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:186:449855

D. Kunović, "Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova", Završni rad, Sveučilište u Rijeci, Filozofski fakultet, Rijeka, 2017. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:186:449855

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:186:449855
Podaci o radu
NaslovDokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova
Naslov (engleski)The Proof of the Consistency Theorem in Natural Deduction System and in the Axiomatic System
AutorDora Kunović
MentorMajda Trobok (mentor)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Rijeci
Filozofski fakultet
(Odsjek za filozofiju)
Rijeka
Datum i država obrane2017-09-18, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		HUMANISTIČKE ZNANOSTI
Filozofija
Sažetak
Ovaj se rad bavi dokazom meta-teorema adekvatnosti za logiku sudova. Sustavi u kojima će se dokazivati sam meta-teorem adekvatnosti prirodna su dedukcija i račun sudova. Na samom početku bit će predstavljen povijesni pregled sustava računa sudova, kao i sustava prirodne dedukcije. Nakon toga bit će govora općenito o simboličkoj logici. U tom će se dijelu ukratko prikazati logika sudova, razlika između sintakse i semantike u logici sudova te će daljnji fokus biti na samoj sintaksi. Nadalje, pomnije će se predstaviti sustav prirodne dedukcije i račun sudova gdje će se posebno prikazati svako pravilo izvoda kao i aksiomi koji se vežu uz račun sudova. Zatim će se spomenuti osnovno o meta-teoremima potpunosti i adekvatnosti te će se prijeći na samu srž rada, a to je dokaz meta-teorema adekvatnosti za prirodnu dedukciju te za račun sudova.
Ključne riječi
Jezikhrvatski
URN:NBNurn:nbn:hr:186:449855
Studijski programNaziv: Filozofija (dvopredmetni)
Vrsta studija: sveučilišni
Stupanj studija: preddiplomski
Akademski / stručni naziv: sveučililišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) filozofije (univ. bacc. phil.)
Studijski programNaziv: Engleski jezik i književnost (dvopredmetni)
Vrsta studija: sveučilišni
Stupanj studija: preddiplomski
Akademski / stručni naziv: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) engleskoga jezika i književnosti (univ. bacc. philol. angl.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2017-10-24 09:25:08