1. Logique mathématique / René Cori (2003) / 978-2-10-005452-7

Public ISBD Titre : Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar Editeur : Paris : Dunod Année de publication : 2003 Importance : 408 p Présentation : ill.,couv.ill. Format : 24cm. ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Biblio.p.361-363.Index. Langues : Français (fre) Tags : algèbres de boole calcul des prédicats calcul propositionnel théorème de complétude. Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Paris : Dunod, 2003 . - 408 p : ill.,couv.ill. ; 24cm. ISBN : 978-2-10-005452-7 Biblio.p.361-363.Index. Langues : Français (fre) Tags : algèbres de boole calcul des prédicats calcul propositionnel théorème de complétude. Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude

Exemplaires(0)

Disponibilité
aucun exemplaire

Les algorithmes. au cœur du raisonnement / Collectif tange (2013) / 978-2-84884-167-0

Public ISBD Titre : Les algorithmes. au cœur du raisonnement Type de document : texte imprimé Auteurs : Collectif tange ; Tange Collectif Année de publication : 2013 Format : 24 cm ISBN/ISSN/EAN : 978-2-84884-167-0 Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.5 Algorithme fonction calculables Tags : Cet ouvrage collectif publié par Tangente explore les algorithmes sous un angle à la fois mathématique et conceptuel, en les présentant comme des outils fondamentaux du raisonnement logique et de la résolution de problèmes. Le livre aborde les principes algorithmiques qui structurent notre pensée computationnelle moderne, en analysant comment les algorithmes permettent de décomposer des problèmes complexes en étapes élémentaires et systématiques. Destiné à un public curieux souhaitant comprendre les fondements de l'informatique et de la pensée algorithmique, cet ouvrage illustre l'importance des algorithmes dans divers domaines scientifiques et leur rôle central dans notre société numérique. À travers une approche pédagogique accessible, les auteurs démontrent que les algorithmes constituent bien plus que de simples recettes de calcul : ils représentent une véritable méthode de raisonnement. Index. décimale : 510 Principes fondamentaux des mathématiques Les algorithmes. au cœur du raisonnement [texte imprimé] / Collectif tange ; Tange Collectif . - 2013 . -  ; 24 cm. ISBN : 978-2-84884-167-0 Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.5 Algorithme fonction calculables Tags : Cet ouvrage collectif publié par Tangente explore les algorithmes sous un angle à la fois mathématique et conceptuel, en les présentant comme des outils fondamentaux du raisonnement logique et de la résolution de problèmes. Le livre aborde les principes algorithmiques qui structurent notre pensée computationnelle moderne, en analysant comment les algorithmes permettent de décomposer des problèmes complexes en étapes élémentaires et systématiques. Destiné à un public curieux souhaitant comprendre les fondements de l'informatique et de la pensée algorithmique, cet ouvrage illustre l'importance des algorithmes dans divers domaines scientifiques et leur rôle central dans notre société numérique. À travers une approche pédagogique accessible, les auteurs démontrent que les algorithmes constituent bien plus que de simples recettes de calcul : ils représentent une véritable méthode de raisonnement. Index. décimale : 510 Principes fondamentaux des mathématiques

Exemplaires(0)

Disponibilité
aucun exemplaire

An Introduction to Mathematical Proofs / Nicholas A. Loehr (2020) / 978-1-03-247522-6

Public ISBD Titre : An Introduction to Mathematical Proofs : Textbooks in Mathematics Type de document : texte imprimé Auteurs : Nicholas A. Loehr, Auteur Editeur : CRC Press Année de publication : 2020 Importance : 412 p. Présentation : couv:ill. Format : 30cm ISBN/ISSN/EAN : 978-1-03-247522-6 Langues : Anglais (eng) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logic, proofs, integers, relation and function , equivalence relation and partial orders, cardinality, real numbers. Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : An Introduction to Mathematical Proofspresents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach to proof techniques and related topics. No prerequisites are needed beyond high-school algebra. New material is presented in small chunks that are easy for beginners to digest. The author offers a friendly style without sacrificing mathematical rigor. Ideas are developed through motivating examples, precise definitions, carefully stated theorems, clear proofs, and a continual review of preceding topics. Features Study aids including section summaries and over 1100 exercises Careful coverage of individual proof-writing skills Proof annotations and structural outlines clarify tricky steps in proofs Thorough treatment of multiple quantifiers and their role in proofs Unified explanation of recursive definitions and induction proofs, with applications to greatest common divisors and prime factorizations An Introduction to Mathematical Proofs : Textbooks in Mathematics [texte imprimé] / Nicholas A. Loehr, Auteur . - CRC Press, 2020 . - 412 p. : couv:ill. ; 30cm. ISBN : 978-1-03-247522-6 Langues : Anglais (eng) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logic, proofs, integers, relation and function , equivalence relation and partial orders, cardinality, real numbers. Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : An Introduction to Mathematical Proofspresents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach to proof techniques and related topics. No prerequisites are needed beyond high-school algebra. New material is presented in small chunks that are easy for beginners to digest. The author offers a friendly style without sacrificing mathematical rigor. Ideas are developed through motivating examples, precise definitions, carefully stated theorems, clear proofs, and a continual review of preceding topics. Features Study aids including section summaries and over 1100 exercises Careful coverage of individual proof-writing skills Proof annotations and structural outlines clarify tricky steps in proofs Thorough treatment of multiple quantifiers and their role in proofs Unified explanation of recursive definitions and induction proofs, with applications to greatest common divisors and prime factorizations

