Refreshing course in Matrix Calculus
Exercise session built on top of first pages of course material on Linear Algebra by Zico Kolter (updated by Chuong Do).
Exercises
Useful material and links
- Graphical method for matrix multiplication by Esteban Marquer.
Formalismes et Représentations de Raisonnements
When in need of discussing mathematical arguments, it is crucial for people to understand
and agree upon what they are talking about. The aim of this course is to walk the students
through major mathematical logic formalisms. The course is organised in two parts: a first
part (re)introducing propositional logic and logical resolution through algorithms
(Shortest-Clause search, forward chaining, backward chaining), and a second part
presenting predicate logic along with proofs in natural deduction. The course contains
many exercise discussions during class time, so students get to master logical formula
transformations such as conversion in conjunctive normal form (CNF), substitution of
variables and unification of terms.
Supports de cours
- Transparents du premier cours.
- Feuille d’algorithmes.
- Transparents du deuxième cours.
- Transparents du troisième cours.
- Transparents pour le 4ème cours.
- Présentation de l’algorithme d’unification écrite par Maxime Guillaume.
- Transparents du 5ème cours.
- Devoir Maison (à rendre pour le 25/03/2019)
- Transparents du 6ème cours.
- Règles d’inférence de la déduction naturelle.
- Transparents du 7ème cours.
- Resolution en logique des predicats.
Sujets d’examens (années passées)
Liens et lectures utiles
- Logicomix, Apóstolos Doxiádis et Christos Papadimitriou : pour ceux que l’histoire de la logique intéresse.
- Logique & Raisonnement — e-penser : une introduction à la logique en vidéo.
Web Semantics
Exercises
Assignment
- Homework assignment: due on May the 3rd, either to be handed in with the exam, or to be send by email to W. Babonnaud and M. Boritchev.
Useful links and readings
- Logique et raisonnement, Michel Freund : une présentation très complète et synthétique de la logique mathématique, à destination des non-mathématiciens (in French)
- An Introduction to Description Logic, textbook by Carsten Lutz, Franz Baader, Ian Horrocks, and Ulrike Sattler: contains exercises with solutions (be careful, notations might differ from the ones used in the course)
- An example of an execution of the NextClosure algorithm: https://www.coursera.org/lecture/formal-concept-analysis/next-closure-through-an-example-k07N7
