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
algèbre de Boole | arithmétique binaire | logique des prédicats |
logique des propositions | logique matricielle | théorème de complétude |
logique mathématique
12362505
Synonyme(s)
logique formelleVoir aussi :
Ajouter le résultat dans votre panier Affiner la recherche
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. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori (2003)
Titre : Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : 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 : 978-2-10-005453-4 Catégories : arithmétique
logique mathématique
récursivité
théorèmes de Gödel
théorie des ensembles
théorie des modèlesIndex. décimale : 517.11 Logique mathématique des propositions Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 111196 517.11/COR/l2 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 Longtemps avant l'algèbre / Jérôme Gavin (2012)
PermalinkMathématique M 41 : 4es années d'études du secondaire, programmes (enseignement officiel) : 7 heures/semaines (ch. 1 à 8), 3e latin-mathématiques, 3e scientifiques A, 6 heures/semaine (ch. 1 à 7), degré d'orientation (4e année, option de base) / R. Lorent (1976)
PermalinkMathématique M 41 : conforme au programme 1983, 4ème année de l'enseignement secondaire (6 périodes hebdomadaires) / S. Lorent (1984)
PermalinkMathématique M 42 : 4es années d'études du secondaire, programmes (enseignement officiel) : 5 heures/semaine, 3e latin-sciences, 3e scientifiques B / S. Lorent (1976)
PermalinkMathématique M 51 : 5es années d'études du secondaire, programme (enseignement officiel) : 7 ou 8 périodes hebdomadaires / R. Lorent (1979)
PermalinkMathématique : mathématique 4e année (6 heures/semaine) / Werbrouck (1983)
PermalinkMathématique. Tome 1, classe de sixième : applications résolues, 1re partie / G. Bosteels (1968)
PermalinkMathématiques : algèbre / P. Thuillier (1978)
PermalinkLes mathématiques aujourd'hui (1984)
PermalinkMathématiques : classe de quatrième / C. Bréard (1962)
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