Exemplaires(0)

Disponibilité
aucun exemplaire

L'analyse algébrique / Jean-Pierre Lubet (2014) / 978-2-7298-8394-2

Public ISBD Titre : L'analyse algébrique : un épisode clé de l'histoire des mathématiques Type de document : texte imprimé Auteurs : Jean-Pierre Lubet ; Jean-Pierre Friedelmeyer, Auteur Editeur : Paris : Ellipses Année de publication : 2014 Collection : Comprendre les mathématiques par les textes historiques, ISSN 1296-0608 Importance : 1 vol. (253 p.) Présentation : couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-8394-2 Note générale : Bibliogr. p. [237]-253. Notes bibliogr.-P. 9. I, Fécondités et faiblesses d'un nouveau calcul P. 17. II, Euler et les fondements du calcul différentiel P. 43. III, Lagrange et l'analogie des puissances et des différentielles P. 59. IV, Le concept de fonction aux prises avec le nouveau calcul intégral P. 87. V, La formule de Taylor comme fondement de la Théorie des fonctions analytiques P. 117. VI, Le calcul des dérivations d'Arbogast P. 149. VII, Les expressions analytiques de Brisson et la résolution des équations aux dérivées partielles P. 167. VIII, La séparation des échelles appliquées à la résolution des équations différentielles linéaires P. 191. IX, Propriétés des opérations, fondements du calcul différentiel : l'originalité des travaux de Servois P. 213. X, Influence et postérité de l'analyse algébrique Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique. Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : La 4e de couv. indique : "Cet ouvrage permet un contact avec les textes originaux, il s’adresse à toute personne intéressée par la culture scientifique : étudiant, enseignant, formateur, amateur curieux de comprendre le développement des idées en mathématiques…Une mise en perspective générale, des introductions et des commentaires sont là pour situer le contexte, lever les principales difficultés, signaler les enjeux. Les errements et les incertitudes sont examinés avec précision, ils rendent manifestes quelques-uns des obstacles qu’il a fallu surmonter pour aboutir à l’analyse mathématique que nous connaissons aujourd’hui." L'analyse algébrique : un épisode clé de l'histoire des mathématiques [texte imprimé] / Jean-Pierre Lubet ; Jean-Pierre Friedelmeyer, Auteur . - Paris : Ellipses, 2014 . - 1 vol. (253 p.) : couv. ill. ; 24 cm. - (Comprendre les mathématiques par les textes historiques, ISSN 1296-0608) . ISBN : 978-2-7298-8394-2 Bibliogr. p. [237]-253. Notes bibliogr.-P. 9. I, Fécondités et faiblesses d'un nouveau calcul P. 17. II, Euler et les fondements du calcul différentiel P. 43. III, Lagrange et l'analogie des puissances et des différentielles P. 59. IV, Le concept de fonction aux prises avec le nouveau calcul intégral P. 87. V, La formule de Taylor comme fondement de la Théorie des fonctions analytiques P. 117. VI, Le calcul des dérivations d'Arbogast P. 149. VII, Les expressions analytiques de Brisson et la résolution des équations aux dérivées partielles P. 167. VIII, La séparation des échelles appliquées à la résolution des équations différentielles linéaires P. 191. IX, Propriétés des opérations, fondements du calcul différentiel : l'originalité des travaux de Servois P. 213. X, Influence et postérité de l'analyse algébrique Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique. Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : La 4e de couv. indique : "Cet ouvrage permet un contact avec les textes originaux, il s’adresse à toute personne intéressée par la culture scientifique : étudiant, enseignant, formateur, amateur curieux de comprendre le développement des idées en mathématiques…Une mise en perspective générale, des introductions et des commentaires sont là pour situer le contexte, lever les principales difficultés, signaler les enjeux. Les errements et les incertitudes sont examinés avec précision, ils rendent manifestes quelques-uns des obstacles qu’il a fallu surmonter pour aboutir à l’analyse mathématique que nous connaissons aujourd’hui."

