Logique formelle
Autres leçons de mathématiques
Département
Fondements logiques et ensemblistes des mathématiques
Chapitres
Chap. 1 :Symbole icône indiquant que la page est à l'état d'ébauche Systèmes logiques (14)
Chap. 2 :Symbole icône indiquant que la page est à l'état d'ébauche Calcul des propositions (14)
Chap. 3 :Symbole icône indiquant que la page est à l'état d'ébauche Calcul des prédicats (14)
Chap. 4 :Symbole icône indiquant que la page est à l'état d'ébauche Théorie des modèles (14)
Interwikis

La logique est le domaine des mathématiques qui se rapproche le plus de la philosophie, elle est donc très sujette à controverses. Ce cours a pour but d'exposer tout d’abord la logique sous son jour le plus précis et le plus formel, pour expliquer ensuite comment rattacher cette théorie à celle de la vérité mathématique.

Objectifs

Les objectifs de cette leçon sont :

d'améliorer le raisonnement, l'écrit et le parler d'un individu.


image logo modifier ces objectifs.

Niveau et prérequis conseillés

Leçon de niveau 14. Les prérequis conseillés sont :

Les prérequis pour cette leçon n'ont pas encore été précisés. Pour le faire, cliquez ici.


Image logo modifier ces prérequis.


Référents

Ces contributeurs sont prêts à vous aider concernant cette leçon :

Personne ne s'est déclaré prêt à aider pour cette leçon. Pour vous ajouter, cliquez ici.


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.