Logique

Logique

  • ECTS

    4 crédits

  • Composante

    Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)

  • Volume horaire

    39h

Description

Cet enseignement comporte deux parties : la logique des propositions et la logique des prédicats.

Pour chaque partie, nous présentons le langage, la théorie des modèles  (sémantique), la théorie de la preuve (axiomatique), et enfin la démonstration automatique : l’algorithme de balayage, pour la logique des propositions et la méthode de résolution par réfutation pour la logique des prédicats.

Nous abordons des exemples de spécifications, l’étude de la satisfiabilité et la validité des formules, les formes normales (conjonctive, disjonctive, Skolem, Clausale), ainsi que la méthode de résolution (facteur, résolvante).

Lire moins

Objectifs

À la fin de cette UE, vous serez capable de :

  • Étudier la satisfiabilité et la validité d’une formule en logique des proposition ou en logique des prédicats,
  • Transformer une formule en forme Normale Conjonctive/Disjonctive ou Clausale,
  • Appliquer la méthode de résolution pour étudier la validité d’une formule en logique des prédicats.
Lire moins

Heures d'enseignement

  • Logique - CMCours Magistral21h
  • Logique - TDTravaux Dirigés18h

Contrôle des connaissances

100% Contrôle Continu Intégral. 

Lire moins

Compétences acquises

Compétences

Niveau d'acquisition

Exploitation de données à des fins d’analyseAnalyser et synthétiser des données complexes en vue de leur exploitation informatique.2 - Application
Identifier, sélectionner et analyser avec esprit critique diverses ressources dans son domaine de spécialité pour documenter un sujet et synthétiser ces données en vue de leur exploitation2 - Application
Analyse d'un questionnement en mobilisant des concepts disciplinairesAnalyser et interpréter les résultats produits par l'exécution d'un programme: terminaison, test , complexité 2 - Application
Mise en œuvre de méthodes et d'outils du champ disciplinaireExpliquer et documenter la mise en œuvre d'une solution Informatique.2 - Application
Mettre en œuvre des méthodes d'analyse pour concevoir des modèles de données et des algorithmes à partir d'un cahier des charges partiellement défini.1 - Notion
Caractériser le rôle des tests et des preuves de correction dans le développement des logiciels et mettre en œuvre des tests élémentaires et des invariants de boucle2 - Application
Caractériser les outils logiques et algébriques fondamentaux (théorie des langages et de la compilation, logique et raisonnement, ordres, induction) et leurs implications dans la programmation et la modélisation.3 - Maitrise
Appliquer des approches raisonnées de résolution de problèmes complexes : modèle formel d'un problème, réduction et complétude de problèmes1 - Notion