Détail de l'éditeur
les Éd. de l'École polytechnique
localisé à :
Palaiseau
|
Documents disponibles chez cet éditeur
Affiner la recherche Interroger des sources externes
Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : les Éd. de l'École polytechnique Année de publication : impr. 2010 ISBN/ISSN/EAN : 978-2-7302-1569-5 Note générale : La 4ème de couv. porte : "Informatique"
Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Logique symbolique et mathématique Algorithmes Index. décimale : 511 Principes généraux des mathématiques Résumé : Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.
Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : les Éd. de l'École polytechnique, impr. 2010.
ISBN : 978-2-7302-1569-5
La 4ème de couv. porte : "Informatique"
Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Logique symbolique et mathématique Algorithmes Index. décimale : 511 Principes généraux des mathématiques Résumé : Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.
Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 9782730215695MIT001 511/077 Livre Maths&Informatique Fonds mathématiques Disponible 9782730215695MIT002 511/077 Livre Maths&Informatique Fonds mathématiques Disponible 9782730215695MIT003 511/077 Livre Maths&Informatique Fonds mathématiques Disponible
Titre : Groupes et symétries : groupes finis, groupes et algèbres de Lie, représentations Type de document : texte imprimé Auteurs : Yvette Kosmann-Schwarzbach (1941-....), Auteur Editeur : Palaiseau : les Éd. de l'École polytechnique Année de publication : impr. 2005 ISBN/ISSN/EAN : 978-2-7302-1257-1 Catégories : Mathématiques
Mathématiques:Algèbre
Mathématiques:Algèbre:Algèbre LinéaireMots-clés : Représentations de groupes de Lie Manuels d'enseignement supérieur Index. décimale : 512.5 Algèbre linéaire Résumé : La théorie des représentations de groupes, utilisant algèbre, géométrie et analyse, possède de multiples applications aux sciences physiques, en cristallographie, chimie, physique atomique et subatomique, ainsi que dans les théories de champ.
Ce livre est une introduction à cette théorie, à l'usage des étudiants de mathématiques et de physique. Il s'adresse à des lecteurs ayant les connaissances d'algèbre linéaire du premier cycle universitaire. Des exercices pour chaque chapitre et des problèmes corrigés complètent le cours.
L'objet de ce livre est de donner une première vue d'ensemble sur les groupes de symétries et leurs représentations.
On y trouvera l'étude, à l'aide de la théorie des caractères, des représentations des groupes finis, dont les résultats principaux sont ensuite étendus aux groupes compacts en utilisant l'intégrale de Haar.
Dans la suite du cours, la notion d'algèbre de Lie est introduite, celle de groupe de Lie est étudiée en se limitant au cas des groupes de Lie linéaires, et les propriétés essentielles liant groupes et algèbres de Lie sont exposées.
Les exemples fondamentaux pour la physique quantique, le groupe des rotations et le groupe spécial unitaire en dimension 2, sont étudiés en détails, leurs représentations irréductibles sont déterminées, et un chapitre traite des harmoniques sphériques.
Enfin, on aborde sur des exemples l'étude des représentations du groupe spécial unitaire en dimension 3, introduisant les notions de racines et de poids, et l'on montre que la théorie des quarks apparaît comme conséquence des propriétés mathématiques du groupe de symétries.Groupes et symétries : groupes finis, groupes et algèbres de Lie, représentations [texte imprimé] / Yvette Kosmann-Schwarzbach (1941-....), Auteur . - Palaiseau : les Éd. de l'École polytechnique, impr. 2005.
ISBN : 978-2-7302-1257-1
Catégories : Mathématiques
Mathématiques:Algèbre
Mathématiques:Algèbre:Algèbre LinéaireMots-clés : Représentations de groupes de Lie Manuels d'enseignement supérieur Index. décimale : 512.5 Algèbre linéaire Résumé : La théorie des représentations de groupes, utilisant algèbre, géométrie et analyse, possède de multiples applications aux sciences physiques, en cristallographie, chimie, physique atomique et subatomique, ainsi que dans les théories de champ.
Ce livre est une introduction à cette théorie, à l'usage des étudiants de mathématiques et de physique. Il s'adresse à des lecteurs ayant les connaissances d'algèbre linéaire du premier cycle universitaire. Des exercices pour chaque chapitre et des problèmes corrigés complètent le cours.
L'objet de ce livre est de donner une première vue d'ensemble sur les groupes de symétries et leurs représentations.
On y trouvera l'étude, à l'aide de la théorie des caractères, des représentations des groupes finis, dont les résultats principaux sont ensuite étendus aux groupes compacts en utilisant l'intégrale de Haar.
Dans la suite du cours, la notion d'algèbre de Lie est introduite, celle de groupe de Lie est étudiée en se limitant au cas des groupes de Lie linéaires, et les propriétés essentielles liant groupes et algèbres de Lie sont exposées.
Les exemples fondamentaux pour la physique quantique, le groupe des rotations et le groupe spécial unitaire en dimension 2, sont étudiés en détails, leurs représentations irréductibles sont déterminées, et un chapitre traite des harmoniques sphériques.
Enfin, on aborde sur des exemples l'étude des représentations du groupe spécial unitaire en dimension 3, introduisant les notions de racines et de poids, et l'on montre que la théorie des quarks apparaît comme conséquence des propriétés mathématiques du groupe de symétries.Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 9782730212571MIT001 512.5/029 Livre Maths&Informatique Fonds mathématiques Disponible 9782730212571MIT002 512.5/029 Livre Maths&Informatique Fonds mathématiques Disponible 9782730212571MIT003 512.5/029 Livre Maths&Informatique Fonds mathématiques Disponible
Titre : Introduction à la théorie de de Galois Type de document : texte imprimé Auteurs : David Hernandez (1978-....), Auteur ; Yves Laszlo (1964-....), Auteur Editeur : Palaiseau : les Éd. de l'École polytechnique Année de publication : impr. 2013 ISBN/ISSN/EAN : 978-2-7302-1593-0 Catégories : Mathématiques
Mathématiques:AlgèbreMots-clés : Galois, Th Index. décimale : 512 Algèbre Résumé : La théorie de Galois est née au XIXe siècle pour étudier l'existence de formules pour les solutions d'une équation polynomiale (en fonction des coefficients de l'équation). Cette théorie, à la fois puissante et élégante, fut à l'origine d'un pan entier de l'algèbre moderne, et a depuis connu un développement considérable. Elle demeure un sujet de recherche extrêmement actif.
L'objet de ce cours est dans un premier temps d'introduire les bases et outils d'algèbre générale (groupes, anneaux, algèbres, quotients, extensions de corps...) qui permettront dans un deuxième temps de développer la théorie de Galois, ainsi que certaines de ses applications les plus remarquables.
Au-delà de l'intérêt propre du sujet, le cours se veut être une bonne introduction à l'algèbre et à ses diverses applications, tant en mathématiques que dans d'autres disciplines (informatique avec les corps finis, physique ou chimie avec la théorie des groupes par exemple).
Ainsi, aucun prérequis n'est nécessaire.
Ce livre est issu d'un cours donné à l'École polytechnique par le second auteur, puis par le premier. Un des points importants de ce cours est la méthode de réduction modulo p pour le calcul des groupes de Galois, traitée dans ce livre. Le livre contient également un recueil de sujets d'examen donnés aux élèves polytechniciens, accompagnés de leurs corrigés.Introduction à la théorie de de Galois [texte imprimé] / David Hernandez (1978-....), Auteur ; Yves Laszlo (1964-....), Auteur . - Palaiseau : les Éd. de l'École polytechnique, impr. 2013.
ISBN : 978-2-7302-1593-0
Catégories : Mathématiques
Mathématiques:AlgèbreMots-clés : Galois, Th Index. décimale : 512 Algèbre Résumé : La théorie de Galois est née au XIXe siècle pour étudier l'existence de formules pour les solutions d'une équation polynomiale (en fonction des coefficients de l'équation). Cette théorie, à la fois puissante et élégante, fut à l'origine d'un pan entier de l'algèbre moderne, et a depuis connu un développement considérable. Elle demeure un sujet de recherche extrêmement actif.
L'objet de ce cours est dans un premier temps d'introduire les bases et outils d'algèbre générale (groupes, anneaux, algèbres, quotients, extensions de corps...) qui permettront dans un deuxième temps de développer la théorie de Galois, ainsi que certaines de ses applications les plus remarquables.
Au-delà de l'intérêt propre du sujet, le cours se veut être une bonne introduction à l'algèbre et à ses diverses applications, tant en mathématiques que dans d'autres disciplines (informatique avec les corps finis, physique ou chimie avec la théorie des groupes par exemple).
Ainsi, aucun prérequis n'est nécessaire.
Ce livre est issu d'un cours donné à l'École polytechnique par le second auteur, puis par le premier. Un des points importants de ce cours est la méthode de réduction modulo p pour le calcul des groupes de Galois, traitée dans ce livre. Le livre contient également un recueil de sujets d'examen donnés aux élèves polytechniciens, accompagnés de leurs corrigés.Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 9782730215930MIT001 512/181 Livre Maths&Informatique Fonds mathématiques Disponible 9782730215930MIT002 512/181 Livre Maths&Informatique Fonds mathématiques Disponible 9782730215930MIT003 512/181 Livre Maths&Informatique Fonds mathématiques Disponible
