A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Détail de l'indexation
517.11 : Logique mathématique des propositions
Ouvrages de la bibliothèque en indexation 517.11
Ajouter le résultat dans votre panier Affiner la rechercheApplied symbolic logic / Edward P. Lynch (1980)
Titre : Applied symbolic logic Type de document : texte imprimé Auteurs : Edward P. Lynch, Auteur Editeur : Chichester : John Wiley & Sons Année de publication : 1980 ISBN/ISSN/EAN : 978-0-471-06256-1 Catégories : algèbre de Boole
logique mathématique
théorie des ensemblesIndex. décimale : 517.11 Logique mathématique des propositions Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19280 S3/05557 Ouvrage Bibliothèque CERIA Silo 3 Disponible 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 La logique / Gilles Dowek (2015)
Titre : La logique Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Paris : Le Pommier Année de publication : 2015 Importance : 96 p. Format : 18 cm ISBN/ISSN/EAN : 978-2-7465-0878-1 Note générale : Glossaire, bibliographie, index. Langues : Français (fre) Catégories : logique mathématique
mathématiques
raisonnementIndex. décimale : 517.11 Logique mathématique des propositions Résumé : Très valorisé dans notre monde « raisonnable », le raisonnement n'est pas le seul moyen d'accéder à la vérité. Parfois introduit comme un prolongement du calcul, le raisonnement se révèle a posteriori d'une nature très différente : il ne repose pas sur une méthode systématique, de donne pas toujours une réponse, et sa cohérence ne peut pas être démontrée !
Mais comprendre la nature du raisonnement aide-t-il à raisonner ? (Editeur)Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 121237 517.11/DOW/l 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. 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)
PermalinkLogique mathématique : textes / Jean Largeault (1972)
PermalinkLa logique pas à pas / Jacques Duparc (2015)
PermalinkNotions sur les grammaires formelles / Maurice Gross (1967)
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