Accueil
La librairie Numérique Universitaire « OPU-LU » regroupe la production de l’Office National des Publications Universitaires (OPU)en essai gratuit. Vous pouvez faire des propositions d'achat de livres, en utilisant le formulaire en ligne. Vous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
A partir de cette page vous pouvez :
Retourner au premier écran avec les catégories... | Votre compte |
Catégories
Faire une suggestion Affiner la recherche
Aspect mathématiques des réseaux de pétri / Christophe REUTENAUER / Masson - 1989
Titre : Aspect mathématiques des réseaux de pétri Type de document : texte imprimé Auteurs : Christophe REUTENAUER, Auteur Editeur : Masson Année de publication : 1989 Collection : Etudes et recherches en informatique Importance : 117 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81492-1 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Aspect mathématiques des réseaux de pétri [texte imprimé] / Christophe REUTENAUER, Auteur . - Masson, 1989 . - 117 p. ; 25 cm.. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-81492-1
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000114999 04-07-16 Livre Salle 1 Documentaires Exclu du prêt 62060 Les Codes en informatique / Khira LAMECHE / Hermes - 1995
Titre : Les Codes en informatique : codes détecteurs et correcteurs d'érreurs Type de document : texte imprimé Auteurs : Khira LAMECHE, Auteur Editeur : Hermes Année de publication : 1995 Collection : Informatique Importance : 190 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-86601-465-0 Note générale : Bibliog. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Les Codes en informatique [texte imprimé] : codes détecteurs et correcteurs d'érreurs / Khira LAMECHE, Auteur . - Hermes, 1995 . - 190 p. ; 25 cm.. - (Informatique) .
ISBN : 978-2-86601-465-0
Bibliog.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000118362 04-07-27 Livre Salle 1 Documentaires Exclu du prêt 73701 Discrete Mathematics and structures / Satinder Bal GUPTA / Laxmi publications(p) LTD - 2005
Titre : Discrete Mathematics and structures : (for B.E., B.Tech.,(computer science), BCA, MCA, and M. Sc.(computer science) Type de document : texte imprimé Auteurs : Satinder Bal GUPTA, Auteur Editeur : Laxmi publications(p) LTD Année de publication : 2005 Importance : 348 p. Format : 25 cm. ISBN/ISSN/EAN : 978-81-7008-643-7 Note générale : Index. Langues : Anglais (eng) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Discrete Mathematics and structures [texte imprimé] : (for B.E., B.Tech.,(computer science), BCA, MCA, and M. Sc.(computer science) / Satinder Bal GUPTA, Auteur . - NEW DELHI : Laxmi publications(p) LTD, 2005 . - 348 p. ; 25 cm..
ISBN : 978-81-7008-643-7
Index.
Langues : Anglais (eng)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000903656 04-07-41 Livre Salle 1 Documentaires Exclu du prêt 155215 Ensembles, relations, applications, dénombrement / Bertrand CINTRACT / Cépaduès - 2009
Titre : Ensembles, relations, applications, dénombrement : exercices corrigés avec rappels de cours (L1,L2,L3 classes préparatoires) Type de document : texte imprimé Auteurs : Bertrand CINTRACT, Auteur; Jean-Jacques COLIN, Auteur Editeur : Cépaduès Année de publication : 2009 Collection : Bien débuter en mathématiques Importance : 154 p. Format : 23 cm. ISBN/ISSN/EAN : 978-2-85428-881-0 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Ensembles, relations, applications, dénombrement [texte imprimé] : exercices corrigés avec rappels de cours (L1,L2,L3 classes préparatoires) / Bertrand CINTRACT, Auteur; Jean-Jacques COLIN, Auteur . - Cépaduès, 2009 . - 154 p. ; 23 cm.. - (Bien débuter en mathématiques) .
ISBN : 978-2-85428-881-0
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001001051448 04-07-49 Livre Salle 1 Documentaires Exclu du prêt 185191 Introduction à la logique / Alfred TARSKI / Gauthier-Villars - 1971
Titre : Introduction à la logique Type de document : texte imprimé Auteurs : Alfred TARSKI, Auteur; J. TREMBLAY, Traducteur Mention d'édition : 3 ed. Editeur : Gauthier-Villars Année de publication : 1971 Collection : Logique mathématique Importance : 246 p. Format : 25 cm. Note générale : Index. Langues : Français (fre) Langues originales : Anglais (eng) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Introduction à la logique [texte imprimé] / Alfred TARSKI, Auteur; J. TREMBLAY, Traducteur . - 3 ed. . - Gauthier-Villars, 1971 . - 246 p. ; 25 cm.. - (Logique mathématique) .
Index.
Langues : Français (fre) Langues originales : Anglais (eng)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000422061 04-07-11 Livre Salle 1 Documentaires Exclu du prêt 5133 Introduction à la logique / René DAVID / Dunod - 2003
Titre : Introduction à la logique : théorie de la démonstration cours et exercices corrigés Type de document : texte imprimé Auteurs : René DAVID, Auteur; Karim NOUR, Auteur; Christophe RAFFALLI, Auteur Mention d'édition : 2 ed. Editeur : Dunod Année de publication : 2003 Collection : Sciences SUP Importance : 352 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-10-006796-1 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Introduction à la logique [texte imprimé] : théorie de la démonstration cours et exercices corrigés / René DAVID, Auteur; Karim NOUR, Auteur; Christophe RAFFALLI, Auteur . - 2 ed. . - Dunod, 2003 . - 352 p. ; 25 cm.. - (Sciences SUP) .
ISBN : 978-2-10-006796-1
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000896355 04-07-39 Livre Salle 1 Documentaires Exclu du prêt 127955 Language in action / John VAN BENTHEM / North-Holland - 1991
Titre : Language in action : V.130 categories, lambdas and dynamic logic Type de document : texte imprimé Auteurs : John VAN BENTHEM, Auteur; S. ABRAMSKY, Auteur; J. BARWISE, Auteur Editeur : North-Holland Année de publication : 1991 Collection : Studies in logic Importance : 349 p. Format : 25 cm. ISBN/ISSN/EAN : 978-0-444-89000-9 Note générale : Index. Langues : Anglais (eng) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Language in action [texte imprimé] : V.130 categories, lambdas and dynamic logic / John VAN BENTHEM, Auteur; S. ABRAMSKY, Auteur; J. BARWISE, Auteur . - North-Holland, 1991 . - 349 p. ; 25 cm.. - (Studies in logic) .
ISBN : 978-0-444-89000-9
Index.
Langues : Anglais (eng)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000114734 04-07-06 Livre Salle 1 Documentaires Exclu du prêt 59842 Logic for mathematicians / A. G. HAMILTON / Cambridge university press - 1988
Titre : Logic for mathematicians Type de document : texte imprimé Auteurs : A. G. HAMILTON, Auteur Editeur : Cambridge university press Année de publication : 1988 Importance : 228 p. ISBN/ISSN/EAN : 978-0-521-36865-0 Note générale : Index. Langues : Anglais (eng) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Logic for mathematicians [texte imprimé] / A. G. HAMILTON, Auteur . - Cambridge, Geat Britain : Cambridge university press, 1988 . - 228 p..
ISBN : 978-0-521-36865-0
Index.
Langues : Anglais (eng)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000872984 04-07-34 Livre Salle 1 Documentaires Exclu du prêt 120487 Logique et algèbre de structures mathématiques modales / Fidèle AYISSI ETEME / HERMANN - 2009
Titre : Logique et algèbre de structures mathématiques modales : valentes chrysippiennes Type de document : texte imprimé Auteurs : Fidèle AYISSI ETEME, Auteur Editeur : HERMANN Année de publication : 2009 Importance : 407 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-7056-6947-8 Note générale : bibliog. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Logique et algèbre de structures mathématiques modales [texte imprimé] : valentes chrysippiennes / Fidèle AYISSI ETEME, Auteur . - [S.l.] : HERMANN, 2009 . - 407 p. ; 25 cm..
ISBN : 978-2-7056-6947-8
bibliog.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001001056322 04-07-51 Livre Salle 1 Documentaires Exclu du prêt 201297 La Logique floue / Jean-Raphael TONG-TONG / Hermes - 1995
Titre : La Logique floue Type de document : texte imprimé Auteurs : Jean-Raphael TONG-TONG, Auteur Editeur : Hermes Année de publication : 1995 Importance : 160 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-86601-485-8 Note générale : Bibliog. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique La Logique floue [texte imprimé] / Jean-Raphael TONG-TONG, Auteur . - [S.l.] : Hermes, 1995 . - 160 p. ; 25 cm..
ISBN : 978-2-86601-485-8
Bibliog.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000410264 04-07-26 Livre Salle 1 Documentaires Exclu du prêt 73516 La Logique floue / Bernadette BOUCHON-MEUNIER / Presses universitaires de France - 1993
Titre : La Logique floue Type de document : texte imprimé Auteurs : Bernadette BOUCHON-MEUNIER, Auteur Editeur : Presses universitaires de France Année de publication : 1993 Collection : Que sais-je ? Importance : 127 p. Format : 20 cm. ISBN/ISSN/EAN : 978-2-13-045007-8 Note générale : Bibliog. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique La Logique floue [texte imprimé] / Bernadette BOUCHON-MEUNIER, Auteur . - Presses universitaires de France, 1993 . - 127 p. ; 20 cm.. - (Que sais-je ?) .
ISBN : 978-2-13-045007-8
Bibliog.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000537249 04-07-30 Livre Salle 1 Documentaires Exclu du prêt 101320 La Logique floue / Earl D. COX / International Thomson publishing France - 1995
Titre : La Logique floue : pour les affaires et l'industrie Type de document : texte imprimé Auteurs : Earl D. COX, Auteur; Maurice CLERC, Traducteur Editeur : International Thomson publishing France Année de publication : 1995 Importance : 572 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-84180-127-5 Note générale : Index. Langues : Français (fre) Langues originales : Américain (ame) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique La Logique floue [texte imprimé] : pour les affaires et l'industrie / Earl D. COX, Auteur; Maurice CLERC, Traducteur . - [S.l.] : International Thomson publishing France, 1995 . - 572 p. ; 25 cm..
ISBN : 978-2-84180-127-5
Index.
Langues : Français (fre) Langues originales : Américain (ame)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000536688 04-07-31 Livre Salle 1 Documentaires Exclu du prêt 101330
Titre : Logique mathématique T.1 : cours et exercices, calcul propositionnel, algèbre de boole, calcul des prédicats Type de document : texte imprimé Auteurs : CORI.R, Auteur; Daniel LASCAR, Auteur; J.-L. KRIVINE, Préfacier, etc Editeur : Masson Année de publication : 1994. Importance : 385 p. Format : 25 cm. ISBN/ISSN/EAN : 2-225-64079-2 Note générale : Index Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Calcul propositionnel
Algèbres de Boole
Calcul des prédicats
Théorèmes de complétude
Solutions des exercicesLogique mathématique T.1 [texte imprimé] : cours et exercices, calcul propositionnel, algèbre de boole, calcul des prédicats / CORI.R, Auteur; Daniel LASCAR, Auteur; J.-L. KRIVINE, Préfacier, etc . - [S.l.] : Masson, 1994. . - 385 p. ; 25 cm..
ISSN : 2-225-64079-2
Index
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Calcul propositionnel
Algèbres de Boole
Calcul des prédicats
Théorèmes de complétude
Solutions des exercicesExemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000118495 04-07-24 Livre Salle 1 Documentaires Exclu du prêt 62917 Documents numériques
SommaireAdobe Acrobat PDF Logique mathématique T.1 (licence, master) / René CORI / Dunod - 2003
Titre : Logique mathématique T.1 (licence, master) : 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 : Dunod Année de publication : 2003 Collection : Sciences SUP Importance : 385 P. Format : 25 cm. ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Logique mathématique T.1 (licence, master) [texte imprimé] : calcul propositionnel, algèbre de boole, calcul des prédicats cours et exercices corrigés / René CORI, Auteur; Daniel LASCAR, Auteur . - Dunod, 2003 . - 385 P. ; 25 cm.. - (Sciences SUP) .
ISBN : 978-2-10-005452-7
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000894442 04-07-36 Livre Salle 1 Documentaires Exclu du prêt 127943
Titre : Logique mathématique T.2 : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles Type de document : texte imprimé Auteurs : René CORI, Auteur; Daniel LASCAR, Auteur; J.-L. KRIVINE, Préfacier, etc Editeur : Masson Année de publication : 1994 Collection : Axiomes Importance : 347 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-84080-7 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Récursivité.
Formalisation de l'arithmétique.
Théorèmes de Gödel.
Théorie des ensembles.
Un peu de théorie des modèles.
Solutions des exercices.Logique mathématique T.2 [texte imprimé] : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles / René CORI, Auteur; Daniel LASCAR, Auteur; J.-L. KRIVINE, Préfacier, etc . - Masson, 1994 . - 347 p. ; 25 cm.. - (Axiomes) .
ISBN : 978-2-225-84080-7
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Récursivité.
Formalisation de l'arithmétique.
Théorèmes de Gödel.
Théorie des ensembles.
Un peu de théorie des modèles.
Solutions des exercices.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité type de document numéro d'inventaire 00001000422004 04-07-25 Livre Salle 1 Documentaires Exclu du prêt 62921 Documents numériques
SommaireAdobe Acrobat PDF