Official Lectures Time and Location:
Tuesday 8:30 - 10:30, Faculty of Science, room A107 POVO1 (new building)
Friday 14:00 - 16:00, Faculty of Science, room 105 (PC room) (now on in room 202)
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
21-09
A107
FAUSTO
Course description.
The concept of "logical modeling".
Classical Logic: Propositional logic (short overview).
Classical Logic: First-order logic (short overview).