A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Catégories
> sciences naturelles > mathématiques > logique mathématique > logique des propositions
logique des propositions
12362405
Synonyme(s)
calcul propositionnel; calcul des propositions
Ajouter le résultat dans votre panier Affiner la recherche
Introduction à la logique mathématique / P. S. Novikov (1964)
Titre : Introduction à la logique mathématique Type de document : texte imprimé Auteurs : P. S. Novikov, Auteur Editeur : Paris : Dunod Année de publication : 1964 Collection : Collection universitaire de mathématiques Catégories : logique des prédicats
logique des propositions
logique mathématiqueIndex. décimale : 517.11 Logique mathématique des propositions Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 58152 517.11/NOV/i Ouvrage Bibliothèque CERIA Libre accès / Documentaires Disponible Logique mathématique / Stephen C. Kleene (1971)
Titre : Logique mathématique Type de document : texte imprimé Auteurs : Stephen C. Kleene, Auteur Editeur : Paris : Armand Colin Année de publication : 1971 Collection : U, épistémologie Catégories : logique des prédicats
logique des propositions
logique mathématiqueIndex. décimale : 517.11 Logique mathématique des propositions Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 29677 517.11/KLE/l Ouvrage Bibliothèque CERIA Libre accès / Documentaires Disponible Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori (2003)
Titre : Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar, Auteur Editeur : Paris : Dunod Année de publication : 2003 Collection : Mathématiques ISBN/ISSN/EAN : 2-10-005452-x Catégories : algèbre de Boole
logique des prédicats
logique des propositions
logique mathématique
théorème de complétudeIndex. décimale : 517.11 Logique mathématique des propositions Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 111830 517.11/COR/l1 Ouvrage Bibliothèque CERIA Libre accès / Documentaires Disponible Logique mathématique : textes / Jean Largeault (1972)
Titre : Logique mathématique : textes Type de document : texte imprimé Auteurs : Jean Largeault, Auteur Editeur : Paris : Armand Colin Année de publication : 1972 Collection : U, épistémologie Catégories : logique des propositions
logique mathématiqueIndex. décimale : 517.11 Logique mathématique des propositions Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 42029 517.11/LAR/l Ouvrage Bibliothèque CERIA Libre accès / Documentaires Disponible Logique à trois valeurs, logique à seuil / Michel Carvallo (1968)
Titre : Logique à trois valeurs, logique à seuil Type de document : texte imprimé Auteurs : Michel Carvallo, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1968 Collection : Mathématiques économiques num. 5 Catégories : algèbre
algèbre trivalente
fonction
logique des propositions
logique mathématique
treillisIndex. décimale : 512 Algèbre Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9846 512/CAR/l Ouvrage Bibliothèque CERIA Libre accès / Documentaires Disponible Notions sur les grammaires formelles / Maurice Gross (1967)
PermalinkPrincipes et applications de l'analyse booléenne / Michel Carvallo (1970)
Permalink
Campus du CERIA, bâtiment 4a, 2ème étage | Avenue E. Gryzon 1, 1070 Anderlecht
Téléphone : 02/526.70.90 | Courriel :bibliotheque@spfb.brussels
Téléphone : 02/526.70.90 | Courriel :bibliotheque@spfb.brussels
TIPOS Consulting Haute École Lucia de Brouckère CERIA pmb