Algèbre et analyse / Stéphane Balac

Public ISBD Titre : Algèbre et analyse : Cours mathématiques de première année avec exercices corrigés Type de document : texte imprimé Auteurs : Stéphane Balac, Mention d'édition : 2 éd Editeur : Lausanne : Presses Polyteniques et Universitaires Romandes Année de publication : 2009 Importance : 1092p Présentation : couv.ill.fig.bib.index Format : 24x16 cm ISBN/ISSN/EAN : 978-2-88074-828-9 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : Cet ouvrage, réunissant en un tout cohérent algèbre et analyse, s'adresse de manière plus spécifique aux élèves de première année des cycles préparatoires intégrés des écoles d'ingénieurs mais peut être utilisé avec profit par tout étudiant se destinant à des études supérieures d'ingénieur. Il est issu de l'enseignement dispensé par les auteurs dans la filière ASINSA qui est l'une des trois filières de premier cycle international de l'INSA de Lyon. A ce titre, il ne constitue pas seulement une somme de connaissances mathématiques de 1ère année de l'enseignement supérieur mais vise à présenter de manière précise les résultats essentiels à une formation d'ingénieur généraliste. Cette nouvelle édition revue et augmentée est divisée en 20 chapitres regroupés en 5 grandes parties : ensembles numériques fondamentaux, polynômes et fractions rationnelles, algèbre linéaire, calcul différentiel et calcul intégral. Chaque chapitre contient de courts exercices visant à tester la bonne compréhension des notions introduites et se termine par quelques exercices de synthèse. Une correction détaillée et commentée de tous les exercices est fournie en fin de chapitre. Le logiciel de calcul MAPLE est utilisé dans l'ouvrage pour illustrer certaines notions introduites. Le lecteur trouvera une suite naturelle à ce cours de mathématiques de première année dans l'ouvrage " Analyse et algèbre, Cours de mathématiques de deuxième année " publié dans la même collection et chez le même éditeur par Stéphane Balac et Laurent Chupin. Note de contenu : "Sommaire Préliminaires Introduction à la logique mathématique Structures fondamentales Ensemble numériques fondamentaux Le corps des réels Le corps des complexes Suites numériques Polynômes et fractions rationnelles L'anneau des polynômes Le corps des fractions rationnelles Algèbre linéaire Les espaces vectoriels Les applications linéaires Les matrices Systèmes d'équations linéaires Réduction des endomorphismes Calcul différentiel Continuité des fonctions réelles d'une variable réelle Fonctions usuelles Comparaison locale de fonctions Dérivabilité des fonctions réelles d'une variable réelle Développements limités Calcul intégral L'intégrale de Riemann L'intégrale généralisée Équations différentielles linéaires" Algèbre et analyse : Cours mathématiques de première année avec exercices corrigés [texte imprimé] / Stéphane Balac,  . -  2 éd . - Lausanne : Presses Polyteniques et Universitaires Romandes, 2009 . - 1092p : couv.ill.fig.bib.index ; 24x16 cm. ISBN : 978-2-88074-828-9 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : Cet ouvrage, réunissant en un tout cohérent algèbre et analyse, s'adresse de manière plus spécifique aux élèves de première année des cycles préparatoires intégrés des écoles d'ingénieurs mais peut être utilisé avec profit par tout étudiant se destinant à des études supérieures d'ingénieur. Il est issu de l'enseignement dispensé par les auteurs dans la filière ASINSA qui est l'une des trois filières de premier cycle international de l'INSA de Lyon. A ce titre, il ne constitue pas seulement une somme de connaissances mathématiques de 1ère année de l'enseignement supérieur mais vise à présenter de manière précise les résultats essentiels à une formation d'ingénieur généraliste. Cette nouvelle édition revue et augmentée est divisée en 20 chapitres regroupés en 5 grandes parties : ensembles numériques fondamentaux, polynômes et fractions rationnelles, algèbre linéaire, calcul différentiel et calcul intégral. Chaque chapitre contient de courts exercices visant à tester la bonne compréhension des notions introduites et se termine par quelques exercices de synthèse. Une correction détaillée et commentée de tous les exercices est fournie en fin de chapitre. Le logiciel de calcul MAPLE est utilisé dans l'ouvrage pour illustrer certaines notions introduites. Le lecteur trouvera une suite naturelle à ce cours de mathématiques de première année dans l'ouvrage " Analyse et algèbre, Cours de mathématiques de deuxième année " publié dans la même collection et chez le même éditeur par Stéphane Balac et Laurent Chupin. Note de contenu : "Sommaire Préliminaires Introduction à la logique mathématique Structures fondamentales Ensemble numériques fondamentaux Le corps des réels Le corps des complexes Suites numériques Polynômes et fractions rationnelles L'anneau des polynômes Le corps des fractions rationnelles Algèbre linéaire Les espaces vectoriels Les applications linéaires Les matrices Systèmes d'équations linéaires Réduction des endomorphismes Calcul différentiel Continuité des fonctions réelles d'une variable réelle Fonctions usuelles Comparaison locale de fonctions Dérivabilité des fonctions réelles d'une variable réelle Développements limités Calcul intégral L'intégrale de Riemann L'intégrale généralisée Équations différentielles linéaires"

