This class is taught in English as part of the Master 1 Informatique of the University Côte d'Azur.

**I semester**, 3 ECTS.

**Previous Editions:**
2022-2023,
2021-2022,
2020-2021,
2019-2020,
2018-2019.

**Instructor:**
Prof. Andrea G. B. Tettamanzi.

Date |
Subject |

Wednesday, September 6, 2023, 9:00-12:00 |
Propositional Logic
Exercises, Correction |

Tuesday, September 12, 2023, 9:00-12:00 |
Predicate Logic
Exercises |

Friday, September 22, 2023, 14:00-17:00 |
Natural Deduction
Exercises |

Tuesday, September 26, 2023, 14:00-17:00 |
Unification
and Resolution
Exercises |

Tuesday, October 3, 2023, 9:00-12:00 |
Fuzzy Logic
Exercises |

Tuesday, October 10, 2023, 9:00-12:00 |
Possibility Theory
Exercises (Correction) |

Tuesday, October 17, 2023, 9:00-12:00 |
Belief Revision and Update
Exercises (Correction) |

Tuesday, October 24, 2023, 9:00-12:00 |
Argumentation Theory
Exercises (Correction) |

Date |
Description |

Tuesday, November 7, 2023, 8:00-10:00 | Final Written Test |

TBA.

The slides used in class may be downloaded by clicking on the title of the corresponding lecture.

TBA.

The final grade is computed as the average of three individual grades:

- attendance and participation;
- class assignments;
- final written test.

*Last Updated on November 3, 2023*