Algèbre et analyse / Stéphane Balac

Public ISBD Titre : Algèbre et analyse : Cours de mathématiques de première année avec exercices corrigés Type de document : texte imprimé Auteurs : Stéphane Balac, Auteur Editeur : Italie : presses polytechniques et universitaires romandes Année de publication : 2009 Importance : 1092p Format : 24x16 cm ISBN/ISSN/EAN : 978-2-88074-828-9 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Algèbre, analyse,mathématiques. 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 de 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 1re 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. Public : Etudiants de première et deuxième année des licences scientifiques, enseignants de mathématiques et ingénieurs. 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 Algèbre et analyse : Cours de mathématiques de première année avec exercices corrigés [texte imprimé] / Stéphane Balac, Auteur . - Italie : presses polytechniques et universitaires romandes, 2009 . - 1092p ; 24x16 cm. ISBN : 978-2-88074-828-9 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Algèbre, analyse,mathématiques. 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 de 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 1re 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. Public : Etudiants de première et deuxième année des licences scientifiques, enseignants de mathématiques et ingénieurs. 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

Réservation

Réserver ce document

Exemplaires (7)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14/224185	L/511.008	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt
14/224186	L/511.008	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
14/224187	L/511.008	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
14/224188	L/511.008	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
14/224189	L/511.008	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
17/287727	L/511.008	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
17/287728	L/511.008	Livre	Bibliothèque Mathématique informatique et sciences de la matière	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, Auteur Editeur : Paris : Ellipses Année de publication : 2011 Importance : 331 p Format : 24 16.5 cm ISBN/ISSN/EAN : 978-2-7298-6549-8 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Les algorithmes de base,modélisation numérique, Excel. 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 Les algorithmes de base : modélisation numérique sous Excel [texte imprimé] / Michel Le Corff, Auteur . - Paris : Ellipses, 2011 . - 331 p ; 24 16.5 cm. ISBN : 978-2-7298-6549-8 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Les algorithmes de base,modélisation numérique, Excel. 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éservation

Réserver ce document

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15/264559	L/511.011	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt
15/264560	L/511.011	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
15/264561	L/511.011	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
15/264562	L/511.011	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
15/264563	L/511.011	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
15/264564	L/511.011	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt

Les algorithmes / Collectif

Public ISBD Titre : Les algorithmes : au coeur du raisonnement Type de document : texte imprimé Auteurs : Collectif, Auteur Editeur : Paris : POLE Année de publication : 2013 Importance : 166p Format : 24x17cm ISBN/ISSN/EAN : 978-2-84884-167-0 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : Les algorithmes, procédures répétitives qui permettent de résoudre un problème, sont utilisés depuis l'Antiquité (algorithme d'Euclide, crible d'Ératosthène...). Mais ils ont trouvé un nouveau champ d'application qui les rend aujourd'hui indispensables : l'informatique. Au point qu'ils sont une des références de l'enseignement des mathématiques en classes de lycée et qu'ils s'y appliquent dans toutes les disciplines. Ce livre, destiné à tous les publics, y compris non avertis, permet d'en étudier les grandes lignes, depuis les rudiments (affectation, opérations, boucles, conditions...) jusqu'à leur application dans les langages de programmation. Cette nouvelle édition inclut plusieurs nouveautés, en particulier inspirées par l'importance accrue de l'algorithmique dans les programmes scolaires. Note de contenu : Sommaire Les algorithmes dans l'histoire Algorithmes élémentaires et programmation Algorithmes classiques et jeux Limites et performances Les algorithmes : au coeur du raisonnement [texte imprimé] / Collectif, Auteur . - Paris : POLE, 2013 . - 166p ; 24x17cm. ISBN : 978-2-84884-167-0 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : Les algorithmes, procédures répétitives qui permettent de résoudre un problème, sont utilisés depuis l'Antiquité (algorithme d'Euclide, crible d'Ératosthène...). Mais ils ont trouvé un nouveau champ d'application qui les rend aujourd'hui indispensables : l'informatique. Au point qu'ils sont une des références de l'enseignement des mathématiques en classes de lycée et qu'ils s'y appliquent dans toutes les disciplines. Ce livre, destiné à tous les publics, y compris non avertis, permet d'en étudier les grandes lignes, depuis les rudiments (affectation, opérations, boucles, conditions...) jusqu'à leur application dans les langages de programmation. Cette nouvelle édition inclut plusieurs nouveautés, en particulier inspirées par l'importance accrue de l'algorithmique dans les programmes scolaires. Note de contenu : Sommaire Les algorithmes dans l'histoire Algorithmes élémentaires et programmation Algorithmes classiques et jeux Limites et performances

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15/265643	L/511.029	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt

