Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odsjek
vrijeme:
12.12.2016 - 17:00 - 18:30 Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 12.
prosinca 2016. u 17 sati, u predavaonici 104, PMF-MO, Zvonimir Šikić će
održati predavanje
Relacija logičke posljedice
Sažetak: Kako definirati relaciju logičke posljedice, koja je razlika
između singularne i multiplarne relacije, kako ih karakterizirati, zašto je
multiplarna potpuna a singularna nije, koja je veza s uređajem i
topologijom, što su sustavi dokazivanja i kada su potpuni, što su logičke
konstante.
Tin Perkov