Results 21 to 30 of about 793 (63)
The Proof of the Consistency Theorem in Natural Deduction System and in the Axiomatic System [PDF]
, 2017 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.
Kunović, Dora
core
Dokaz metateorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova [PDF]
, 2019 Ovaj se rad bavi dokazom metateorema adekvatnosti za logiku sudova. Sustavi u kojima će se dokazivati sam metateorem adekvatnosti prirodna su dedukcija i račun sudova.
Dora Kunović
core +1 more source
Web application for analysis of propositional logic formulas [PDF]
, 2018 Zadatak ovog rada je napraviti Internet aplikaciju za obradu formule logike sudova, pri čemu će aplikacija primiti kao unos formulu logike sudova te će kao rezultat izbaciti tablicu istine i interpretaciju formule.
Jurković, Damir
core
Pregled povijesti logike [PDF]
, 2013 Do sada neobjavljeni tekst iz rukopisne ostavštine Gaje Petrovića. Rukopis je za objavljivanje priredio Vinko Grgurev.
Gajo Petrović
core +1 more source
Constructivist approach to the concept of information [PDF]
, 2016 Jedno od temeljnih pitanja današnjice upravo je pitanje što je informacija. Iako postoje brojni autori koji postuliraju svoje teorije, još uvijek ne postoji općeprihvaćena definicija informacije. O njoj se počinje teoretizirati još sredinom 20.
Matijević, Marta
core
VLADIMIR DEVIDE - STAVOVI I RAZMIŠLJANJA O MATEMATICI [PDF]
, 2020 Ivana Roksandić
core +1 more source