Logique (INFO501_INFO)

Plan du cours

Ce module a pour objectif de comprendre et de maîtriser les notions élémentaires de logique indispensables en informatique, que ce soit pour le génie logiciel (spécification et preuve de programmes, programmation logique), l’intelligence artificielle (représentation des connaissances, systèmes experts), les agents logiciels, le web sémantique, la recherche d’information, etc.

On s’attachera à distinguer ce qui d’une part relève du calcul de la valeur de vérité d’une formule et ce qui d’autre part relève du raisonnement. Dans les deux cas, on privilégiera les méthodes syntaxiques, c’est-à-dire les méthodes de réécriture de formules. Ces principes seront étudiés dans le cadre de la logique des propositions. Le cours se terminera par une introduction au calcul des prédicats.

 TD : Les Travaux Dirigés illustrent les principes vus en cours : calcul des équivalences, méthodes des arbres, déductibilité sémantique, déductibilité syntaxique (Gentzen, Résolution)

Volume horaire

  • CM : 6.0
  • TD : 9.0
  • TP : 12.0

Diplômes intégrant ce cours

En bref

Crédits ECTS : 3

Langue d'enseignement
Français

Contact(s)

UFR, Écoles, Instituts

Lieu(x)

  • Le Bourget-du-Lac (73)