Teaching - Università Roma Tre

TEORIE LOGICHE 1 - LM (objectives)

Code

20710091

Language

ITA

Type of certificate

Profit certificate

Credits

Scientific Disciplinary Sector Code

MAT/01

Contact Hours

Type of Activity

Related or supplementary learning activities

Teacher	ABRUSCI VITO MICHELE (syllabus) A) STRUCTURAL RULES EXPRESSED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGIC B) POSITIVE AND NEGATIVE: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC, LUDICS C) IMPLICIT COMPLEXITY AND LINEAR LOGIC D) GEOMETRY OF PROOFS: PROOF NETS IN LINEAR LOGIC E) INVARIANTS AND DEVELOPMENT OF INTERACTION OF PROOFS: COHERENT SPACES, GEOMETRY OF INTERACTION (reference books) V. MICHELE ABRUSCI, LEZIONI DI LOGICA LINEARE, 2018 (FORTH COMING)
Dates of beginning and end of teaching activities	From to
Delivery mode	Traditional
Attendance	not mandatory
Evaluation methods	Oral exam