[{"command":"insert","method":null,"selector":".course-modal-ajax-placeholder-949311","data":"\u003Cdiv class=\u0022container content-rte\u0022\u003E\n \u003Cdiv class=\u0022row\u0022\u003E\n \u003Cdiv class=\u0022box col-md-6 bg-primary text-white\u0022\u003E\n \u003Ch2 class=\u0022h1 text-left\u0022\u003E Logique pour l\u0026#039;Informatique\n\u003C\/h2\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EECTS :\n 5\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ESemester:\n Semestre 1\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ED\u00e9tail du volume horaire\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ELecture:\u003C\/span\u003E\n \u003Cspan\u003E18\u003C\/span\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003EDirected study:\u003C\/span\u003E\n \u003Cspan\u003E24\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ELangue d\u0026#039;enseignement\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003EFran\u00e7ais\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EEnseignement \u00e0 distance\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003Enon\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022box col-md-6\u0022\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EPr\u00e9requis\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003ELes bases du calcul propositionnel (tables de v\u00e9rit\u00e9 des connecteurs logiques).\u003Cbr\u003E\nLes bases du raisonnement math\u00e9matique (d\u00e9finitions, \u00e9nonc\u00e9, preuves).\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EProgramme \/ plan \/ contenus\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003ELe programme du cours est le suivant :\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003ELangage logique (calul propositionnel et calcul des pr\u00e9dicats), mod\u00e9lisation \u00e0 l\u0027aide de la logique.\u003C\/li\u003E\n\u003Cli\u003ESyst\u00e8mes de r\u00e8gles logiques pour construire des preuves.\u003C\/li\u003E\n\u003Cli\u003ETermes : signature, preuve par r\u00e9currence structurelle, d\u00e9finition r\u00e9cursive de fonctions.\u003C\/li\u003E\n\u003Cli\u003ECalcul des pr\u00e9dicats : syntaxe, variables libres et li\u00e9es, s\u00e9mantique, \u00e9quivalence.\u003C\/li\u003E\n\u003Cli\u003EMod\u00e8le, mod\u00e8le de Herbrand\u003Cbr\u003E\nExemples de th\u00e9ories :\u003C\/li\u003E\n\u003Cli\u003ED\u00e9monstration automatique, formes normales, r\u00e9solution, s\u00e9quents.\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EObjectifs d\u0026#039;apprentissage\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003EL\u2019objectif du cours est de se familiariser avec le formalisme de la logique du premier ordre. La logique est utilis\u00e9e pour mod\u00e9liser des probl\u00e8mes informatiques et comme outil de sp\u00e9cification de contraintes sur des objets informatiques comme des bases de donn\u00e9es ou des programmes. Ce cours aborde les notions de d\u00e9monstration, de validit\u00e9, le lien entre les objets physiques (syntaxe) et le sens qu\u0027on leur donne (s\u00e9mantique). Il pr\u00e9sente plusieurs techniques de d\u00e9monstration automatique comme le calcul des s\u00e9quents et la r\u00e9solution. Il met en pratique un certain nombre d\u2019outils math\u00e9matiques utilis\u00e9s en informatique, comme les d\u00e9finitions r\u00e9cursives de fonctions, les preuves par r\u00e9currence structurelle ou les d\u00e9finitions par r\u00e8gle d\u0027inf\u00e9rence.\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EOrganisation g\u00e9n\u00e9rale et modalit\u00e9s p\u00e9dagogiques\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003E\u003Cp\u003EUE est organis\u00e9e de mani\u00e8re classique avec des s\u00e9ances de cours et exercices en classe enti\u00e8re suivies de s\u00e9ance de TD. Quelques activit\u00e9s d\u0027apprentissage autonome en ligne sont propos\u00e9es. L\u0027\u00e9valuation repose sur un partiel et un examen final.\u003C\/p\u003E\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003Cdiv class=\u0022field-spacing\u0022\u003E\n \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ENature de l\u0026#039;\u00e9valuation\u003C\/div\u003E\n \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n \u003Cspan\u003EEvaluation Continue non Int\u00e9grale\u003C\/span\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n \u003C\/div\u003E\n\u003C\/div\u003E\n","settings":null}]