INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
  • INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)

INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)

Autor(en) : Lafourcade Pascal, Levy Michel, Devismes Stéphane
Technosup 28.02.2012
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués. Weiterlesen
Seiten : 216 Seiten
Sprache : Französisch
Format : 17,5 cm x 26 cm
Gewicht : 0,423 kg
Leseprobe Inhaltsverzeichnis ansehen
Buch
ISBN :  9782729872298
39,00€
Inkl. MwSt.
Print-on-Demand Erfahren Sie mehr über den Print-on-Demand-Service

Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.

Der Verlag empfiehlt außerdem

Buch
ISBN :  9782729872298
39,00€
Inkl. MwSt.
Print-on-Demand Erfahren Sie mehr über den Print-on-Demand-Service

Seitenanfang