Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Exemplaires
Cote Support Localisation Disponibilité aucun exemplaire 
texte imprimé
René Cori ; Daniel Lascar ; Jean-Louis Krivine | Malakoff : Dunod | Sciences sup. Mathématiques | 2003Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/63936 Livre Bibliothèque centrale Disponible S8/63937 Livre Bibliothèque centrale Disponible S8/63938 Livre Bibliothèque centrale Disponible 
texte imprimé
Issu d'un enseignement de logique dispensé en 2e et 3e. cycles, ce cours traite de manière détaillée des domaines fondamentaux de la logique mathématique. Ce premier tome expose successivement le calcul propositionnel, les algèbres de Boole, [...]Exemplaires (1)
Cote Support Localisation Disponibilité S8/45135 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité S8/63936-63941 Livre Bibliothèque centrale Disponible 
texte imprimé
René Cori ; Daniel Lascar ; Jean-Louis Krivine | Malakoff : Dunod | Sciences sup. Mathématiques | 2003Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/63939 Livre Bibliothèque centrale Disponible S8/63940 Livre Bibliothèque centrale Disponible S8/63941 Livre Bibliothèque centrale Disponible 
texte imprimé
Issu d'un enseignement de logique dispensé en 2e et 3e cycles, ce cours traite de manière détaillée des domaines fondamentaux de la logique mathématique. Après avoir exposé dans le premier tome le calcul propositionnel, les algèbres de Boole,[...]Exemplaires (1)
Cote Support Localisation Disponibilité S8/45136 Livre Bibliothèque centrale Disponible
Accueil
