News Descrizione del corso Nei corsi dei primi anni si incontrano vari tipi di strutture: gruppi, anelli, campi, spazi vettoriali, etc. Molte tecniche utilizzate per il loro studio si rassomiglano e ci sono teoremi che si ripetono (es. teoremi di…
News (9/5/22) Pubblicate le date degli appelli estivi e invernale. Descrizione del corso Nei corsi di algebra dei primi anni si incontrano vari tipi di strutture: gruppi, anelli, campi, spazi vettoriali, etc. Molte tecniche utilizzate per il loto studio si…
News Descrizione del corso Nei corsi di algebra dei primi anni si incontrano vari tipi di strutture: gruppi, anelli, campi, spazi vettoriali, etc. Molte tecniche utilizzate per il loto studio si rassomiglano e ci sono teoremi che si ripetono (es.…
This year I teach a course (12 hours) a the AILA summer school of logic. Below one can find the slides of my first three lectures and some references. Lecture 1 (Classical propositional logic and Boolean algebras) Lecture 2 (Algebraic completeness of…
Course on Many-Valued Logics (Autumn 2014) This page concerns the course `Many-Valued Logics’, taught at the University of Amsterdam from September – October 2014. Contents of the page News Contents of the classes Course material Practicalities Grading and homework assignments Course Description and…