LM410 -THEOREMS IN LOGIC 1
(objectives)
To acquire a good knowledge of first order classical logic and its fundamental theorems
|
Code
|
20410451 |
Language
|
ITA |
Type of certificate
|
Profit certificate
|
Module: LM410 -THEOREMS IN LOGIC 1 - Module A
(objectives)
To acquire a good knowledge of first order classical logic and its fundamental theorems
|
Code
|
20410451-1 |
Language
|
ITA |
Type of certificate
|
Profit certificate
|
Credits
|
6
|
Scientific Disciplinary Sector Code
|
MAT/01
|
Contact Hours
|
32
|
Exercise Hours
|
16
|
Type of Activity
|
Core compulsory activities
|
|
|
Module: LM410 -THEOREMS IN LOGIC 1 - Module B
(objectives)
To acquire a good knowledge of first order classical logic and its fundamental theorems
|
Code
|
20410451-2 |
Language
|
ITA |
Type of certificate
|
Profit certificate
|
Credits
|
3
|
Scientific Disciplinary Sector Code
|
MAT/01
|
Contact Hours
|
16
|
Exercise Hours
|
8
|
Type of Activity
|
Core compulsory activities
|
|
|