Teaching - Università Roma Tre

THEOREMS IN LOGIC 1 (objectives)

Code

20710016

Language

ITA

Type of certificate

Profit certificate

Credits

Scientific Disciplinary Sector Code

M-FIL/02

Contact Hours

Type of Activity

Core compulsory activities

Teacher	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