Calendar and Material
CL-2020WelcomeNewsInstructionsCalendar and SlidesExamination and GradingAdditional MaterialsSyllabusQuestions and AnswersCollaboration OpportunitiesContacts
The course runs from Sep, 14, 2020 till Dec 15, 2020 with the following schedule:
- Mondays, 14:30-16:00
- Tuesdays, 9:00-10:30
The Zoom link for the video conference available on the Moodle platform at the University of Trento.
Interactive sessions are recorded and made available on the Internet for reference and support to other students. If you do not wish to be recorded, you can organize a meeting with one of the professors.
You might want to read the Instructions to understand how to take the course. (And the expression “you might want …” gets translated in Italian with: “รจ assolutamente necessario che …”.)
Notice also the titles and structure of the lessons yet to be delivered might change slightly . The rule of the thumb is: if there are links with materials, things won’t change; if there are no links to the materials, titles and content are just suggestions.
| Date | Starts at | Material to prepare | Content of lesson | Lesson Recording |
|---|---|---|---|---|
|
Mon 14/Sep/2020 |
14:30 | L1.T11.Introduction.Modeling (VIDEO) (PDF) | Rules and Resources | Lesson Recording |
|
Tue 15/Sep/2020 |
09:00 |
L2.T12.Introduction.Language (VIDEO) (PDF) L2.T13.Introduction.LogicalModeling (VIDEO) (PDF) L2.T14.Introduction.WhyLogic (VIDEO) (PDF) L2.X.1.Introduction.ExerciseOnModels (VIDEO) (PDF) |
Students prepare L2 | |
|
Mon 21/Sep/2020 |
14:30 | |||
|
Tue 22/Sep/2020 |
09:00 |
L3.T21.SetTheory.Introduction (VIDEO) (PDF) L3.T22.SetTheory.BasicNotions (VIDEO) (PDF) L3.T23.SetTheory.Relations (VIDEO) (PDF) L3.T24.SetTheory.Functions (VIDEO) (PDF) L3.T31.PL.Intuition (VIDEO) (PDF) L3.T32.PL.Language (VIDEO) (PDF) L3.X.1B.Introduction.ExerciseOnModels (VIDEO) (PDF) L3.X.25A.SetTheory.Exercises (VIDEO) (PDF) L3.X.25B.SetTheory.Exercises (VIDEO) (PDF) |
Q&A about lessons 1, 2, 3. | Lesson Recording |
|
Mon 28/Sep/2020 |
14:30 |
L4.T33.PL.Satisfiability (VIDEO) (PDF) L4.T34.PL.Validity.Unsat (VIDEO) (PDF) |
Q&A about lessons 2, 3, 4. | Lesson Recording |
|
Tue 29/Sep/2020 |
09:00 |
L5.T35.PL.LogCE (VIDEO) (PDF) L5.T35.PL.LogCE-Addendum (VIDEO) (PDF) L5.T36.PL.theories (VIDEO) (PDF) L5.T41.PL.Reasoning.TruthTables.Summary (VIDEO) (PDF) |
Q&A about lessons 3, 4, 5. | |
|
Mon 05/Oct/2020 |
14:30 |
L6.T42.PL.Reasoning.TruthTables.DecisionProblems (VIDEO) (PDF) L6.T43.PL.Reasoning.TruthTables.SATCNF (VIDEO) (PDF) L6.T44.PL.Reasoning.TruthTables.SATDPLL (VIDEO) (PDF) |
Q&A about lessons 4, 5, 6. | |
|
Tue 06/Oct/2020 |
09:00 |
L7.T51.PL.Reasoning.Deduction (VIDEO) (PDF) L7.T52.PL.Reasoning.Hilbert.calculus (VIDEO) (PDF) L7.T53.PL.Reasoning.Tableau (VIDEO) (PDF) |
Q&A about lessons 5, 6, 7. | |
|
Mon 12/Oct/2020 |
14:30 |
L8.X.1.PL.Exercises (VIDEO) (PDF) L8.X.1.PL.Exercises-Addenda (VIDEO) (PDF) L8.X.25C.SetTheory.Solutions (VIDEO) (PDF) |
Q&A about lessons 6, 7, 8. | Lesson Recording |
|
Tue 13/Oct/2020 |
09:00 |
L9.T71.FOL.Intuition (VIDEO) (PDF) L9.T72.FOL.Language (VIDEO) (PDF) |
Q&A about lessons 7, 8, 9. | |
|
Mon 19/Oct/2020 |
14:30 |
L10.T73.FOL.Interpretation.function (VIDEO) (PDF) L10.T74.FOL.SAT.wrt.assignment (VIDEO) (PDF) L10.T75.FOL.SAT2LE (VIDEO) (PDF) L10.T76.FOL.exercises (VIDEO) (PDF) L10.T77.FOL.Finite.Domains (VIDEO) (PDF) L10.T78.FOL.FOL.wrt.DB (VIDEO) (PDF) |
Q&A about lessons 8, 9, 10. | |
|
Tue 20/Oct/2020 |
09:00 |
L11.T81.FOL.Reasoning.Hilbert.calculus (VIDEO) (PDF) L11.T82.FOL.Reasoning.Tableau (VIDEO) (PDF) L11.T83.FOL.Reasoning.Tableau.corr.compl (VIDEO) (PDF) L11.T84.FOL.Reasoning.Tableau.examples (VIDEO) (PDF) L11.T85.FOL.Reasoning.Tableau.termination (VIDEO) (PDF) L11.T86.FOL.Reasoning.Tableau.countermodels (VIDEO) (PDF) |
Q&A about lessons 9, 10, 11. |
L10.Z.Lezione.Frontale (VIDEO) (PDF) L10.ZX.Lezione.Frontale (VIDEO) (PDF) Lesson Recording |
|
Mon 26/Oct/2020 |
14:30 | L12.X.FOL.Exercises (VIDEO) (PDF) | Q&A about lessons 10, 11, 12. | L11.Z.Lezione.Frontale (VIDEO) (PDF) Lesson Recording |
|
Fri 06/Nov/2020 |
10:00 | Mid-term | ||
|
Mon 09/Nov/2020 |
14:30 |
L13.T101.ML.Intuition (VIDEO) (PDF) L13.T102.ML.language (VIDEO) (PDF) L13.T103.ML.SAT (VIDEO) (PDF) L13.T104.ML.VAL2LE (VIDEO) (PDF) |
Q&A about lessons 11, 12, 13. | |
|
Tue 10/Nov/2020 |
09:00 |
L14.T111.ML-K.More.ModalK (VIDEO) (PDF) L14.T112.ML-K.More.Acces.relation (VIDEO) (PDF) L14.T113.ML-K.More.ModalKT (VIDEO) (PDF) L14.T114.ML-K.More.ModalKB (VIDEO) (PDF) L14.T115.ML-K.More.ModalKD (VIDEO) (PDF) L14.T116.ML-K.More.ModalKT4 (VIDEO) (PDF) L14.T117.ML-K.More.ModalKT5 (VIDEO) (PDF) |
Q&A about lessons 12, 13, 14. | |
|
Mon 16/Nov/2020 |
14:30 |
L15.T118.ML-K.More.MML (VIDEO) (PDF) L15.T119.ML-K.More.MMLKB (VIDEO) (PDF) L15.T121.Reasoning.Tableau (VIDEO) (PDF) |
Q&A about lessons 13, 14, 15. | Lesson Recording |
|
Tue 17/Nov/2020 |
09:00 |
L16.X.ML.Informal2Formal (VIDEO) (PDF) L16.X2.ML.Frames (VIDEO) (PDF) L16.X3.ML.Validity (VIDEO) (PDF) L16.X4.ML.ValidityII (VIDEO) (PDF) L16.X5.ML.ValidityIII (VIDEO) (PDF) L16.X6.ML.MoreFrames (VIDEO) (PDF) L16.X7.ML.Tableaux (VIDEO) (PDF) |
Q&A about lessons 14, 15, 16. | |
|
Mon 23/Nov/2020 |
14:30 |
L17.T141.DL.Introduction.Intuition (VIDEO) (PDF) L17.T142.DL.Introduction.2KG (VIDEO) (PDF) L17.T143.DL.Introduction.DL (VIDEO) (PDF) |
Q&A about lessons 15, 16, 17. | |
|
Tue 24/Nov/2020 |
09:00 |
L18.T151-2.DL.TBox-ABox.TBox.synt.sem (VIDEO) (PDF) L18.T153.DL.TBox-ABox.Terminology (VIDEO) (PDF) L18.T154.DL.TBox-ABox.TBox.reasoning (VIDEO) (PDF) L18.T155.DL.TBox-ABox.ABox.synt.sem (VIDEO) (PDF) L18.T156.DL.TBox-ABox.ABox.reasoning (VIDEO) (PDF) L18.T157.DL.TBox-ABox.CWA (VIDEO) (PDF) |
Q&A about lessons 16, 17, 18. | |
|
Mon 30/Nov/2020 |
14:30 |
L19.T161.DL.Tableaux.Reasoning.Intuition (VIDEO) (PDF) L19.T163.DL.Tableaux.Reasoning (VIDEO) (PDF) L19.T164.X.DL.Tableaux.Reasoning.TBox-examples (VIDEO) (PDF) L19.T165.X.DL.Tableaux.Reasoning.ABox-examples (VIDEO) (PDF) |
Q&A about lessons 17, 18, 19. | |
|
Tue 01/Dec/2020 |
09:00 |
L20.T171.X.DL.Applications.DB (VIDEO) (PDF) L20.T172.X.DL.Applications.ERModels (VIDEO) (PDF) L20.T173.X.DL.Applications.KG (VIDEO) (PDF) |
Q&A about lessons 18, 19, 20. | |
|
Mon 07/Dec/2020 |
14:30 |
L21.X.DL.KG2DL (VIDEO) (PDF) L21.X2.DL.I2F-and-Reasoning (VIDEO) (PDF) |
Q&A about lessons 19, 20, 21. | Lesson Recording |
|
Tue 08/Dec/2020 |
09:00 | |||
|
Mon 14/Dec/2020 |
14:30 | Q&A about final term | ||
|
Tue 15/Dec/2020 |
09:00 | Final term |