Approfondissement des notions de logique et programmation logique

Faculté d'Informatique

Département
Informatique théorique


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.
Image logo indiquant les ressources Leçons
Aucune leçon concernant ce cours n'a été ajoutée. Pour le faire, cliquer 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.

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.
Image logo indiquant les ressources Voir aussi
Personne n'a créé cette section.
[]
Référents

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

  • Psychoslave

Image logo modifier les référents.
Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.