Approfondissement des notions de logique et programmation logique

Approfondissement des notions de logique et programmation logique

Faculté d'Informatique

Département
Informatique théorique

Scolarité
Licence MI
Licence d'informatique

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.

[] 

 Leçons

La liste des leçons de ce cours n'a pas été ajoutée. Pour le faire, cliquez ici.

[]

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.

ces objectifs

Niveau et prérequis conseillés

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

• aucun

ces prérequis

 Voir aussi

Personne n'a créé cette section.

[]

Référents

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

• Psychoslave

cette liste