Teaching - Università Roma Tre

LM410 - MATHEMATICAL LOGIC 1 (objectives)

Code

20402119

Language

ITA

Type of certificate

Profit certificate

Credits

Scientific Disciplinary Sector Code

MAT/01

Contact Hours

Type of Activity

Elective activities

Derived from	20710016 THEOREMS IN LOGIC 1 in Philosophy L-5 ABRUSCI VITO MICHELE (syllabus) • PROVABILITY AND SATISFIABILITY, TRANSFORMATION (REDUCTION) OF PROOFS • COMPACTNESS THEOREM FOR FIRST-ORDER LOGIC • COMPLETENESS THEOREM FOR FIRST-ORDER LOGIC • CUT-ELIMINATION THEOREM FOR FIRST-ORDER LOGIC (reference books) V. Michele Abrusci, Lorenzo Tortora de Falco: LOGICA Volume 1 Dimostrazioni e modelli al primo ordine. Springer, 2014
Dates of beginning and end of teaching activities	From 01/10/2016 to 20/12/2016
Delivery mode	Traditional
Attendance	not mandatory
Evaluation methods	Oral exam