A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Collection Sciences Sup
- Editeur : Dunod
- ISSN : 1636-2217
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externesLogique mathématique. 2 (DL 2003) / René CORI
Titre : 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 Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Paris [France] : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-347 p. ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Anglais (eng) Mots-clés : logique mathématique fonction récursive théorème de Gödel théorie des ensembles théorie des modèles Note de contenu : index, notations, bibliogr. 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 [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Dunod, DL 2003 . - XV-347 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005453-4
Langues : Anglais (eng)
Mots-clés : logique mathématique fonction récursive théorème de Gödel théorie des ensembles théorie des modèles Note de contenu : index, notations, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19529 COR/02/7888-II Livre Recherche Salle Disponible Logique mathématique. 1 (DL 2003) / René CORI
Titre : Logique mathématique. 1 : calcul propositionnel, algèbre de Boole, calcul des prédicats Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Paris [France] : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-385 p. ISBN/ISSN/EAN : 978-2-10-005452-7 Langues : Anglais (eng) Mots-clés : logique mathématique calcul propositionnel algèbre de Boole calcul des prédicats Note de contenu : index, bibliogr. Logique mathématique. 1 : calcul propositionnel, algèbre de Boole, calcul des prédicats [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Dunod, DL 2003 . - XV-385 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005452-7
Langues : Anglais (eng)
Mots-clés : logique mathématique calcul propositionnel algèbre de Boole calcul des prédicats Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19528 COR/02/7888-I Livre Recherche Salle Sorti jusqu'au 06/05/2018 Analyse 1ère année (Cop. 1997) / François LIRET
Titre : Analyse 1ère année : cours de mathématiques Type de document : texte imprimé Auteurs : François LIRET, Auteur ; Dominique MARTINAIS, Auteur ; Michel ZISMAN, Préfacier, etc. Editeur : Paris [France] : Dunod Année de publication : Cop. 1997 Collection : Sciences Sup, ISSN 1636-2217 Importance : XIII-313 p. ISBN/ISSN/EAN : 978-2-10-003151-1 Langues : Français (fre) Mots-clés : analyse mathématique Note de contenu : index Analyse 1ère année : cours de mathématiques [texte imprimé] / François LIRET, Auteur ; Dominique MARTINAIS, Auteur ; Michel ZISMAN, Préfacier, etc. . - Dunod, Cop. 1997 . - XIII-313 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-003151-1
Langues : Français (fre)
Mots-clés : analyse mathématique Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1011 LIR/CAE IREM Livre Enseignement Salle Disponible 13317 LIR/CAE/6936 b Livre Recherche Salle Disponible 13318 LIR/CAE/6936 a Livre Recherche Salle Disponible Algèbre 1ère année (Cop. 1997) / François LIRET
Titre : Algèbre 1ère année : cours et exercices avec solutions Type de document : texte imprimé Auteurs : François LIRET, Auteur ; Dominique MARTINAIS, Auteur Editeur : Paris [France] : Dunod Année de publication : Cop. 1997 Collection : Sciences Sup, ISSN 1636-2217 Importance : XIII-281 p. ISBN/ISSN/EAN : 978-2-10-003149-8 Langues : Français (fre) Mots-clés : algèbre nombre complexe matrice espace vectoriel géométrie affine arithmétique polynôme groupe anneau corps Résumé : Ce cours de mathématiques traite en quatre volumes le programme des DEUG MIAS, MASS et SM. Le cours, qui présente les résultats essentiels et les énoncés les plus utiles, est illustré par des exemples détaillés et des exercices corrigés. Chaque chapitre se termine par de nombreux énoncés d'exercices suivis de brèves réponses ou par des indications. Certains sont un entraînement au calcul et d'autres sont rédigés en plusieurs questions permettant d'apprendre à raisonner. Dans ce volume d'algèbre pour la première année, une partie importante est consacrée à l'algèbre linéaire : espaces vectoriels, bases, applications linéaires et calcul matriciel. L'arithmétique élémentaire et les polynômes font chacun l'objet d'un chapitre conséquent Note de contenu : index Algèbre 1ère année : cours et exercices avec solutions [texte imprimé] / François LIRET, Auteur ; Dominique MARTINAIS, Auteur . - Dunod, Cop. 1997 . - XIII-281 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-003149-8
Langues : Français (fre)
Mots-clés : algèbre nombre complexe matrice espace vectoriel géométrie affine arithmétique polynôme groupe anneau corps Résumé : Ce cours de mathématiques traite en quatre volumes le programme des DEUG MIAS, MASS et SM. Le cours, qui présente les résultats essentiels et les énoncés les plus utiles, est illustré par des exemples détaillés et des exercices corrigés. Chaque chapitre se termine par de nombreux énoncés d'exercices suivis de brèves réponses ou par des indications. Certains sont un entraînement au calcul et d'autres sont rédigés en plusieurs questions permettant d'apprendre à raisonner. Dans ce volume d'algèbre pour la première année, une partie importante est consacrée à l'algèbre linéaire : espaces vectoriels, bases, applications linéaires et calcul matriciel. L'arithmétique élémentaire et les polynômes font chacun l'objet d'un chapitre conséquent Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1023 LIR/CAE/IREM Livre Enseignement Salle Disponible 13316 LIR/00.01/6937 Livre Recherche Salle Disponible Calcul stochastique et modèles de diffusions (Cop. 2006) / Francis COMETS
Titre : Calcul stochastique et modèles de diffusions : cours et exercices corrigés Type de document : texte imprimé Auteurs : Francis COMETS, Auteur ; Thierry MEYRE, Auteur Editeur : Paris [France] : Dunod Année de publication : Cop. 2006 Collection : Sciences Sup, ISSN 1636-2217 Importance : XI-324 p. ISBN/ISSN/EAN : 978-2-10-050135-9 Langues : Français (fre) Mots-clés : calcul stochastique processus aléatoire mouvement brownien martingale différentielle stochastique processus de diffusion Note de contenu : index, bibliogr. Calcul stochastique et modèles de diffusions : cours et exercices corrigés [texte imprimé] / Francis COMETS, Auteur ; Thierry MEYRE, Auteur . - Dunod, Cop. 2006 . - XI-324 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-050135-9
Langues : Français (fre)
Mots-clés : calcul stochastique processus aléatoire mouvement brownien martingale différentielle stochastique processus de diffusion Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité E1212 COM/CAE 1074 Livre Enseignement Salle Disponible 20619 COM/60/8611 Livre Recherche Salle Disponible Optimisation continue (2006) / Frédéric BONNANS
PermalinkLe modèle linéaire par l'exemple (Cop. 2005) / Jean-Marc AZAÏS
PermalinkStatistique exploratoire multidimensionnelle (Cop. 2006) / Ludovic LEBART
PermalinkIntroduction au calcul scientifique par la pratique (Cop. 2005) / Ionut DANAILA
PermalinkAgrégation de mathématiques, épreuve orale (Cop. 2006) / Ivan NOURDIN
PermalinkStatistique inférentielle (2002) / Dominique FOURDRINIER
PermalinkProcessus stochastiques (DL 2002) / Dominique FOATA
PermalinkAnalyse complexe (1999) / Patrice TAUVEL
PermalinkTopologie (DL 2002) / Hervé QUEFFÉLEC
PermalinkCalcul différentiel pour la licence (DL 2000) / Paul DONATO
Permalink