THEOREMS IN LOGIC 1
(objectives)
To acquire a good knowledge of first order logic and its fundamental theorems.
|
Code
|
20710016 |
Language
|
ITA |
Type of certificate
|
Profit certificate
|
Credits
|
6
|
Scientific Disciplinary Sector Code
|
MAT/01
|
Contact Hours
|
-
|
Laboratory Hours
|
36
|
Type of Activity
|
Core compulsory activities
|
Derived from
|
20410451 LM410 -THEOREMS IN LOGIC 1 in Mathematics LM-40 (professor to define)
|
Dates of beginning and end of teaching activities
|
From to |
Attendance
|
not mandatory
|
|