Svojstva klasične logike (CROSBI ID 745445)
Druge vrste radova | ostalo
• Obrazovni materijal (nedefinirano )
Podaci o odgovornosti
Kovač, Srećko
hrvatski
Svojstva klasične logike
Izlaže se gradivo za naprjedni kolegij logike koje uključuje svojstva jezika logike prvoga reda, pouzdanost i potpunost deduktivnoga sustava logike prvoga reda, Churchov poučak o neodlučljivosti logike prvoga reda, Peanovu aritmetiku i Gödelove poučke o nepotpunosti, logiku višega reda i njezina svojstva. Kao podsjetnik dodan je i sažet opis logike prvoga reda.
logički jezik; deduktivni sustav; pouzdanost; potpunost; odlučljivost; nepotpuinost; logika višega reda
nije evidentirano
engleski
Properties of Classical Logic
nije evidentirano
logical language; deductive system; soundness; completeness; decidability; incompleteness; nepotpuinost; higher-order logic
nije evidentirano
Podaci o izdanju
Zagreb: Hrvatski studiji Sveučilišta u Zagrebu
X, 128
2013.
nije evidentirano
objavljeno
978-953-7823-34-4