LM420 - THEOREMS IN LOGIC 2
(objectives)
To support the students into an in-depth analysis of the main results of first order classical logic and to study some of their remarkable consequences
|
Code
|
20410190 |
Language
|
ITA |
Type of certificate
|
Profit certificate
|
Credits
|
7
|
Scientific Disciplinary Sector Code
|
MAT/01
|
Contact Hours
|
60
|
Type of Activity
|
Related or supplementary learning activities
|
Derived from
|
20710122 THEOREMS IN LOGIC, 2 in Philosophical Sciences LM-78 TORTORA DE FALCO LORENZO
|
Dates of beginning and end of teaching activities
|
From to |
Attendance
|
not mandatory
|
|