{"id":432,"date":"2019-09-13T15:22:26","date_gmt":"2019-09-13T13:22:26","guid":{"rendered":"http:\/\/members.loria.fr\/MBoritchev\/?page_id=432"},"modified":"2020-05-06T17:39:07","modified_gmt":"2020-05-06T15:39:07","slug":"2019-2020","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/MBoritchev\/2019-2020\/","title":{"rendered":"2019-2020"},"content":{"rendered":"<h2>Formalismes et Repr\u00e9sentations de Raisonnements<\/h2>\n<div><\/div>\n<div>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.<\/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\/2020\/01\/FRRNotes_de_cours1.pdf\">Transparents du 1er cours<\/a> : pour la prochaine fois, faire l&rsquo;exercice s. 15, finir l&rsquo;exercice s. 18.<\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/01\/FRRNotes_de_cours2.pdf\">Transparents du 2\u00e8me cours<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/01\/Feuille-d\u2019algorithmes.pdf\">Feuille d\u2019algorithmes<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/01\/FRRNotes_de_cours1.pdf\">Transparents du 3\u00e8me cours<\/a> : pour la prochaine fois, faire l&rsquo;exercice s. 15, finir l&rsquo;exercice s. 51.<\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/FRRNotes_de_cours4.pdf\">Transparents du 4\u00e8me cours<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/FRRNotes_de_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\/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\/2020\/02\/DM-2020.pdf\">Devoir Maison facultatif<\/a> : \u00e0 rendre le 02\/03\/20.<\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/exemple-unification.pdf\">Exemple d&rsquo;unification<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/FRRNotes_de_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\/2020\/03\/FRRNotes_de_cours7-prevision.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\/2020\/03\/regles-inference-deduction-naturelle.pdf\">R\u00e9gles d&rsquo;inference de la deduction naturelle<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/FRRNotes_de_cours8.pdf\">Transparents du 8\u00e8me cours<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/FRRNotes_de_cours9-prevision.pdf\">Transparents du 9\u00e8me cours<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/resolution-predicats.pdf\">Exemple : r\u00e9solution en logique des predicats<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/feuille-de-triche.pdf\">Feuille de rappels :<\/a> algorithme de cha\u00eenage avant, algorithme d&rsquo;unification, r\u00e8gle de r\u00e9solution en logique des pr\u00e9dicats, tableau des correspondances pour la mise sous forme normale pr\u00e9nexe.<\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/Feuille-exercices-substitution.pdf\">Feuille d&rsquo;exercices : substitution<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/deduction-naturelle-quantification.pdf\">Feuille d&rsquo;exercice et correction : deduction naturelle avec quantification<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/exercices-corriges-substitution.pdf\">Substitution : <\/a><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/exercices-corriges-substitution.pdf\">exercices et corrig\u00e9s<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/04\/DM-eval-sujet1.pdf\">Devoir d&rsquo;\u00e9valuation &#8211; sujet 1<\/a> : ce sujet est \u00e0 rendre pour les personnes dont les trois premi\u00e8res lettres du nom de famille se situent entre <b>ADJ<\/b> et <b>DEC<\/b> (compris).<\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/04\/DM-eval-sujet1.pdf\">Devoir d&rsquo;\u00e9valuation &#8211;<\/a><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/04\/DM-eval-sujet2.pdf\"> sujet 2<\/a> : ce sujet est \u00e0 rendre pour les personnes dont les trois premi\u00e8res lettres du nom de famille se situent entre <b>DUM<\/b> et <b>LEF<\/b> (compris).<\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/04\/DM-eval-sujet1.pdf\">Devoir d&rsquo;\u00e9valuation &#8211; <\/a><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/04\/DM-eval-sujet3.pdf\">sujet 3<\/a> : ce sujet est \u00e0 rendre pour les personnes dont les trois premi\u00e8res lettres du nom de famille se situent entre <b>MIN<\/b> et <b>QUE<\/b> (compris).<\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/04\/DM-eval-sujet1.pdf\">Devoir d&rsquo;\u00e9valuation &#8211; <\/a><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/04\/DM-eval-sujet4.pdf\">sujet 4<\/a> : ce sujet est \u00e0 rendre pour les personnes dont les trois premi\u00e8res lettres du nom de famille se situent entre <b>REM<\/b> et <b>ZLA<\/b> (compris).<\/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 2018<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/correction-exam-2018.pdf\">Correction examen final 2018<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2018\/11\/rattrapage2018.pdf\">Rattrapage 2018<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/01\/exam2019.pdf\">Examen final 2019<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2020\/03\/rattrapage2019.pdf\">Rattrapage 2019<\/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><\/h2>\n<h2>Research methodology<\/h2>\n<p>This course is designed to help students in their academic professional\u00a0 integration. The first part\u00a0 introduces the French research system (organisation in EPST; means of funding, where and how to find one, post-graduation prospects, etc.). The second part of the course goes through bibliographic research (where and how to research, citation rules, plagiarism risks) and the task of writing scientific reports, posters, presentations.<\/p>\n<p>The slides are an adaptation of <a href=\"https:\/\/sites.google.com\/site\/laurebuhry\/\">Laure Buhry<\/a>&lsquo;s ones from the previous editions of this course.<\/p>\n<h3>Slides<\/h3>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/MBoritchev\/wp-content\/blogs.dir\/177\/files\/sites\/177\/2019\/09\/Research_methodology.pdf\">Research methodology &amp; French research system<\/a><\/li>\n<\/ul>\n<h3>Assessment<\/h3>\n<ul>\n<li>Oral presentation and slides handout. 30 minutes presentations (20 min + 10 min of questions) about research systems in different countries. 6 to 8 groups of 1 to 3 people each.<\/li>\n<\/ul>\n<h3>Useful materials and links<\/h3>\n<ul>\n<li>A place where all your questions about LaTeX will find answers: <a href=\"https:\/\/tex.stackexchange.com\/\">https:\/\/tex.stackexchange.com\/<\/a><\/li>\n<li>A table-generation tool in LaTeX, HTML and others: <a href=\"https:\/\/www.tablesgenerator.com\/\">https:\/\/www.tablesgenerator.com\/<\/a><\/li>\n<li>If you don&rsquo;t know how to TeX that symbol: <a href=\"http:\/\/detexify.kirelabs.org\/classify.html\">http:\/\/detexify.kirelabs.org\/classify.html<\/a><\/li>\n<li>LaTeX templates for any situation in your life: <a href=\"https:\/\/www.latextemplates.com\/\">https:\/\/www.latextemplates.com\/<\/a><\/li>\n<li>A minimal introduction to the French research system: <a href=\"https:\/\/sciences.univ-amu.fr\/en\/research\/organization-of-french-research-systems\">https:\/\/sciences.univ-amu.fr\/en\/research\/organization-of-french-research-systems<\/a><\/li>\n<li>CNRS homepage: <a href=\"http:\/\/www.cnrs.fr\/en\">http:\/\/www.cnrs.fr\/en<\/a><\/li>\n<li>INRIA homepage: <a href=\"https:\/\/www.inria.fr\/en\/\">https:\/\/www.inria.fr\/en\/<\/a><\/li>\n<li>Typography: <a href=\"https:\/\/www.loveofgraphics.com\/typography\/typographic-rules-to-remember\/\">English<\/a>, <a href=\"http:\/\/www.schplaf.org\/kf\/VadeMecum_Memoire.php\">French<\/a>, <a href=\"https:\/\/www.mancko.com\/typography-punctuation\/en\/\">both<\/a><\/li>\n<li>What not to do in a presentation: <a href=\"https:\/\/www.youtube.com\/watch?v=KbSPPFYxx3o\">https:\/\/www.youtube.com\/watch?v=KbSPPFYxx3o<\/a><\/li>\n<li>An on-line spell checker for English: <a href=\"http:\/\/www.reverso.net\/spell-checker\/english-spelling-grammar\/\">http:\/\/www.reverso.net\/spell-checker\/english-spelling-grammar\/<\/a><\/li>\n<li>To help you translate your thoughts: <a href=\"https:\/\/www.deepl.com\/\">https:\/\/www.deepl.com\/<\/a><\/li>\n<li>Some positive advice for presentations &amp; posters: <a href=\"http:\/\/www.winlp.org\/winlp-2019-workshop\/poster-slides-tips\/\">http:\/\/www.winlp.org\/winlp-2019-workshop\/poster-slides-tips\/<\/a><\/li>\n<li>How to communicate with professors: <a href=\"https:\/\/www.affordablecollegesonline.org\/college-resource-center\/communicating-with-professors\/\">https:\/\/www.affordablecollegesonline.org\/college-resource-center\/communicating-with-professors\/<\/a> (thank you to <a href=\"https:\/\/faculty.washington.edu\/ebender\/index.html\">Emily M. Bender<\/a> for this one)<\/li>\n<li>How to write an academic resume\/CV: <a href=\"https:\/\/gradschool.cornell.edu\/academic-progress\/pathways-to-success\/prepare-for-your-career\/take-action\/resumes-and-cvs\/\">https:\/\/gradschool.cornell.edu\/academic-progress\/pathways-to-success\/prepare-for-your-career\/take-action\/resumes-and-cvs\/<\/a><\/li>\n<li>How to use LaTeX as a linguist: <a href=\"https:\/\/en.wikibooks.org\/wiki\/LaTeX\/Linguistics\">https:\/\/en.wikibooks.org\/wiki\/LaTeX\/Linguistics<\/a><\/li>\n<li>How to pluralize acronyms in English: <a href=\"https:\/\/www.wikihow.com\/Pluralize-Abbreviations,-Acronyms,-and-Initialisms#References\">https:\/\/www.wikihow.com\/Pluralize-Abbreviations,-Acronyms,-and-Initialisms#References<\/a><\/li>\n<\/ul>\n<p>Feel free to send me any suggestions for this list!<\/p>\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 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), <\/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-432","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages\/432","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=432"}],"version-history":[{"count":22,"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages\/432\/revisions"}],"predecessor-version":[{"id":491,"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/pages\/432\/revisions\/491"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/MBoritchev\/wp-json\/wp\/v2\/media?parent=432"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}