Réservation

Réserver ce document

Exemplaires (18)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12/196734	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Exclu du prêt
12/196735	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266823	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266824	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266825	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266826	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266827	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266828	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266829	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266830	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269684	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269685	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269686	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269687	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269688	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269689	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269690	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269691	L/511.008	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible

Les Algorithmes De Base / Michel Le Corff

Public ISBD Titre : Les Algorithmes De Base : Modélisation Numérique Sous Excel Type de document : texte imprimé Auteurs : Michel Le Corff, Editeur : Paris : Ellipses Année de publication : 2011 Importance : 331p Présentation : couv.ill.fig.tab.bib Format : 24x16.5 cm ISBN/ISSN/EAN : 978-2-7298-6549-8 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : "Nous sommes tous, étudiants, ingénieurs, enseignants, chercheurs, devenus des consommateurs de calculs. Aujourd'hui les mathématiques numériques deviennent un produit industriel comme un autre, on n'hésite plus à modéliser une situation, un concept, un jeu, une idée et le calcul numérique apporte par la puissance des machines et la magie de l'écran, une visualisation des résultats. De très nombreux logiciels, purement mathématiques ou alors très spécialisés, apportent des solutions précises et fiables, et tous s'appuient sur des algorithmes connus pour certains depuis des siècles. De nombreux ouvrages de mathématiques traitent ces algorithmes avec toute la rigueur et la précision indispensables mais occultent souvent la simple mise en oeuvre. A l'opposé, les documentations de logiciels, spécialisés expliquent avec des milliers de détails la modélisation des situations et escamotent le minimum théorique indispensable. La compréhension de ces algorithmes fondamentaux et leur utilisation judicieuse passent nécessairement par une programmation minimale. Le tableur EXCEL, de par son type de programmation, permet une mise en oeuvre rapide de ces principaux algorithmes et surtout une visualisation immédiate de leurs structure et paramètres. Ce livre est destiné à la fois aux étudiants de premier cycle universitaire souhaitant découvrir "" par l'exemple "" les techniques indispensables du calcul numérique et aux étudiants de second cycle voulant consolider leurs bases dans le domaine de l'analyse numérique. " Note de contenu : "Sommaire Le problème de l'ajustement L'ajustement - les travaux pratiques Dérivation et intégration numérique Dérivation et intégration numérique - les travaux pratiques Résolution numérique d'équations différentielles et d'équations aux dérivées partielles linéaires Résolution numérique d'équations différentielles et d'équations aux dérivées partielles linéaires - les travaux pratiques Calcul matriciel - géométrie projective - systèmes d'équations linéaires Calcul matriciel - géométrie projective - systèmes d'équations linéaires - les travaux pratiques Analyse de Fourier Analyse de Fourier - les travaux pratiques Les fractales Bibliographie" Les Algorithmes De Base : Modélisation Numérique Sous Excel [texte imprimé] / Michel Le Corff,  . - Paris : Ellipses, 2011 . - 331p : couv.ill.fig.tab.bib ; 24x16.5 cm. ISBN : 978-2-7298-6549-8 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : "Nous sommes tous, étudiants, ingénieurs, enseignants, chercheurs, devenus des consommateurs de calculs. Aujourd'hui les mathématiques numériques deviennent un produit industriel comme un autre, on n'hésite plus à modéliser une situation, un concept, un jeu, une idée et le calcul numérique apporte par la puissance des machines et la magie de l'écran, une visualisation des résultats. De très nombreux logiciels, purement mathématiques ou alors très spécialisés, apportent des solutions précises et fiables, et tous s'appuient sur des algorithmes connus pour certains depuis des siècles. De nombreux ouvrages de mathématiques traitent ces algorithmes avec toute la rigueur et la précision indispensables mais occultent souvent la simple mise en oeuvre. A l'opposé, les documentations de logiciels, spécialisés expliquent avec des milliers de détails la modélisation des situations et escamotent le minimum théorique indispensable. La compréhension de ces algorithmes fondamentaux et leur utilisation judicieuse passent nécessairement par une programmation minimale. Le tableur EXCEL, de par son type de programmation, permet une mise en oeuvre rapide de ces principaux algorithmes et surtout une visualisation immédiate de leurs structure et paramètres. Ce livre est destiné à la fois aux étudiants de premier cycle universitaire souhaitant découvrir "" par l'exemple "" les techniques indispensables du calcul numérique et aux étudiants de second cycle voulant consolider leurs bases dans le domaine de l'analyse numérique. " Note de contenu : "Sommaire Le problème de l'ajustement L'ajustement - les travaux pratiques Dérivation et intégration numérique Dérivation et intégration numérique - les travaux pratiques Résolution numérique d'équations différentielles et d'équations aux dérivées partielles linéaires Résolution numérique d'équations différentielles et d'équations aux dérivées partielles linéaires - les travaux pratiques Calcul matriciel - géométrie projective - systèmes d'équations linéaires Calcul matriciel - géométrie projective - systèmes d'équations linéaires - les travaux pratiques Analyse de Fourier Analyse de Fourier - les travaux pratiques Les fractales Bibliographie"

