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

Share this