Les démonstrations et les algorithmes / Gilles Dowek

Public ISBD Titre : Les démonstrations et les algorithmes : Introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Paris : Ecole Polytechnique Année de publication : 2010 Importance : 193p Format : 24x17 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 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. Note de contenu : Sommaire LES DEMONSTRATIONS La logique des prédicats Les modèles LES ALGORITHMES Les fonctions calculables Le calcul comme une suite de petits pas LES DEMONSTRATIONS ET LES ALGORITHMES Le théorème de Church La démonstration automatique Des théories décidables Les démonstrations et les algorithmes : Introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Paris : Ecole Polytechnique, 2010 . - 193p ; 24x17 cm. ISBN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 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. Note de contenu : Sommaire LES DEMONSTRATIONS La logique des prédicats Les modèles LES ALGORITHMES Les fonctions calculables Le calcul comme une suite de petits pas LES DEMONSTRATIONS ET LES ALGORITHMES Le théorème de Church La démonstration automatique Des théories décidables

Réservation

Réserver ce document

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13/200784	L/511.010	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt
13/200785	L/511.010	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
13/200786	L/511.010	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible

L'épreuve De Logique Au Concours Sésame / Sekkat, Salim

Public ISBD Titre : L'épreuve De Logique Au Concours Sésame Type de document : texte imprimé Auteurs : Sekkat, Salim, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Importance : 232p Format : 24X17cm ISBN/ISSN/EAN : 978-2-7298-7161-1 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : L'épreuve De Logique,Concours Sésame. Index. décimale : 511 Résumé : Ce livre est un recueil d'exercices tirés d'annales de l'épreuve de logique du concours SÉSAME et d'autres concours du même style, adressé à tout élève de terminale ou d'autres horizons qui souhaite s'exercer pour cette épreuve particulière. Comme pour tous les concours, l'entraînement reste la clef de votre réussite ! Cet ouvrage vous propose donc de vous exercer sur de nombreux exercices classés par type, d'en consulter les réponses afin de voir en quelques secondes où se situent vos points forts et vos faiblesses. Enfin, des corrigés détaillés vous sont proposés pour vous donner les méthodes et les astuces pour résoudre au plus vite ces exercices. Note de contenu : Sommaire PRESENTATION GENERALE RAPPELS DE COURS LOGIQUE VERBALE LOGIQUE GRAPHIQUE LOGIQUE NUMERIQUE SUJET TYPE L'épreuve De Logique Au Concours Sésame [texte imprimé] / Sekkat, Salim, Auteur . - Paris : Ellipses, 2012 . - 232p ; 24X17cm. ISBN : 978-2-7298-7161-1 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : L'épreuve De Logique,Concours Sésame. Index. décimale : 511 Résumé : Ce livre est un recueil d'exercices tirés d'annales de l'épreuve de logique du concours SÉSAME et d'autres concours du même style, adressé à tout élève de terminale ou d'autres horizons qui souhaite s'exercer pour cette épreuve particulière. Comme pour tous les concours, l'entraînement reste la clef de votre réussite ! Cet ouvrage vous propose donc de vous exercer sur de nombreux exercices classés par type, d'en consulter les réponses afin de voir en quelques secondes où se situent vos points forts et vos faiblesses. Enfin, des corrigés détaillés vous sont proposés pour vous donner les méthodes et les astuces pour résoudre au plus vite ces exercices. Note de contenu : Sommaire PRESENTATION GENERALE RAPPELS DE COURS LOGIQUE VERBALE LOGIQUE GRAPHIQUE LOGIQUE NUMERIQUE SUJET TYPE

Réservation

Réserver ce document

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13/214510	L/511.014	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt
13/214511	L/511.014	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
13/214512	L/511.014	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible

Initiation à la théorie des graphes / Christian Roux

Permalink

Logique et algèbre de structures mathématiques modales -valentes chrysippiennes / Fidèle Ayissi Eteme

Permalink

Logique et démonstration automatique / Stéphane Devismes

Permalink

de la logique à prolog cours et exercices / h,bahi abidet

Permalink

Logique et raisonnement / Michael Freund

Permalink

Les Machines de Turing / Jacopin Eric

Permalink

Premiers pas en algorithmique / Annie Tartier

Permalink

Premiers pas en simulation / Yadolah Dodge

Permalink

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

Permalink

Traité de didactique des mathématiques / Schneider Maggy

Permalink

---

1 (1 - 15 / 15)