Official Lectures Time and Location:
Tuesday 14:30 - 16:30, Faculty of Science, room A107 POVO1 (new building)
Friday 14:30 - 16:30, Faculty of Science, room A205 POVO1 (new building)
Please always check latest news in home page!
There might be some variations.
SYLLABIUS
Slides and handouts will be put
online some days after each lesson.
Date
Room
Lecturer
Topic
Slides
20-09
A107
FAUSTO
Course description.
The concept of "logical modeling".
Classical Logic: Propositional logic (short overview).
Classical Logic: First-order logic (short overview).