Réservation

Réserver ce document

Exemplaires (18)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13/201664	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Exclu du prêt
13/201665	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266956	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266957	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266958	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266959	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266960	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266961	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266962	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/266963	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269777	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269778	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269779	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269780	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269781	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269782	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269783	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
15/269784	L/511.011	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible

Eléments de théorie des graphes / Alain, Bretto

Public ISBD Titre : Eléments de théorie des graphes Type de document : texte imprimé Auteurs : Alain, Bretto, Editeur : france : Springer Année de publication : 2012 Importance : 371 P Présentation : Couv.illi.fig.tab.bib.ind Format : 23.5×15.5 cm ISBN/ISSN/EAN : 978-2-8178-0280-0 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : "La plupart des notions élémentaires et classiques y sont introduites selon une approche originale, précise et rigoureuse. La quasi-totalité des résultats énoncés font l'objet de démonstrations détaillées. L'aspect topologique et l'aspect algébrique, derniers avatars de cette théorie, ont été développés de manière approfondie. La variété des thèmes abordés a pour objectif de conduire le lecteur à appréhender les graphes dans toute leur diversité afin d'en percevoir la puissance en tant qu'outil mathématique. L'accent a également été mis sur les structures de données et les algorithmes associés aux graphes permettant la programmation d'applications pratiques. Ce livre peut être d'usage courant pour les étudiants en informatique ou en mathématiques du niveau licence et master, en université et en écoles d'ingénieurs. " Eléments de théorie des graphes [texte imprimé] / Alain, Bretto,  . - france : Springer, 2012 . - 371 P : Couv.illi.fig.tab.bib.ind ; 23.5×15.5 cm. ISBN : 978-2-8178-0280-0 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : "La plupart des notions élémentaires et classiques y sont introduites selon une approche originale, précise et rigoureuse. La quasi-totalité des résultats énoncés font l'objet de démonstrations détaillées. L'aspect topologique et l'aspect algébrique, derniers avatars de cette théorie, ont été développés de manière approfondie. La variété des thèmes abordés a pour objectif de conduire le lecteur à appréhender les graphes dans toute leur diversité afin d'en percevoir la puissance en tant qu'outil mathématique. L'accent a également été mis sur les structures de données et les algorithmes associés aux graphes permettant la programmation d'applications pratiques. Ce livre peut être d'usage courant pour les étudiants en informatique ou en mathématiques du niveau licence et master, en université et en écoles d'ingénieurs. "

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14/230829	L/511.017	Livre	Bibliothèque Science et Technologie	indéterminé	Exclu du prêt

Initiation à la logique formelle / Lucas, Thierry

Public ISBD Titre : Initiation à la logique formelle : exercices et corrigés Type de document : texte imprimé Auteurs : Lucas, Thierry, Mention d'édition : 4 éd Editeur : Paris : De Boeck Année de publication : 2014 Importance : 263 p Présentation : Couv.ill. img. tab. schém. Index Format : 24×16 cm ISBN/ISSN/EAN : 978-2-8041-8248-9 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : "Une introduction pratique et didactique à la logique formelle Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique. Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l'apport d'un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l'expérience d'enseignement." Initiation à la logique formelle : exercices et corrigés [texte imprimé] / Lucas, Thierry,  . -  4 éd . - Paris : De Boeck, 2014 . - 263 p : Couv.ill. img. tab. schém. Index ; 24×16 cm. ISBN : 978-2-8041-8248-9 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : "Une introduction pratique et didactique à la logique formelle Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique. Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l'apport d'un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l'expérience d'enseignement."