Exemplaires(0)

Disponibilité
aucun exemplaire

Discrete Mathematics / Ali Grami (2023) / 978-0-12-820656-0

Public ISBD Titre : Discrete Mathematics : Essentials and Applications Type de document : texte imprimé Auteurs : Ali Grami, Auteur Editeur : Academic Press Année de publication : 2023 Importance : 448p. Présentation : couv:ill. Format : 35cm ISBN/ISSN/EAN : 978-0-12-820656-0 Langues : Anglais (eng) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique. Tags : logique  ensembles  relations  fonctions  algèbre booléenne  méthodes de preuve  théorie des nombres  cryptographie  probabilité discrète  graphes  arbres  réseaux  algorithmes  machines à états finis Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : Discrete Mathematics: Essentials and Applications offers a comprehensive survey of the area, particularly concentrating on the basic principles and applications of Discrete Mathematics. This up-to-date text provides proofs of significance, keeping the focus on numerous relevant examples and many pertinent applications. Written in a simple and clear tone, the title features insightful descriptions and intuitive explanations of all complex concepts and ensures a thorough understanding of the subject matter. - Offers easy-to-understand coverage of the subject matter with a class-tested pedagogical approach - Covers all topics in Discrete Math in a comprehensive yet not overwhelming way - Includes numerous meaningful examples on all topics to bring insight, and relevant applications for all major topics Discrete Mathematics : Essentials and Applications [texte imprimé] / Ali Grami, Auteur . - Academic Press, 2023 . - 448p. : couv:ill. ; 35cm. ISBN : 978-0-12-820656-0 Langues : Anglais (eng) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique. Tags : logique  ensembles  relations  fonctions  algèbre booléenne  méthodes de preuve  théorie des nombres  cryptographie  probabilité discrète  graphes  arbres  réseaux  algorithmes  machines à états finis Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : Discrete Mathematics: Essentials and Applications offers a comprehensive survey of the area, particularly concentrating on the basic principles and applications of Discrete Mathematics. This up-to-date text provides proofs of significance, keeping the focus on numerous relevant examples and many pertinent applications. Written in a simple and clear tone, the title features insightful descriptions and intuitive explanations of all complex concepts and ensures a thorough understanding of the subject matter. - Offers easy-to-understand coverage of the subject matter with a class-tested pedagogical approach - Covers all topics in Discrete Math in a comprehensive yet not overwhelming way - Includes numerous meaningful examples on all topics to bring insight, and relevant applications for all major topics

Exemplaires(0)

Disponibilité
aucun exemplaire

Mathématiques générales / Jacques Vélu (DL 2003) / 978-2-10-007409-9

Public ISBD Titre : Mathématiques générales : cours et exercices corrigés Type de document : texte imprimé Auteurs : Jacques Vélu (1943-....), Auteur Mention d'édition : Nouvelle présentation Editeur : Paris : Dunod Année de publication : DL 2003 Collection : Sciences Sup Importance : 1 vol. (X-307 p.) Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-10-007409-9 Note générale : La couv. porte en plus : "licence 1re année, CNAM cycle A, IUT" Index Langues : Français (fre) Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : L'ouvrage présente les concepts mathématiques de base utiles aux étudiants non-mathématiciens dès la première année d'études post-bac. Chaque théorème est expliqué et illustré par de nombreux exemples d'application. Des exercices corrigés sont regroupés en fin de chapitres. Mathématiques générales : cours et exercices corrigés [texte imprimé] / Jacques Vélu (1943-....), Auteur  . -  Nouvelle présentation . - Paris : Dunod, DL 2003 . - 1 vol. (X-307 p.) : ill., couv. ill. en coul. ; 25 cm. - (Sciences Sup) . ISBN : 978-2-10-007409-9 La couv. porte en plus : "licence 1re année, CNAM cycle A, IUT" Index Langues : Français (fre) Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : L'ouvrage présente les concepts mathématiques de base utiles aux étudiants non-mathématiciens dès la première année d'études post-bac. Chaque théorème est expliqué et illustré par de nombreux exemples d'application. Des exercices corrigés sont regroupés en fin de chapitres.

