Introduction à la logique mathématique/Post-notions

  • La logique est une branche très riche et complexe des mathématiques. Ce cours n'étant qu'une première initiation, il est nécessaire de consulter les ressources d'un niveau plus avancé pour plus de détails sur le formalisme et la philosophie de la logique.
Voir le cours Logique (mathématiques) (niveau 15) pour plus de détails.
  • La logique, en particulier les opérateurs de logique binaire, a des applications pratiques très importantes en électronique numérique. L'analogue de la logique mathématique en sciences de l'ingénieur s’appelle l'algèbre de Boole, et permet de développer des outils spécifiquement dédiés à l'optimisation de circuits électroniques.
Voir le cours Logique en sciences de l'ingénieur pour plus de détails.