Wikiversité

Approfondissement des notions de logique et programmation logique

Approfondissement des notions de logique et programmation logique

Ce cours aborde les points suivants :

  • logique des propositions, algèbre de Boole et applications ;
  • théorie des ensembles ;
  • formalisation de problèmes et modes de raisonnement ;
  • logique des prédicats ;
  • systèmes formels et axiomatisation de la logique.
Objectifs

Les objectifs de ce cours sont :

  • maîtriser les concepts fondamentaux de logique, de formalisation et de raisonnement constituant le socle de base du travail en informatique.

image logo Modifier ces objectifs
Niveau et prérequis conseillés

Cours de niveau 14. Les prérequis conseillés sont :

  • aucun

Image logo Modifier ces prérequis

Référents

Ces personnes sont prêtes à vous aider concernant ce cours :


Image logo Modifier cette liste

Récupérée de « https://fr.wikiversity.org/w/index.php?title=Approfondissement_des_notions_de_logique_et_programmation_logique&oldid=536898 »