Exemplaires(0)

Disponibilité
aucun exemplaire

Mathématiques / Jean-Pierre Ramis (impr. 2007) / 978-2-10-050743-6

Public ISBD Titre : Mathématiques : tout-en-un, pour la licence, niveau L2 ; cours complet avec applications et 760 exercices corrigés Type de document : texte imprimé Auteurs : Jean-Pierre Ramis, Auteur ; André Warusfel, Auteur ; Jean-Pierre Ramis, Directeur de publication ; André Warusfel, Directeur de publication Editeur : Paris : Dunod Année de publication : impr. 2007 Collection : Série Ramis Importance : 1 vol. (XXII-1321 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-050743-6 Prix : 52 EUR Note générale : La couv. porte en plus : "22 modules pour un parcours réussi" Index Langues : Français (fre) Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : Ce cours, composé de 22 modules regroupés en 5 parties, couvre le programme de mathématiques du niveau L2 des filières «Mathématiques», «Informatique» et «Sciences Physiques». Pour chaque module, un parcours de travail est proposé, : en évitant ainsi l'approche linéaire, l'étudiant pourra accorder son apprentissage selon sa filière et ses besoins. L'accent a été mis sur la pédagogie, grâce aux très nombreux exemples et exercices d'applications qui illustrent le cours, de même que par la présence accrue de mathématiques appliqués permettant à l'étudiant de faire le lien avec son domaine d'étude. A la fin de chaque module, un exercice type entièrement corrigé met en oeuvre une méthodologie de résolution, que l'étudiant pourra appliquer aux nombreux exercices d'entraînement proposés. 300 exercices entièrement corrigés illustrent ainsi le cours. Pour aller plus loin, 400 énoncés supplémentaires sont proposés avec des éléments de réponses en fin de volume, les corrigés complets étant disponibles sur cette page, soit en tout 700 exercices corrigés pour s'entraîner. « L'oeuvre d'une équipe qui rassemble des mathématiciens de tout premier plan ayant une véritable passion pour l'enseignement. Il était grand temps ! » Alain Connes Mathématiques : tout-en-un, pour la licence, niveau L2 ; cours complet avec applications et 760 exercices corrigés [texte imprimé] / Jean-Pierre Ramis, Auteur ; André Warusfel, Auteur ; Jean-Pierre Ramis, Directeur de publication ; André Warusfel, Directeur de publication . - Paris : Dunod, impr. 2007 . - 1 vol. (XXII-1321 p.) : ill., couv. ill. en coul. ; 24 cm. - (Série Ramis) . ISBN : 978-2-10-050743-6 : 52 EUR La couv. porte en plus : "22 modules pour un parcours réussi" Index Langues : Français (fre) Index. décimale : 510 Principes fondamentaux des mathématiques Résumé : Ce cours, composé de 22 modules regroupés en 5 parties, couvre le programme de mathématiques du niveau L2 des filières «Mathématiques», «Informatique» et «Sciences Physiques». Pour chaque module, un parcours de travail est proposé, : en évitant ainsi l'approche linéaire, l'étudiant pourra accorder son apprentissage selon sa filière et ses besoins. L'accent a été mis sur la pédagogie, grâce aux très nombreux exemples et exercices d'applications qui illustrent le cours, de même que par la présence accrue de mathématiques appliqués permettant à l'étudiant de faire le lien avec son domaine d'étude. A la fin de chaque module, un exercice type entièrement corrigé met en oeuvre une méthodologie de résolution, que l'étudiant pourra appliquer aux nombreux exercices d'entraînement proposés. 300 exercices entièrement corrigés illustrent ainsi le cours. Pour aller plus loin, 400 énoncés supplémentaires sont proposés avec des éléments de réponses en fin de volume, les corrigés complets étant disponibles sur cette page, soit en tout 700 exercices corrigés pour s'entraîner. « L'oeuvre d'une équipe qui rassemble des mathématiciens de tout premier plan ayant une véritable passion pour l'enseignement. Il était grand temps ! » Alain Connes

Exemplaires(0)

Disponibilité
aucun exemplaire

---

1 (1 - 7 / 7) Par page : 25 50 100 200