Leçons de niveau 14

Approfondissement des notions de logique et programmation logique

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
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

Ce cours est de niveau 14. Les prérequis conseillés sont :

  • aucun

Image logo modifier ces prérequis.
Référents

Ces contributeurs sont prêts à vous aider concernant ce cours :


Image logo modifier les référents.