INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnell

Livres BTS
Stéphane Desvismes, Pascal Lafourcade, Michel Lévy

Date de parution

28/02/2012

Editeur

Ellipses

Niveau scolaire

Enseignement supérieur

Voir les caractéristiques

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.

Caractéristiques
Auteur(s)	Stéphane Desvismes, Pascal Lafourcade, Michel Lévy
EAN	9782729872298
Catégorie produits	universitaire
Rayon	Livre\|Savoirs\|Sciences et techniques\|Mathématiques, Livre\|Scolaire et parascolaire\|Scolaire et soutien scolaire\|BTS\|Mathématiques
Titre de l'œuvre	Informatique théorique
Matières Scolaires	Mathématiques
Format	Broché
Date de parution	28/02/2012
Nombre de pages	209
ISBN	978-2-7298-7229-8
Collection	Technosup
Distributeur	Ellipses-Edition Marketing SA
Dimensions (cm)	18 x 26 x 1.4
Editeur	Ellipses
Poids du produit	423 g
Niveau scolaire	Enseignement supérieur
Libellé	INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A
Thème CLIL	INFORMATIQUE