{"id":353,"date":"2018-07-09T17:01:17","date_gmt":"2018-07-09T15:01:17","guid":{"rendered":"http:\/\/members.loria.fr\/MBoritchev\/?page_id=353"},"modified":"2019-01-16T15:38:43","modified_gmt":"2019-01-16T13:38:43","slug":"2017-2018","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/MBoritchev\/2017-2018\/","title":{"rendered":"2017-2018"},"content":{"rendered":"<h2>Formalismes et Repr\u00e9sentations de Raisonnements<\/h2>\n<p>When 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, forward chaining, backward chaining), and a second part<br \/>\npresenting predicate logic along with proofs in natural deduction. The course contains<br \/>\nmany exercise discussions during class time, so students get to master logical formula<br \/>\ntransformations such as conversion in conjunctive normal form (CNF), substitution of<br \/>\nvariables and unification of terms.<\/p>\n<h3>Sujets d&rsquo;examens<\/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<\/ul>\n<h2>Technology and Innovation<\/h2>\n<h3>Couse material<\/h3>\n<h3>Useful links<\/h3>\n","protected":false},"excerpt":{"rendered":"<p>Formalismes et Repr\u00e9sentations de Raisonnements<\/p>\n<p>When 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, forward chaining, backward chaining), and a second part<br \/>\npresenting predicate logic along with proofs in natural deduction. The course contains<br \/>\nmany exercise discussions during class time, so students get to master logical formula<br \/>\ntransformations such as conversion in conjunctive normal form (CNF),<\/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-353","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages\/353","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=353"}],"version-history":[{"count":6,"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages\/353\/revisions"}],"predecessor-version":[{"id":394,"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages\/353\/revisions\/394"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/media?parent=353"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}