Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Partie 1 p 4 Logique L Informatique Peter Habermehl Université Paris Diderot Sorbonne Paris Cité UFR Informatique Laboratoire LIAFA Peter Habermehl liafa univ-paris-diderot fr Peter Habermehl U Paris Diderot Logique janvier Modalités du cours Examen parti

Logique L Informatique Peter Habermehl Université Paris Diderot Sorbonne Paris Cité UFR Informatique Laboratoire LIAFA Peter Habermehl liafa univ-paris-diderot fr Peter Habermehl U Paris Diderot Logique janvier Modalités du cours Examen partiel obligatoire mi-mars Note ère session DM DM DM DM Si DM alors Note note partiel examen ?nal sinon Note min DM note partiel note examen note partiel examen ?nal Note session rattrapage Max exam rattrapage note partiel exam rattrapage Pendant le partiel et les examens les étudiants auront droit uniquement à la consultation de deux feuilles A recto-verso manuscrites et strictement personnelles Tous les autres documents ne seront pas autorisés Peter Habermehl U Paris Diderot Logique janvier Modalités du cours Chargés de TD début la semaine prochaine Groupe Amélie Gheerbrant Mercredi h - h Salle Sophie Germain Groupe Vlady Ravelomanana Lundi h - h Salle Sophie Germain Groupe Arnaud Sangnier Mercredi h - h Salle Sophie Germain Trois devoirs à la maison distribués pendant le cours et à rendre pendant le TD DM distribué la semaine du et à rendre la semaine du DM distribué la semaine du et à rendre la semaine du DM distribué la semaine du et à rendre la semaine du Les devoirs à la maison sont notés Peter Habermehl U Paris Diderot Logique janvier Documents du cours Transparents du cours http www liafa univ-paris-diderot fr haberm cours logique AVERTISSEMENT LES TRANSPARENTS NE CONTIENNENT PAS TOUT Tableau exemples et démonstrations Peter Habermehl U Paris Diderot Logique janvier CBibliographie Logique pour l ? info introduction à la déduction automatique S Cerrito VUIBERT Mathématiques pour l ? informatique A Arnold et I Guessarian MASSON Logique et fondements de l ? informatique R Lassaigne et M Rougemont HERMES Logic for Computer Scientists U Sch? ning BIRKHAUSER Logic for Computer Science J Gallier WILEY Disponible en ligne http www cis upenn edu jean gbooks logic html Logicomics A Doxiadis C Papadimitriou A Papadatos A Di Donna VUIBERT Peter Habermehl U Paris Diderot Logique janvier Notions préliminaires Plan du cours Rappels Induction ordres bien fondés dé ?nitions inductives principe d ? induction bien fondée preuves par induction Calcul propositionnel syntaxe sémantique tables de vérité Systèmes de preuves syntaxiques pour le calcul propositionnel Déduction naturelle Gentzen Résolution Correction et complétude Calcul des prédicats Syntaxe sémantique Uni ?cation et résolution Peter Habermehl U Paris Diderot Logique janvier Ensembles Dé ?nition Soient deux ensembles A B inclus dans U Univers L ? intersection de A et B est A ?? B e ?? U e ?? A et e ?? B L ? union de A et B est A ?? B e ?? U e ?? A ou e ?? B La di ?érence de A et B est A B e ?? U e ?? A et e ?? B Le complémentaire de A est A U A e ?? U e ?? A P A est l ? ensemble de toutes les parties sous-ensembles de l ? ensemble A Peter Habermehl U Paris Diderot Logique janvier Peter Habermehl U