Pregled bibliografske jedinice broj: 1100681
Osnove matematičke logike
Osnove matematičke logike
Split: Filozofski fakultet Sveučilišta u Splitu, 2016
CROSBI ID: 1100681 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Osnove matematičke logike
(Fundamentals of mathematical logic)
Autori
Baranović, Nives
Vrsta obrazovnog materijala
Online predavanje (visokoškolsko obrazovanje)
Izdavač
Filozofski fakultet Sveučilišta u Splitu
Grad
Split
Godina
2016
Stranica
17
Ključne riječi
sud ; logičke opercije ; predikati ; kvantifikatori ; tautologija
(statement ; logical operations ; predicates ; quantifiers ; tautology)
Sažetak
U radu se uvodi osnovna terminologija i simbolika matematičke logike te se kroz brojne primjere razvija logičko zaključivanje i primjena logičkih operacija. Vodi se računa o povezivanju govornog jezika i simboličkog zapisa kroz elemenate matematičke logike te o razvijanju vještina argumentiranog komuniciranja matematičkim znanjima o sudovima.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika