[{"command":"insert","method":null,"selector":".course-modal-ajax-placeholder-951715","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 renforc\u00e9e\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 d\u0027\u00e9tudier 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. Il aborde \u00e9galement quelques th\u00e9or\u00e8mes fondamentaux de la logique : compacit\u00e9, th\u00e9or\u00e8me de Herbrand, ...\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.\u0026nbsp;\u003C\/p\u003E\n\u003Cp\u003ELe contenu de base est commun avec le cours Logique pour l\u0027Informatique de 3\u00e8me ann\u00e9e de licence informatique avec des approfondissements propos\u00e9s aux \u00e9tudiants de licence double-dipl\u00f4me.\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}]