{"id":361,"date":"2018-10-15T13:37:43","date_gmt":"2018-10-15T11:37:43","guid":{"rendered":"http:\/\/members.loria.fr\/MBoritchev\/?page_id=361"},"modified":"2019-05-28T12:12:31","modified_gmt":"2019-05-28T10:12:31","slug":"2018-2019","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/MBoritchev\/2018-2019\/","title":{"rendered":"2018-2019"},"content":{"rendered":"<h2>Refreshing course in Matrix Calculus<\/h2>\n<p>Exercise session built on top of first pages of course material on <a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/linear_algebra.pdf\">Linear Algebra<\/a> by Zico Kolter (updated by Chuong Do).<\/p>\n<h3>Exercises<\/h3>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/exercises.pdf\">Exercise Set<\/a><\/li>\n<\/ul>\n<h3>Useful material and links<\/h3>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/Graphical_method_for_matrix_multiplication.pdf\">Graphical method for matrix multiplication<\/a> by Esteban Marquer.<\/li>\n<\/ul>\n<h2>Formalismes et Repr\u00e9sentations de Raisonnements<\/h2>\n<div>When in need of discussing mathematical arguments, it is crucial for people to understand<\/div>\n<div>and agree upon what they are talking about. The aim of this course is to walk the students<\/div>\n<div>through major mathematical logic formalisms. The course is organised in two parts: a first<\/div>\n<div>part (re)introducing propositional logic and logical resolution through algorithms<\/div>\n<div>(Shortest-Clause search, forward chaining, backward chaining), and a second part<\/div>\n<div>presenting predicate logic along with proofs in natural deduction. The course contains<\/div>\n<div>many exercise discussions during class time, so students get to master logical formula<\/div>\n<div>transformations such as conversion in conjunctive normal form (CNF), substitution of<\/div>\n<div>variables and unification of terms.<\/div>\n<h3>Supports de cours<\/h3>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/01\/FRR-Cours1.pdf\">Transparents du premier cours.<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/01\/cheat_sheet1.pdf\">Feuille d&rsquo;algorithmes.<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/01\/FRR-Cours2.pdf\">Transparents du deuxi\u00e8me cours.<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/02\/FRRCours3.pdf\">Transparents du troisi\u00e8me cours.<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/02\/FRRNotes_de_cours-COURS4.pdf\">Transparents pour le 4\u00e8me cours.<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/01\/unification.pdf\">Pr\u00e9sentation de l&rsquo;algorithme d&rsquo;unification<\/a> \u00e9crite par Maxime Guillaume.<\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/02\/FRRNotes_de_cours-COURS5.pdf\">Transparents du 5\u00e8me cours.<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/02\/DM.pdf\">Devoir Maison<\/a> (\u00e0 rendre pour le 25\/03\/2019)<\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/02\/FRRNotes_de_cours-COURS6.pdf\">Transparents du 6\u00e8me cours.<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/02\/regles_inference.pdf\">R\u00e8gles d&rsquo;inf\u00e9rence de la d\u00e9duction naturelle.<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/03\/FRRNotes_de_cours-COURS7.pdf\">Transparents du 7\u00e8me cours.<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/03\/reso_frr.pdf\">Resolution en logique des predicats.<\/a><\/li>\n<\/ul>\n<h3>Sujets d&rsquo;examens (ann\u00e9es pass\u00e9es)<\/h3>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/exam_blanc.pdf\">Examen blanc<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/exam2018.pdf\">Examen final<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/rattrapage2018.pdf\">Rattrapage<\/a><\/li>\n<\/ul>\n<h3>Liens et lectures utiles<\/h3>\n<ul>\n<li><a href=\"https:\/\/www.logicomix.com\/\"><em>Logicomix<\/em><\/a>, Ap\u00f3stolos Doxi\u00e1dis et Christos Papadimitriou : pour ceux que l&rsquo;histoire de la logique int\u00e9resse.<\/li>\n<li><a href=\"https:\/\/www.youtube.com\/watch?v=_yEHa6dIKgg\">Logique &amp; Raisonnement &#8212; e-penser<\/a> : une introduction \u00e0 la logique en vid\u00e9o.<\/li>\n<\/ul>\n<h2>Web Semantics<\/h2>\n<h3>Exercises<\/h3>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/03\/Web_semantics_TDs.pdf\">Tutorial n\u00b01<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/03\/Web_semantics_TD2.pdf\">Tutorial n\u00b02<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/04\/Web_semantics_TD3.pdf\">Tutorial n\u00b03<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/04\/Web_semantics_TD4.pdf\">Tutorial n\u00b04<\/a><\/li>\n<\/ul>\n<h3>Assignment<\/h3>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/04\/DM.pdf\">Homework assignment<\/a>: 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.<\/li>\n<\/ul>\n<h3>Useful links and readings<\/h3>\n<ul>\n<li><em>Logique et raisonnement<\/em>, Michel Freund : une pr\u00e9sentation tr\u00e8s compl\u00e8te et synth\u00e9tique de la logique math\u00e9matique, \u00e0 destination des non-math\u00e9maticiens (in French)<\/li>\n<li><em>An Introduction to Description Logic<\/em>, 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)<\/li>\n<li>An example of an execution of the NextClosure algorithm: <a href=\"https:\/\/www.coursera.org\/lecture\/formal-concept-analysis\/next-closure-through-an-example-k07N7\">https:\/\/www.coursera.org\/lecture\/formal-concept-analysis\/next-closure-through-an-example-k07N7 <\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Refreshing course in Matrix Calculus<\/p>\n<p>Exercise session built on top of first pages of course material on <a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/linear_algebra.pdf\">Linear Algebra<\/a> by Zico Kolter (updated by Chuong Do).<\/p>\n<p>Exercises<\/p>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/exercises.pdf\">Exercise Set<\/a><\/li>\n<\/ul>\n<p>Useful material and links<\/p>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/Graphical_method_for_matrix_multiplication.pdf\">Graphical method for matrix multiplication<\/a> by Esteban Marquer.<\/li>\n<\/ul>\n<p>Formalismes et Repr\u00e9sentations de Raisonnements<br \/>\nWhen in need of discussing mathematical arguments, it is crucial for people to understand<br \/>\nand agree upon what they are talking about. The aim of this course is to walk the students<br \/>\nthrough major mathematical logic formalisms. The course is organised in two parts: a first<br \/>\npart (re)introducing propositional logic and logical resolution through algorithms<br \/>\n(Shortest-Clause search, <\/p>\n","protected":false},"author":160,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-361","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages\/361","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/users\/160"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/comments?post=361"}],"version-history":[{"count":22,"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages\/361\/revisions"}],"predecessor-version":[{"id":431,"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages\/361\/revisions\/431"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/media?parent=361"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}