(objectives)
AN INTRODUCTION TO RESEARCH THEMES CONNECTING LOGIC, COMPUTATION AND COGNITION.
|
Code
|
20710114 |
Language
|
ITA |
Type of certificate
|
Profit certificate
|
Credits
|
6
|
Scientific Disciplinary Sector Code
|
MAT/01
|
Contact Hours
|
36
|
Type of Activity
|
Related or supplementary learning activities
|
Teacher
|
MAIELI ROBERTO
(syllabus)
formal languages and models of computations
(reference books)
lectures notes
|
Dates of beginning and end of teaching activities
|
From 25/02/2019 to 18/05/2019 |
Delivery mode
|
Traditional
|
Attendance
|
not mandatory
|
Evaluation methods
|
Written test
Oral exam
A project evaluation
|
|