Langue

Bibliothèque · RAG IA et base de connaissances

Logique

Manuels de logique formelle.

Bientôt disponible

GratuitMac, Windows et Linuxpar MOZGII, Inc.

À propos de Logique.

Ensembles, démonstrations, logique propositionnelle et du premier ordre, calculabilité et bien plus encore.

Idéal pour

  • Devoirs de logique
  • Techniques de démonstration
  • Philosophie des mathématiques

Source

Open Logic Project. License: CC BY 4.0.

Créé par MOZGII, Inc.

Vous aimerez aussi.

Nous utilisons des cookies

Nous collectons des données d'utilisation anonymes pour améliorer MOZGII. Aucune donnée n'est collectée sans votre autorisation. Politique de confidentialité · Politique de cookies