A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Résultat de la recherche
13 résultat(s) recherche sur le mot-clé 'Mathématique' 
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes Faire une suggestionMathématique numériques pour l'ingénieur / Bouchaïb Radi (impr. 2010, cop.2010)
Titre : Mathématique numériques pour l'ingénieur : utilisation de l'outil Matlab ; cours ,exercices de synthèse corrigés Type de document : texte imprime Auteurs : Bouchaïb Radi ; Abdelkhalak El Hami Editeur : Paris : Ellipses Année de publication : impr. 2010, cop.2010 Importance : (VI-227 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-6331-9 Note générale : Avant titre : "Calcul scientifique". - Titre de couv. : "Mathématiques numériques pour l'ingénieur : utilisation de l'outil MATLAB : cours, exercices et problèmes de synthèse corrigés. - Ouvrage niveau B, bases : IUP, Licence
Bibliogr. p. 227. IndexLangues : Français Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 510285 Résumé : Ce livre est le compagnon de tous ceux qui pratiquent le calcul scientifique. Il rassemble l’essentiel des enseignements des techniques numériques dans les écoles d’ingénieurs et les universités. Mais il est remarquable qu’il ne suppose aucune connaissance préalable en analyse numérique et il est toujours de lecture facile.
L’ouvrage expose les différentes méthodes numériques : résolution des systèmes linéaires (directe et itérative), résolution des équations non linéaires, résolution des équations différentielles. Il présente les différents outils d’interpolation, de dérivation et intégrations numériques et d’optimisation sans contraintes.
Chaque chapitre débute par des rappels et des définitions illustrés par des exemples numériques variés et des représentations graphiques. Par souci pédagogique, l’outil Matlab est introduit à la fin de chaque chapitre pour familiariser le lecteur avec cet outil. Chaque chapitre est accompagné de différents exercices de difficulté graduée et des problèmes de synthèse complètement résolus. Certains exercices résolus par Matlab peuvent servir de travaux pratiques.
Note de contenu : Rappel d'algèbre linéaire
Précisions numériques
Interpolation polynomiale
Dérivation numérique
Intégration numérique
Résolution d'équations non linéaires
Norme matricielle et conditionnement
Méthodes directes
Méthodes itératives
Méthodes numériques de calcul des valeurs propres et vecteurs propres
Approximation au sens des moindres carrés
Résolution numérique des équations différentielles
Introduction à l'optimisationEn ligne : http://www.editions-ellipses.fr/PDF/9782729863319_extrait.pdf Permalink : ./index.php?lvl=notice_display&id=12772 Mathématique numériques pour l'ingénieur : utilisation de l'outil Matlab ; cours ,exercices de synthèse corrigés [texte imprime] / Bouchaïb Radi ; Abdelkhalak El Hami . - Paris : Ellipses, impr. 2010, cop.2010 . - (VI-227 p.) : ill., couv. ill. ; 24 cm.
ISBN : 978-2-7298-6331-9
Avant titre : "Calcul scientifique". - Titre de couv. : "Mathématiques numériques pour l'ingénieur : utilisation de l'outil MATLAB : cours, exercices et problèmes de synthèse corrigés. - Ouvrage niveau B, bases : IUP, Licence
Bibliogr. p. 227. Index
Langues : Français
Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 510285 Résumé : Ce livre est le compagnon de tous ceux qui pratiquent le calcul scientifique. Il rassemble l’essentiel des enseignements des techniques numériques dans les écoles d’ingénieurs et les universités. Mais il est remarquable qu’il ne suppose aucune connaissance préalable en analyse numérique et il est toujours de lecture facile.
L’ouvrage expose les différentes méthodes numériques : résolution des systèmes linéaires (directe et itérative), résolution des équations non linéaires, résolution des équations différentielles. Il présente les différents outils d’interpolation, de dérivation et intégrations numériques et d’optimisation sans contraintes.
Chaque chapitre débute par des rappels et des définitions illustrés par des exemples numériques variés et des représentations graphiques. Par souci pédagogique, l’outil Matlab est introduit à la fin de chaque chapitre pour familiariser le lecteur avec cet outil. Chaque chapitre est accompagné de différents exercices de difficulté graduée et des problèmes de synthèse complètement résolus. Certains exercices résolus par Matlab peuvent servir de travaux pratiques.
Note de contenu : Rappel d'algèbre linéaire
Précisions numériques
Interpolation polynomiale
Dérivation numérique
Intégration numérique
Résolution d'équations non linéaires
Norme matricielle et conditionnement
Méthodes directes
Méthodes itératives
Méthodes numériques de calcul des valeurs propres et vecteurs propres
Approximation au sens des moindres carrés
Résolution numérique des équations différentielles
Introduction à l'optimisationEn ligne : http://www.editions-ellipses.fr/PDF/9782729863319_extrait.pdf Permalink : ./index.php?lvl=notice_display&id=12772 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité MTH420/1 MTH420 Livre Magasin d'Ouvrages / FGE Mathématique Consultation sur place
Exclu du prêtMTH420/2 MTH420 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH420/3 MTH420 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH420/4 MTH420 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH420/5 MTH420 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH420/6 MTH420 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH420/7 MTH420 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH420/8 MTH420 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH420/9 MTH420 Livre Magasin d'Ouvrages / FGE Mathématique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Modélisation ; identification et régulation de tension d'une génératrice asynchrone auto-excitée Brahmi, Fairouz La régulation industrielle Flaus, Jean-Marie Le Moteur asynchrone Mutrel, Luc Etude des pertes d'un moteur asynchrone à cage d'écureuil Aigoun, Abdellah Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Mathématiques & Informatique : les méthodes numériques Type de document : texte imprime Auteurs : Mohamed Gaci Editeur : Tipaza : Berti Ed. Année de publication : 1991 Importance : 142 p. Présentation : ill. Format : 24 cm Note générale : Bibliogr. Langues : Français Mots-clés : Mathématique Algorithmique numérique Index. décimale : 518 Résumé : Ce livre est constitué à partir d'un cours sur les mathématiques appliquées que l'auteur a enseigné respectivement à l'universitè de CLERMONT FERRAND il et aux étudiants ingénieurs 3ème année de l’école nationale polytechnique d'el harrach alger.
En effet cet ouvrage traite de toutes les méthodes numériques indispensable à la formation d’ingénieur de toutes spécialité ainsi qu'aux étudiants des filières de licences et D.E.S Des options scientifiques et techniques.
Les méthodes sont présentées sous une forme pratique de telle manière à être programmées sur ordinateur,dont certaines sont illustrées par des programmes écrits en FORTRAN 77 OU en PASCAL.Permalink : ./index.php?lvl=notice_display&id=12309 Mathématiques & Informatique : les méthodes numériques [texte imprime] / Mohamed Gaci . - Tipaza : Berti Ed., 1991 . - 142 p. : ill. ; 24 cm.
Bibliogr.
Langues : Français
Mots-clés : Mathématique Algorithmique numérique Index. décimale : 518 Résumé : Ce livre est constitué à partir d'un cours sur les mathématiques appliquées que l'auteur a enseigné respectivement à l'universitè de CLERMONT FERRAND il et aux étudiants ingénieurs 3ème année de l’école nationale polytechnique d'el harrach alger.
En effet cet ouvrage traite de toutes les méthodes numériques indispensable à la formation d’ingénieur de toutes spécialité ainsi qu'aux étudiants des filières de licences et D.E.S Des options scientifiques et techniques.
Les méthodes sont présentées sous une forme pratique de telle manière à être programmées sur ordinateur,dont certaines sont illustrées par des programmes écrits en FORTRAN 77 OU en PASCAL.Permalink : ./index.php?lvl=notice_display&id=12309 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité MTH97/1 MTH97 Livre Magasin d'Ouvrages / FGE Mathématique Consultation sur place
Exclu du prêtMTH97/2 MTH97 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH97/3 MTH97 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH97/4 MTH97 Livre Magasin d'Ouvrages / FGE Mathématique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Cours de mathématiques .Tome 1, Algèbre Type de document : texte imprime Auteurs : Edmond Ramis ; Deschamps Claude Mention d'édition : 2e éd. Editeur : Paris : Dunod Année de publication : 2001 Collection : Les Cours de Référence Importance : 440 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005625-5 Note générale : Index Langues : Français Mots-clés : Mathématique Algèbre Lois Groupes Anneaux Nombres Complexes Polynômes Espaces vectoriels Corps Equations Endomorphismes Index. décimale : 512 Résumé : Les volumes de la série Ramis constituent des ouvrages de référence qui serviront aux étudiants tout au long de leurs études et auxquels ils pourront se reporter par la suite. Ils exposent, en algèbre, en analyse et en géométrie, les notions fondamentales dont tout scientifique a besoin. Ils sont donc principalement destinés aux étudiants des premiers cycles et classes préparatoires, aux candidats à la licence et aux concours de recrutement de l'enseignement secondaire, ainsi qu'aux élèves des écoles d'ingénieurs. Ils proposent de nombreux exercices.
Le volume 1 traite de l'algèbre générale et de l'algèbre linéaire. On y aborde, dans une première partie, l'étude des structures fondamentales des groupes, anneaux, corps et espaces vectoriels. La seconde partie du livre est consacrée à l'algèbre linéaire et aux problèmes de réduction des endomorphismes.Note de contenu : - Ensembles, Relations, Lois de composition
- Groupes
- Anneaux et corps
- Modules et espaces vectoriels
- Nombres complexes
- Polynômes
- Fractions rationnelles à une ou plusieurs indéterminées
- Equations algébriques
- Algèbre linéaire
- Formes multilinéaires, déterminants
- Applications des déterminants
- Réduction des endomorphismes
- Index alphabétique et index des notationsPermalink : ./index.php?lvl=notice_display&id=12294 Cours de mathématiques .Tome 1, Algèbre [texte imprime] / Edmond Ramis ; Deschamps Claude . - 2e éd. . - Paris : Dunod, 2001 . - 440 p. : ill. ; 24 cm. - (Les Cours de Référence) .
ISBN : 978-2-10-005625-5
Index
Langues : Français
Mots-clés : Mathématique Algèbre Lois Groupes Anneaux Nombres Complexes Polynômes Espaces vectoriels Corps Equations Endomorphismes Index. décimale : 512 Résumé : Les volumes de la série Ramis constituent des ouvrages de référence qui serviront aux étudiants tout au long de leurs études et auxquels ils pourront se reporter par la suite. Ils exposent, en algèbre, en analyse et en géométrie, les notions fondamentales dont tout scientifique a besoin. Ils sont donc principalement destinés aux étudiants des premiers cycles et classes préparatoires, aux candidats à la licence et aux concours de recrutement de l'enseignement secondaire, ainsi qu'aux élèves des écoles d'ingénieurs. Ils proposent de nombreux exercices.
Le volume 1 traite de l'algèbre générale et de l'algèbre linéaire. On y aborde, dans une première partie, l'étude des structures fondamentales des groupes, anneaux, corps et espaces vectoriels. La seconde partie du livre est consacrée à l'algèbre linéaire et aux problèmes de réduction des endomorphismes.Note de contenu : - Ensembles, Relations, Lois de composition
- Groupes
- Anneaux et corps
- Modules et espaces vectoriels
- Nombres complexes
- Polynômes
- Fractions rationnelles à une ou plusieurs indéterminées
- Equations algébriques
- Algèbre linéaire
- Formes multilinéaires, déterminants
- Applications des déterminants
- Réduction des endomorphismes
- Index alphabétique et index des notationsPermalink : ./index.php?lvl=notice_display&id=12294 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité MTH87/T1/1 MTH87/T1 Livre Magasin d'Ouvrages / FGE Mathématique Consultation sur place
Exclu du prêtMTH87/T1/2 MTH87/T1 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH87/T1/3 MTH87/T1 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH87/T1/4 MTH87/T1 Livre Magasin d'Ouvrages / FGE Mathématique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Calcul Différentiel et intégral . Tome 2 Type de document : texte imprime Auteurs : N. Piskounov Mention d'édition : 9e éd. Editeur : Moscou : Ed.Mir. Année de publication : 1980 Importance : 614 p. Présentation : ill. Format : 23 cm Note générale : 9782729893415 Index Langues : Français Mots-clés : Calcul Intégral Equations Multiples Séries Fourier Mathématique Opérationnel Statistique Probabilité Matrices Systèmes Linéaires Index. décimale : 515 Permalink : ./index.php?lvl=notice_display&id=12418 Calcul Différentiel et intégral . Tome 2 [texte imprime] / N. Piskounov . - 9e éd. . - Moscou : Ed.Mir., 1980 . - 614 p. : ill. ; 23 cm.
9782729893415 Index
Langues : Français
Mots-clés : Calcul Intégral Equations Multiples Séries Fourier Mathématique Opérationnel Statistique Probabilité Matrices Systèmes Linéaires Index. décimale : 515 Permalink : ./index.php?lvl=notice_display&id=12418 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité MTH57/T2/1 MTH57/T2 Livre Magasin d'Ouvrages / FGE Mathématique Consultation sur place
Exclu du prêtMTH57/T2/2 MTH57/T2 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH57/T2/3 MTH57/T2 Livre Magasin d'Ouvrages / FGE Mathématique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Commande des systèmes, performance et robustesse Bourlès, Henri Exercices méthodiques de calcul différentiel et intégral Brahy, Luc Electrotechnique Wildi, Théodore La régulation industrielle Flaus, Jean-Marie Méthodes numériques et optimisation Corriou, Jean-Pierre Problèmes d’électronique analogique.Tome1, Amplification ,filtrage, oscillateurs. multiplicateurs Deluzurieux, Alain Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Logique élémentaire : cours de base pour informaticiens (suplément) Type de document : texte imprime Auteurs : Jacques Zahnd Mention d'édition : 2e èd. Editeur : Lausanne : P.P.U.R. Année de publication : 2003 Collection : Informatique Importance : 427p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-360-4 Note générale : Bibliogr. Index Langues : Français Mots-clés : Logique Langage Informatique Mathématique Déduction Opérateurs Résumé :
L’informaticien doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, et il a besoin pour cela d’un outil de base. Essentiellement pédagogique, cet ouvrage se propose donc d’enseigner les techniques élémentaires pour raisonner non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c’est-à-dire en appliquant des règles précises de manipulation de symboles ne laissant aucune place à l’ambiguïté et à l’erreur selon les règles de la logique. Il est destiné aux étudiants du 1er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie élémentaire des ensembles.Note de contenu :
1 Introduction – Buts généraux – La logique – Plan de l’ouvrage
Langages formels – Expressions d’un langage – Syntaxe et sémantique – Termes et propositions – Langage et métalangage
Symboles d’un langage du premier ordre – Exemple mathématique – Exemple informatique – Variables et constantes individuelles – Symboles fonctionnels – Symboles relationnels – Connecteurs logiques – Quantificateurs – Donn´ee d’un langage du premier ordre
Syntaxe d’un langage du premier ordre – Diagrammes et règles syntaxiques – Constructions génératrices – Arbres des termes et propositions – Variables libres et variables liées – Substitutions – Termes librement substituables – Exercices
Théories ou systèmes de déduction – Déductions – Hypothèses et jugements – Théories – Démonstrations et déductions – Théorèmes – Propositions vraies, propositions fausses – Extensions d’une théorie
Logique propositionnelle – Déductions élémentaires – Quelques démonstrations – Démonstrations naturelles – La loi du tiers exclu et la logique intuitionniste – Déductions structurelles
Déductions dérivées de logique propositionnelle – Proposition fausse et contradictions – Schémas d’implication – Disjonctions de cas contraires – Propriétés de l’équivalence – Substitutivité de l’équivalence – Schémas de déduction booléens – La règle de dualité – Formes booéennes de l’implication et de l’équivalence – Simplifications conditionnelles – Conditions nécessaires et suffisantes – Exercices
Introduction à la théorie des ensembles – Le rôle de la théorie des ensembles – L’univers de la théorie des ensembles
Logique des prédicats – Déductions élémentaires – Convention d’un langage universel – Particularisations – Généralisations – Rôle des déductions structurelles – Introduction de quantificateurs existentiels – Elimination de quantificateurs existentiels
Déductions dérivées de logique des prédicats – Substitutivité de l’équivalence – Dualité en logique des prédicats – Permutation distribution de quantificateurs – Changements de variables liées – Particularisations simultanées – Exemplifications – Application à la théorie des ensembles – Formes prénexes – Quantificateurs typés
Logique des prédicats avec égalité – Déductions élémentaires – Schémas de déduction dérivés – Application à la théorie des ensembles – Quantificateurs d’unicité – Exercices
Extensions définitionnelles – Axiomes et schémas définitionnels – Couples et graphes
Langages du premier ordre à opérateurs généraux – Opérateurs généraux – Sélecteurs – Termes conditionnels
Opérateurs de réunion et de collection de la théorie des ensembles – Opérateurs de réunion – Opérateurs de collection simples – Opérateurs de collection généraux
Fonctions – Fonctions et applications – Opérateurs d’abstraction – Propriétés de fonctions
Annexe – Démonstrations de théorie des ensembles
Bibliographie
IndexPermalink : ./index.php?lvl=notice_display&id=10119 Logique élémentaire : cours de base pour informaticiens (suplément) [texte imprime] / Jacques Zahnd . - 2e èd. . - Lausanne : P.P.U.R., 2003 . - 427p. : ill. ; 24 cm. - (Informatique) .
ISBN : 978-2-88074-360-4
Bibliogr. Index
Langues : Français
Mots-clés : Logique Langage Informatique Mathématique Déduction Opérateurs Résumé :
L’informaticien doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, et il a besoin pour cela d’un outil de base. Essentiellement pédagogique, cet ouvrage se propose donc d’enseigner les techniques élémentaires pour raisonner non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c’est-à-dire en appliquant des règles précises de manipulation de symboles ne laissant aucune place à l’ambiguïté et à l’erreur selon les règles de la logique. Il est destiné aux étudiants du 1er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie élémentaire des ensembles.Note de contenu :
1 Introduction – Buts généraux – La logique – Plan de l’ouvrage
Langages formels – Expressions d’un langage – Syntaxe et sémantique – Termes et propositions – Langage et métalangage
Symboles d’un langage du premier ordre – Exemple mathématique – Exemple informatique – Variables et constantes individuelles – Symboles fonctionnels – Symboles relationnels – Connecteurs logiques – Quantificateurs – Donn´ee d’un langage du premier ordre
Syntaxe d’un langage du premier ordre – Diagrammes et règles syntaxiques – Constructions génératrices – Arbres des termes et propositions – Variables libres et variables liées – Substitutions – Termes librement substituables – Exercices
Théories ou systèmes de déduction – Déductions – Hypothèses et jugements – Théories – Démonstrations et déductions – Théorèmes – Propositions vraies, propositions fausses – Extensions d’une théorie
Logique propositionnelle – Déductions élémentaires – Quelques démonstrations – Démonstrations naturelles – La loi du tiers exclu et la logique intuitionniste – Déductions structurelles
Déductions dérivées de logique propositionnelle – Proposition fausse et contradictions – Schémas d’implication – Disjonctions de cas contraires – Propriétés de l’équivalence – Substitutivité de l’équivalence – Schémas de déduction booléens – La règle de dualité – Formes booéennes de l’implication et de l’équivalence – Simplifications conditionnelles – Conditions nécessaires et suffisantes – Exercices
Introduction à la théorie des ensembles – Le rôle de la théorie des ensembles – L’univers de la théorie des ensembles
Logique des prédicats – Déductions élémentaires – Convention d’un langage universel – Particularisations – Généralisations – Rôle des déductions structurelles – Introduction de quantificateurs existentiels – Elimination de quantificateurs existentiels
Déductions dérivées de logique des prédicats – Substitutivité de l’équivalence – Dualité en logique des prédicats – Permutation distribution de quantificateurs – Changements de variables liées – Particularisations simultanées – Exemplifications – Application à la théorie des ensembles – Formes prénexes – Quantificateurs typés
Logique des prédicats avec égalité – Déductions élémentaires – Schémas de déduction dérivés – Application à la théorie des ensembles – Quantificateurs d’unicité – Exercices
Extensions définitionnelles – Axiomes et schémas définitionnels – Couples et graphes
Langages du premier ordre à opérateurs généraux – Opérateurs généraux – Sélecteurs – Termes conditionnels
Opérateurs de réunion et de collection de la théorie des ensembles – Opérateurs de réunion – Opérateurs de collection simples – Opérateurs de collection généraux
Fonctions – Fonctions et applications – Opérateurs d’abstraction – Propriétés de fonctions
Annexe – Démonstrations de théorie des ensembles
Bibliographie
IndexPermalink : ./index.php?lvl=notice_display&id=10119 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité C192/1 C192 Livre Magasin d'Ouvrages / FGE Commandes Consultation sur place
Exclu du prêtC192/2 C192 Livre Magasin d'Ouvrages / FGE Commandes Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
