Détail de l'indexation
510 : Mathématiques |
Ouvrages de la bibliothèque en indexation 510 (151)
Introduction à la logique / René David
Titre : Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés Type de document : texte imprimé Auteurs : René David (1948....), Auteur ; Christophe Raffalli, Auteur ; Karim Nour, Auteur ; Pierre-Louis Curien, Préfacier, etc. ; Lionel Auvergne, Illustrateur Mention d'édition : 2e éd. Editeur : Paris : Dunod Année de publication : 2013 Collection : Sciences Sup Importance : 352p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-006796-1 Prix : 30 EUR Note générale : La couv. porte en plus : "licence 3e année, master, CAPES, agrégation"
Bibliogr. p. 347-348. IndexLangues : Français (fre) Langues originales : Français (fre) Mots-clés : Théorèmes Démonstration automatique Manuels d'enseignement supérieur Logique symbolique et mathématique Index. décimale : 510 Mathématiques Résumé : Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres. Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.
Indexation Locale : 510 - Mathématiques Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés [texte imprimé] / René David (1948....), Auteur ; Christophe Raffalli, Auteur ; Karim Nour, Auteur ; Pierre-Louis Curien, Préfacier, etc. ; Lionel Auvergne, Illustrateur . - 2e éd. . - Paris : Dunod, 2013 . - 352p. : ill., couv. ill. en coul. ; 24 cm. - (Sciences Sup) .
ISBN : 978-2-10-006796-1 : 30 EUR
La couv. porte en plus : "licence 3e année, master, CAPES, agrégation"
Bibliogr. p. 347-348. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Théorèmes Démonstration automatique Manuels d'enseignement supérieur Logique symbolique et mathématique Index. décimale : 510 Mathématiques Résumé : Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres. Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.
Indexation Locale : 510 - Mathématiques Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0203999 510-DAV Livre Centre Culturel Katherine Dunham Espace Adulte Exclu du prêt Introduction aux mathématiques supérieures / Daniel Duverney
Titre : Introduction aux mathématiques supérieures : cours et exercices corrigés ; prépas scientifiques Type de document : texte imprimé Auteurs : Daniel Duverney, Auteur Editeur : Paris : Ellipses Année de publication : 2003 Importance : 401p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-1698-8 Prix : 28,50 EUR Note générale : La couv. porte en plus : "nouveau programme"
IndexLangues : Français (fre) Mots-clés : Mathématiques Manuels d'enseignement supérieur Index. décimale : 510 Mathématiques Indexation Locale : 510 - Mathématiques Introduction aux mathématiques supérieures : cours et exercices corrigés ; prépas scientifiques [texte imprimé] / Daniel Duverney, Auteur . - Paris : Ellipses, 2003 . - 401p. : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7298-1698-8 : 28,50 EUR
La couv. porte en plus : "nouveau programme"
Index
Langues : Français (fre)
Mots-clés : Mathématiques Manuels d'enseignement supérieur Index. décimale : 510 Mathématiques Indexation Locale : 510 - Mathématiques Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0118406 510-DUV Livre Bibliothèque Monique Calixte Espace Adulte Exclu du prêt Jeux de chapeaux / Nozaki Akihiro
Titre : Jeux de chapeaux Type de document : texte imprimé Auteurs : Nozaki Akihiro, Auteur ; Mitsumasa Anno (1926-....), Illustrateur ; Rose-Marie Vassallo, Traducteur Editeur : [Paris] [France] : Flammarion Année de publication : 1991 Autre Editeur : [Paris] [France] : Flammarion Importance : 41p. Présentation : couv. ill. en coul. ill. en coul. ISBN/ISSN/EAN : 978-2-08-160728-6 Langues : Français (fre) Langues originales : Japonais (jpn) Index. décimale : 510 Mathématiques Indexation Locale : 510 - Mathématiques Jeux de chapeaux [texte imprimé] / Nozaki Akihiro, Auteur ; Mitsumasa Anno (1926-....), Illustrateur ; Rose-Marie Vassallo, Traducteur . - [Paris] [France] : Flammarion : [Paris] [France] : Flammarion, 1991 . - 41p. : couv. ill. en coul. ill. en coul.
ISBN : 978-2-08-160728-6
Langues : Français (fre) Langues originales : Japonais (jpn)
Index. décimale : 510 Mathématiques Indexation Locale : 510 - Mathématiques Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0100731 A-NOZ Livre Bibliothèque Monique Calixte Espace Enfant Disponible Jeux mathématiques., 03. Jeux mathématiques / Mitsumasa Anno
Titre de série : Jeux mathématiques., 03 Titre : Jeux mathématiques Type de document : texte imprimé Auteurs : Mitsumasa Anno (1926-....), Auteur ; Rose-Marie Vassallo-Villaneau (1946-....), Traducteur Editeur : [Paris] [France] : Flammarion Année de publication : 1991 Importance : 104p. Présentation : ill. en noir et en coul., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-08-160807-8 Prix : 139 F Langues : Français (fre) Langues originales : Japonais (jpn) Mots-clés : Jeux mathématiques Ouvrages pour la jeunesse Index. décimale : 510 Mathématiques Indexation Locale : 510 - Mathématiques Jeux mathématiques., 03. Jeux mathématiques [texte imprimé] / Mitsumasa Anno (1926-....), Auteur ; Rose-Marie Vassallo-Villaneau (1946-....), Traducteur . - [Paris] [France] : Flammarion, 1991 . - 104p. : ill. en noir et en coul., couv. ill. en coul. ; 25 cm.
ISBN : 978-2-08-160807-8 : 139 F
Langues : Français (fre) Langues originales : Japonais (jpn)
Mots-clés : Jeux mathématiques Ouvrages pour la jeunesse Index. décimale : 510 Mathématiques Indexation Locale : 510 - Mathématiques Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0116386 510j-ANN Livre Bibliothèque Monique Calixte Espace Enfant Exclu du prêt Jeux mathématiques., [1]. Jeux mathématiques / Mitsumasa Anno
Titre de série : Jeux mathématiques., [1] Titre : Jeux mathématiques Type de document : texte imprimé Auteurs : Mitsumasa Anno (1926-....), Auteur ; Rose-Marie Vassallo-Villaneau (1946-....), Traducteur Editeur : [Paris] [France] : Flammarion Année de publication : 1990 Importance : 104p. Présentation : ill. en coul., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-08-160733-0 Prix : 130 F Langues : Français (fre) Langues originales : Japonais (jpn) Index. décimale : 510 Mathématiques Indexation Locale : 510 - Mathématiques Jeux mathématiques., [1]. Jeux mathématiques [texte imprimé] / Mitsumasa Anno (1926-....), Auteur ; Rose-Marie Vassallo-Villaneau (1946-....), Traducteur . - [Paris] [France] : Flammarion, 1990 . - 104p. : ill. en coul., couv. ill. en coul. ; 25 cm.
ISBN : 978-2-08-160733-0 : 130 F
Langues : Français (fre) Langues originales : Japonais (jpn)
Index. décimale : 510 Mathématiques Indexation Locale : 510 - Mathématiques Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0116421 510J-ANN Livre Bibliothèque Monique Calixte Espace Enfant Disponible Jeux mathématiques., 1. Semblable, différent / Mitsumasa Anno
PermalinkJeux mathématiques., 10. Des points, des points, et encore des points / Mitsumasa Anno
PermalinkJeux mathématiques., 11. Compter de l'eau / Mitsumasa Anno
PermalinkJeux mathématiques., 12. Etirons, déformons / Mitsumasa Anno
PermalinkJeux mathématiques., 13. Labyrinthes / Mitsumasa Anno
PermalinkJeux mathématiques., 2. Assembler, séparer / Mitsumasa Anno
PermalinkJeux mathématiques., 2. Jeux mathématiques / Mitsumasa Anno
PermalinkJeux mathématiques., 3. Cherchons les différences / Mitsumasa Anno
PermalinkJeux mathématiques., 4. La machine magique / Mitsumasa Anno
PermalinkJeux mathématiques., 6. Gauche et droite / Mitsumasa Anno
Permalink