Résultat de la recherche
21 résultat(s) recherche sur le tag 'Logique mathématique' 
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
texte imprimé
Afin de ne pas manquer la simplicité fondamentale des concepts étudiés, ce manuel présente les éléments de la logique mathématique dans un style volontairement simple, dégagé du souci de la forme. Loin de prétendre couvrir le sujet, seuls ont ét[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/78922 Livre Bibliothèque centrale Disponible S8/78923 Livre Bibliothèque centrale Disponible S8/78924 Livre Bibliothèque centrale Disponible 
texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/899 Livre Bibliothèque centrale Disponible S8/900 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/32465 Livre Bibliothèque centrale Disponible 
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité S8/20143 كتاب Bibliothèque centrale Disponible S8/20144 كتاب Bibliothèque centrale Disponible S8/20145 كتاب Bibliothèque centrale Disponible S8/20146 كتاب Bibliothèque centrale Disponible S8/20147 كتاب Bibliothèque centrale Disponible 
texte imprimé
Exemplaires (10)
Cote Support Localisation Disponibilité S8/23298 كتاب Bibliothèque centrale Disponible S8/23299 كتاب Bibliothèque centrale Disponible S8/23300 كتاب Bibliothèque centrale Disponible S8/23301 كتاب Bibliothèque centrale Disponible S8/23302 كتاب Bibliothèque centrale Disponible S8/23303 كتاب Bibliothèque centrale Disponible S8/23304 كتاب Bibliothèque centrale Disponible S8/23305 كتاب Bibliothèque centrale Disponible S8/23306 كتاب Bibliothèque centrale Disponible S8/23307 كتاب Bibliothèque centrale Disponible 
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité S8/4047 كتاب Bibliothèque centrale Disponible S8/4048 كتاب Bibliothèque centrale Disponible S8/4049 كتاب Bibliothèque centrale Disponible S8/4050 كتاب Bibliothèque centrale Disponible S8/4051 كتاب 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/63936 Livre Bibliothèque centrale Disponible S8/63937 Livre Bibliothèque centrale Disponible S8/63938 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
