Open AccessJEDNAKOSNA LOGIKA
Author(s) -
Marko-Georgije Crvenković
Publication year - 2021
Publication title -
zbornik radova fakulteta tehničkih nauka/zbornik radova fakulteta tehničkih nauka
Language(s) - Bosnian
Resource type - Journals
eISSN - 2560-5925
pISSN - 0350-428X
DOI - 10.24867/15jv01crvenkovic
Subject(s) - theology , philosophy
Dati su osnovni pojmovi i teoreme logike prvog reda, kao i jednakosne logike. Navode se primeri jednakosnih klasa algebri. Osnovni model je Formalna teorija brojeva, data Peanovim aksiomama. Poseban deo rada je posvećen Srednjoškolskom problemu Tarskog i prikazan je elementaran deo dokaza. Takođe, data je skica dokaza čuvene teoreme nekompletnosti K. Gedela.