Accueil
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 519.7
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Calculateurs, calculs, calculabilité Type de document : texte imprimé Auteurs : Olivier Ridoux (1959-....), Auteur ; Gilles Lesventes, Auteur Editeur : Paris : Dunod Année de publication : 2007 Collection : Sciences sup Importance : 1 vol. (XV-204 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-051588-2 Note générale : La couv. porte en plus : "IUT, BTS, licence, écoles d'ingénieur"
IndexLangues : Français (fre) Tags : Ordinateurs Programmation Fonctions calculables Index. décimale : 519.7 Mathématiques (programmation) Résumé : Il existe en informatique des limites qui sont aussi fondamentales que celles connues dans d'autres disciplines, par exemple la vitesse de la lumière ou le second principe de la thermodynamique. L'objectif de cet ouvrage est de jalonner la frontière qui ne peut être franchie par les calculateurs et de montrer comment ces limites peuvent être prouvées formellement. Pour atteindre ce but tout en restant d'une lecture accessible les auteurs font l'hypothèse que l'étudiant connaît un peu de logique, de théorie des ensembles, d'analyse et de programmation. Rédigé dans un style aussi simple que possible les auteurs transmettent avec clarté des notions d'histoire des sciences en décrivant les travaux de chercheurs comme Turing, Gödel, Kleene, von Neumann... Calculateurs, calculs, calculabilité [texte imprimé] / Olivier Ridoux (1959-....), Auteur ; Gilles Lesventes, Auteur . - Paris : Dunod, 2007 . - 1 vol. (XV-204 p.) : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-051588-2
La couv. porte en plus : "IUT, BTS, licence, écoles d'ingénieur"
Index
Langues : Français (fre)
Tags : Ordinateurs Programmation Fonctions calculables Index. décimale : 519.7 Mathématiques (programmation) Résumé : Il existe en informatique des limites qui sont aussi fondamentales que celles connues dans d'autres disciplines, par exemple la vitesse de la lumière ou le second principe de la thermodynamique. L'objectif de cet ouvrage est de jalonner la frontière qui ne peut être franchie par les calculateurs et de montrer comment ces limites peuvent être prouvées formellement. Pour atteindre ce but tout en restant d'une lecture accessible les auteurs font l'hypothèse que l'étudiant connaît un peu de logique, de théorie des ensembles, d'analyse et de programmation. Rédigé dans un style aussi simple que possible les auteurs transmettent avec clarté des notions d'histoire des sciences en décrivant les travaux de chercheurs comme Turing, Gödel, Kleene, von Neumann... Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité C1-4579/10 519.7 RID C1 Livre 2ème Cycle.(Salle 3ème Étage) Technologie (sciences appliquées) Exclu du prêt C1-4580/10 519.7 RID C2 Livre 2ème Cycle.(Salle 3ème Étage) Technologie (sciences appliquées) Disponible C3-4581/10 519.7 RID C3 Livre 2ème Cycle.(Salle 3ème Étage) Technologie (sciences appliquées) Disponible C4-4582/10 519.7 RID C4 Livre 2ème Cycle.(Salle 3ème Étage) Technologie (sciences appliquées) Disponible C5-4583/10 519.7 RID C5 Livre 2ème Cycle.(Salle 3ème Étage) Technologie (sciences appliquées) Disponible
Titre : Mathématiques pour le traitement du signal : cours et exercices corrigés Type de document : texte imprimé Auteurs : Maïtine Bergounioux, Auteur Editeur : Paris : Dunod Année de publication : 2010 Collection : Sciences sup Importance : 311 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-054781-4 Note générale : Bibliogr. p. 305-306. Index
La couv. porte en plus : "mathématiques appliquées pour le Master / SMAI"Langues : Français (fre) Tags : Traitement du signal Mathématiques Analyse des données Index. décimale : 519.7 Mathématiques (programmation) Résumé : Cet ouvrage est destiné aux étudiants en Master de mathématiques appliquées, aux élèves ingénieurs et aux candidats au CAPES ou à l'agrégation de mathématiques. Le cours présente les fondements du traitement du signal du point de vue déterministe et reste donc très généraliste. Les pré-requis sont rappelés, l'ouvrage étant conçu pour être " auto-suffisant " L'analyse spectrale (séries de Fourier, transformation de Fourier, de Laplace) y est présentée pour des signaux continus (analogiques) et discrets (numériques). Les notions de filtrage, échantillonnage, temps-fréquence et temps échelle sont présentées dans des chapitres séparés. Enfin, une brève introduction au traitement de la parole illustre le propos de l'ouvrage. Des exercices et leurs corrigés, ainsi que des travaux pratiques permettent de se préparer efficacement aux épreuves. Mathématiques pour le traitement du signal : cours et exercices corrigés [texte imprimé] / Maïtine Bergounioux, Auteur . - Paris : Dunod, 2010 . - 311 p. : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-054781-4
Bibliogr. p. 305-306. Index
La couv. porte en plus : "mathématiques appliquées pour le Master / SMAI"
Langues : Français (fre)
Tags : Traitement du signal Mathématiques Analyse des données Index. décimale : 519.7 Mathématiques (programmation) Résumé : Cet ouvrage est destiné aux étudiants en Master de mathématiques appliquées, aux élèves ingénieurs et aux candidats au CAPES ou à l'agrégation de mathématiques. Le cours présente les fondements du traitement du signal du point de vue déterministe et reste donc très généraliste. Les pré-requis sont rappelés, l'ouvrage étant conçu pour être " auto-suffisant " L'analyse spectrale (séries de Fourier, transformation de Fourier, de Laplace) y est présentée pour des signaux continus (analogiques) et discrets (numériques). Les notions de filtrage, échantillonnage, temps-fréquence et temps échelle sont présentées dans des chapitres séparés. Enfin, une brève introduction au traitement de la parole illustre le propos de l'ouvrage. Des exercices et leurs corrigés, ainsi que des travaux pratiques permettent de se préparer efficacement aux épreuves. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité C1-7811/10 519.7 BER C1 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Exclu du prêt C2-7812/10 519.7 BER C2 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C3-7813/10 519.7 BER C3 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible
Titre : Numerical modeling in materials science and engineering Type de document : texte imprimé Auteurs : Michel Rappaz ; Michel Deville ; Michel Bellet Editeur : New York : Springer Année de publication : 1998 Importance : 540 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-3-642-11820-3 Note générale : Trad. de : "Modélisation numérique en science et génie des matériaux". - "Originally published in french in 1998". Index Langues : Anglais (eng) Tags : Science des matériaux -- ModLles mathématiques Matériaux -- Comportement -- ModLles mathématiques Ingénierie -- ModLles mathématiques Matériaux -- ModLles mathématiques Science des matériaux -- Informatique Index. décimale : 519.7 Mathématiques (programmation) Résumé : Computing application to materials science is one of the fastest-growing research areas. This book introduces the concepts and methodologies related to the modeling of the complex phenomena occurring in materials processing. It is intended for undergraduate and graduate students in materials science and engineering, mechanical engineering and physics, and for engineering professionals or researchers. Numerical modeling in materials science and engineering [texte imprimé] / Michel Rappaz ; Michel Deville ; Michel Bellet . - New York : Springer, 1998 . - 540 p. : ill. ; 24 cm.
ISBN : 978-3-642-11820-3
Trad. de : "Modélisation numérique en science et génie des matériaux". - "Originally published in french in 1998". Index
Langues : Anglais (eng)
Tags : Science des matériaux -- ModLles mathématiques Matériaux -- Comportement -- ModLles mathématiques Ingénierie -- ModLles mathématiques Matériaux -- ModLles mathématiques Science des matériaux -- Informatique Index. décimale : 519.7 Mathématiques (programmation) Résumé : Computing application to materials science is one of the fastest-growing research areas. This book introduces the concepts and methodologies related to the modeling of the complex phenomena occurring in materials processing. It is intended for undergraduate and graduate students in materials science and engineering, mechanical engineering and physics, and for engineering professionals or researchers. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité C1-00082/11 519.7 RAP C1 Livre Magasin Mathématiques Exclu du prêt
Titre : Programmation linéaire et applications : éléments de cours et exercices corrigés Type de document : texte imprimé Auteurs : Khaled Mellouli, Auteur ; Abdelkader El Kamel, Auteur ; Pierre Borne, Auteur Editeur : Paris : éd. Technip Année de publication : 2004 Collection : Sciences et technologies, ISSN 1243-0226 num. 16 Importance : 112 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-2-7108-0844-2 Langues : Français (fre) Tags : Programmation linéaire Manuels d'enseignement supérieur Problèmes et exercices Index. décimale : 519.7 Mathématiques (programmation) Résumé : Cet ouvrage propose une approche simple et systématique de la programmation linéaire, dont le but est l'optimisation d'un critère linéaire par rapport aux paramètres du problème étudié en présence de contraintes linéaires. Présentée de manière simple et explicite, la méthode utilisée est illustrée par de nombreux exemples de mise en œuvre, intéressant particulièrement les domaines liés à l'allocation et à l'optimisation des ressources concernant la finance, l'économie et la production. Le cas de la programmation linéaire pour des problèmes mélangeant variables réelles, entières et/ou booléennes est également envisagé. Cet ouvrage s'adresse aux étudiants de l'enseignement supérieur, premier et second cycle, concernés par les problèmes d'optimisation, en particulier pour l'allocation de ressources. Programmation linéaire et applications : éléments de cours et exercices corrigés [texte imprimé] / Khaled Mellouli, Auteur ; Abdelkader El Kamel, Auteur ; Pierre Borne, Auteur . - Paris : éd. Technip, 2004 . - 112 p. : ill. ; 23 cm. - (Sciences et technologies, ISSN 1243-0226; 16) .
ISBN : 978-2-7108-0844-2
Langues : Français (fre)
Tags : Programmation linéaire Manuels d'enseignement supérieur Problèmes et exercices Index. décimale : 519.7 Mathématiques (programmation) Résumé : Cet ouvrage propose une approche simple et systématique de la programmation linéaire, dont le but est l'optimisation d'un critère linéaire par rapport aux paramètres du problème étudié en présence de contraintes linéaires. Présentée de manière simple et explicite, la méthode utilisée est illustrée par de nombreux exemples de mise en œuvre, intéressant particulièrement les domaines liés à l'allocation et à l'optimisation des ressources concernant la finance, l'économie et la production. Le cas de la programmation linéaire pour des problèmes mélangeant variables réelles, entières et/ou booléennes est également envisagé. Cet ouvrage s'adresse aux étudiants de l'enseignement supérieur, premier et second cycle, concernés par les problèmes d'optimisation, en particulier pour l'allocation de ressources. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité C1-07845/19 519.7 MEL C1 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Exclu du prêt C2-07846/19 519.7 MEL C2 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C3-07847/19 519.7 MEL C3 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible
519 Probabilités et mathématiques appliquées