Réservation

Réserver ce document

Exemplaires (4)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16/273541	L/511.030	Livre	Bibliothèque Science et Technologie	indéterminé	Exclu du prêt
16/273542	L/511.030	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
16/273543	L/511.030	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
16/273544	L/511.030	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible

Du modèle à la simulation informatique / Varenne, Franck

Public ISBD Titre : Du modèle à la simulation informatique Type de document : texte imprimé Auteurs : Varenne, Franck, Editeur : Sorbonne : J. Vrin Année de publication : 2007 Importance : 249 P Présentation : couv. il. Index. bibliog. Format : 21.5x13.5 cm ISBN/ISSN/EAN : 978-2-7116-1925-2 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : "Ce livre retrace la récente évolution, au cours des trente dernières années, de quelques uns des principaux types de modélisation de la croissance et de la morphogenèse des plantes vers des simulations informatiques dont la fonction se complexifie et ne se réduit plus au calcul d'un modèle. ? travers ces cas, il montre comment, dans les sciences expérimentales à objets complexes, les modèles mathématiques et statistiques, ayant d'abord supplanté les théories mathématiques des siècles précédents, ont été eux-mêmes partiellement supplantés, à partir des années 1990, par les simulations. Cette évolution générale a eu pour effet de donner un rôle épistémique renouvelé aux formalisations dès lors qu'elles devenaient fortement assises sur et non plus seulement traitées par l'infrastructure informatique, ce qui était encore le cas des premières simulations sur ordinateur. Ainsi, les modélisateurs eux-mêmes considèrent certaines de leurs simulations pluriformalisées comme autant d'""expérimentations virtuelles"". Que signifie techniquement, mais aussi d'un point de vue épistémologique, cette empirie seconde ? Comment la distinguer de cette créativité proprement interne aux mathématiques dont la philosophie des sciences a déjà su rendre compte ? Comprendre cette évolution inséparablement technique et épistémologique, appréhender les besoins auxquels elle a répondu, ainsi que les préventions épistémologiques qu'elle a dû combattre (dont l'iconoclasme épistémologique si vivace au XXe siècle), nécessite de ressaisir, dans son contexte, la naissance de la méthode des simulations, tant dans ses techniques, ses opérations, ses instruments - au premier rang duquel figure l'ordinateur - que dans ses épistémologies de terrain, souvent reprises, mais parfois improvisées, novatrices et, de ce fait, décisives. " Note de contenu : "SIMULATION GEOMETRIQUE ET BOTANIQUE La simulation probabiliste des formes biologiques ramifiées : Cohen Rôles épistémiques de la programmation modulaire, de la simulation et de la visualisation Première simulation géométrique et réaliste des arbres MODELE LOIQUE ET SIMULATION ALGORITHMIQUE DES ALGUES Un botaniste convaincu par le positivisme logique Axiomatique inutilisable et axiomatique utilisée De la théorie logique à la théorie des automates Le modèle développemental et les règles de réécriture La controverse avec Brian Carey Goodwin au sujet des formalismes naturels LIMITE DES MODELES BIOMETRIQUES ET PASSAGE A LA SIMULATION EN AGRONOMIE Le contexte institutionnel et technique de l'IFCC Une première application de la simulation des plantes en agronomie Modélisation fragmentée et simulation géométrique Simulation, mimétisme et usage sous-symbolique des formalismes UNE SIMULATION ARCHITECTURALE, ALEATOIRE ET UNIVERSELLE Une avancée en botanique - la notion de modèle architectural La recherche du réalisme botanique CONVERGENCE ENTRE SIMULATION INTEGRATIVE ET INFORMATIQUE GRAPHIQUE Le redémarrage de la recherche en simulation architecturale Thèse de Jaeger - modèle et préfixés et synthèse d'images botaniques Thèse de Blaise - simulation du parallélisme des bourgeons CONVERGENCE ENTRE SIMULATION UNIVERSELLE ET FORESTERIE (1990-1998) Une controverse entre modélisateurs - l'INRIA et CIRAD Convergence conceptuelle et institutionnelle - le laboratoire associé entre l'INRIA/CIRAD REMATHEMISATION DES SIMULATIONS (A PARTIR DE 1998) Le premier modèle mixte structure-fonction "" l'efficience de l'eau "" L'association de l'AMAP et de l'INRIA - sous structure et factorisation" Du modèle à la simulation informatique [texte imprimé] / Varenne, Franck,  . - Sorbonne : J. Vrin, 2007 . - 249 P : couv. il. Index. bibliog. ; 21.5x13.5 cm. ISBN : 978-2-7116-1925-2 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : "Ce livre retrace la récente évolution, au cours des trente dernières années, de quelques uns des principaux types de modélisation de la croissance et de la morphogenèse des plantes vers des simulations informatiques dont la fonction se complexifie et ne se réduit plus au calcul d'un modèle. ? travers ces cas, il montre comment, dans les sciences expérimentales à objets complexes, les modèles mathématiques et statistiques, ayant d'abord supplanté les théories mathématiques des siècles précédents, ont été eux-mêmes partiellement supplantés, à partir des années 1990, par les simulations. Cette évolution générale a eu pour effet de donner un rôle épistémique renouvelé aux formalisations dès lors qu'elles devenaient fortement assises sur et non plus seulement traitées par l'infrastructure informatique, ce qui était encore le cas des premières simulations sur ordinateur. Ainsi, les modélisateurs eux-mêmes considèrent certaines de leurs simulations pluriformalisées comme autant d'""expérimentations virtuelles"". Que signifie techniquement, mais aussi d'un point de vue épistémologique, cette empirie seconde ? Comment la distinguer de cette créativité proprement interne aux mathématiques dont la philosophie des sciences a déjà su rendre compte ? Comprendre cette évolution inséparablement technique et épistémologique, appréhender les besoins auxquels elle a répondu, ainsi que les préventions épistémologiques qu'elle a dû combattre (dont l'iconoclasme épistémologique si vivace au XXe siècle), nécessite de ressaisir, dans son contexte, la naissance de la méthode des simulations, tant dans ses techniques, ses opérations, ses instruments - au premier rang duquel figure l'ordinateur - que dans ses épistémologies de terrain, souvent reprises, mais parfois improvisées, novatrices et, de ce fait, décisives. " Note de contenu : "SIMULATION GEOMETRIQUE ET BOTANIQUE La simulation probabiliste des formes biologiques ramifiées : Cohen Rôles épistémiques de la programmation modulaire, de la simulation et de la visualisation Première simulation géométrique et réaliste des arbres MODELE LOIQUE ET SIMULATION ALGORITHMIQUE DES ALGUES Un botaniste convaincu par le positivisme logique Axiomatique inutilisable et axiomatique utilisée De la théorie logique à la théorie des automates Le modèle développemental et les règles de réécriture La controverse avec Brian Carey Goodwin au sujet des formalismes naturels LIMITE DES MODELES BIOMETRIQUES ET PASSAGE A LA SIMULATION EN AGRONOMIE Le contexte institutionnel et technique de l'IFCC Une première application de la simulation des plantes en agronomie Modélisation fragmentée et simulation géométrique Simulation, mimétisme et usage sous-symbolique des formalismes UNE SIMULATION ARCHITECTURALE, ALEATOIRE ET UNIVERSELLE Une avancée en botanique - la notion de modèle architectural La recherche du réalisme botanique CONVERGENCE ENTRE SIMULATION INTEGRATIVE ET INFORMATIQUE GRAPHIQUE Le redémarrage de la recherche en simulation architecturale Thèse de Jaeger - modèle et préfixés et synthèse d'images botaniques Thèse de Blaise - simulation du parallélisme des bourgeons CONVERGENCE ENTRE SIMULATION UNIVERSELLE ET FORESTERIE (1990-1998) Une controverse entre modélisateurs - l'INRIA et CIRAD Convergence conceptuelle et institutionnelle - le laboratoire associé entre l'INRIA/CIRAD REMATHEMISATION DES SIMULATIONS (A PARTIR DE 1998) Le premier modèle mixte structure-fonction "" l'efficience de l'eau "" L'association de l'AMAP et de l'INRIA - sous structure et factorisation"

Réservation

Réserver ce document

Exemplaires (4)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12/195385	L/511.009	Livre	Bibliothèque Science et Technologie	indéterminé	Exclu du prêt
12/195386	L/511.009	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
12/195387	L/511.009	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible
12/195388	L/511.009	Livre	Bibliothèque Science et Technologie	indéterminé	Disponible

Simulation, modélisation et décision / Rennard, Jean-Philippe

Permalink

---

1 (1 - 6 / 6)