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.
[modifier]
![Image logo indiquant les ressources](../I/Postscript-viewer.svg.png.webp)
[]
Objectifs
![image logo](../I/Question_book-2.svg.png.webp)
modifier ces 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](../I/Question_book-2.svg.png.webp)
Niveau et prérequis conseillés
![Image logo](../I/Question_book-2.svg.png.webp)
modifier ces prérequis.
Cours de niveau 14. Les prérequis conseillés sont :
- aucun
![Image logo](../I/Question_book-2.svg.png.webp)
![Image logo indiquant les ressources](../I/Sciences_humaines.svg.png.webp)
Personne n'a créé cette section.
[]
Référents
![Image logo](../I/Question_book-2.svg.png.webp)
modifier les référents.
Ces contributeurs sont prêts à vous aider concernant ce cours :
- Psychoslave
![Image logo](../I/Question_book-2.svg.png.webp)
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.