15. siječnja 2025. / Perspektive
POVIJEST LOGIKE (3)
Logička korektnost, potpunost i kompaktnost. Gentzenov IF-sustav i Bethova semantička stabla
U trećem nastavku serijala o logici, Zvonimir Šikić fokusira se na pojmove logičke korektnosti, potpunosti i kompaktnosti, te predstavlja pravila i definicije za konstrukciju Bethovih semantičkih stabala.
Zvonimir Šikić
Velimir Grgić
Darko Polšek
Dario Hrupec
Zdenko Duka
Ivo Škorić
Hana Samaržija
Domagoj Juričić
Darko Oračić
Jadranka Pintarić