Catalogue en ligne BUC USTOMB'Doc

Accueil

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?

Nouvelle recherche

Votre compte

Indexation 04-07 : Logique mathématique

04-00 Généralités: Encyclopédies. Dictionnaires

04-01 Mathématique générales

04-01 - Mathématique générale

04-05 Probabilité et statistique

04-06 Analyse numérique

04-06 - Analyse numérique

04-08 Mathématiques appliquées

04-09 Graphes

Ouvrages de la bibliothèque en indexation 04-07 (28)

Faire une suggestion Affiner la recherche

Aspect mathématiques des réseaux de pétri / Christophe REUTENAUER / Masson (1989)

Public

ISBD

Aucun avis sur cette notice.
Faire une suggestion d'achat

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(1)

Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité

00001000114999 04-07-16 Livre Salle 1 Documentaires Exclu du prêt 62060

Les Codes en informatique / Khira LAMECHE / Hermes (1995)

Public

ISBD

Aucun avis sur cette notice.
Faire une suggestion d'achat

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 : codes détecteurs et correcteurs d'érreurs [texte imprimé] / 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(1)

Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité

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)

Public

ISBD

Aucun avis sur cette notice.
Faire une suggestion d'achat

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 : (for B.E., B.Tech.,(computer science), BCA, MCA, and M. Sc.(computer science) [texte imprimé] / Satinder Bal GUPTA, Auteur . - 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(1)

Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité

00001000903656 04-07-41 Livre Salle 1 Documentaires Exclu du prêt 155215

Ensembles, relations, applications, dénombrement / Bertrand CINTRACT / Cépaduès (2009)

Public

ISBD

Aucun avis sur cette notice.
Faire une suggestion d'achat

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 : exercices corrigés avec rappels de cours (L1,L2,L3 classes préparatoires) [texte imprimé] / 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(1)

Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité

00001001051448 04-07-49 Livre Salle 1 Documentaires Exclu du prêt 185191

Introduction à la logique / Alfred TARSKI / Gauthier-Villars (1971)

Public

ISBD

Aucun avis sur cette notice.
Faire une suggestion d'achat

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(1)

Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité

00001000422061 04-07-11 Livre Salle 1 Documentaires Exclu du prêt 5133

Introduction à la logique / René DAVID / Dunod (2003)

Permalink
Language in action / John VAN BENTHEM / North-Holland (1991)

Permalink
Logic for mathematicians / A. G. HAMILTON / Cambridge university press (1988)

Permalink
Logique et algèbre de structures mathématiques modales / Fidèle AYISSI ETEME / HERMANN (2009)

Permalink
La Logique floue / Jean-Raphael TONG-TONG / Hermes (1995)

Permalink
La Logique floue / Bernadette BOUCHON-MEUNIER / Presses universitaires de France (1993)

Permalink
La Logique floue / Earl D. COX / International Thomson publishing France (1995)

Permalink
Logique mathématique T.1 / CORI.R / Masson (1994.)

Permalink
Logique mathématique T.2 / René CORI / Masson (1994)

Permalink
Logique mathématique T.1 (licence, master) / René CORI / Dunod (2003)

Permalink