A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Catégories
Affiner la rechercheCalculateurs, calculs, calculabilité / Olivier Ridoux
Titre : Calculateurs, calculs, calculabilité Type de document : texte imprimé Auteurs : Olivier Ridoux ; Gilles Lesventes Mention d'édition : Editeur : Paris : Dunod Année de publication : 2008 Collection : Sciences sup Importance : xv, 204 p. Présentation : ill Format : 24*17cm ISBN/ISSN/EAN : 978-2-10-051588-2 Note générale : "Cours et travaux pratiques. IUT - BTS - Licence - Écoles d'ingénieurs"--Couv. Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Mots-clés : Calculateurs calculs calculabilité Index. décimale : 519.7 Programmation mathématique 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 ; Gilles Lesventes . - . - Paris : Dunod, 2008 . - xv, 204 p. : ill ; 24*17cm. - (Sciences sup) .
ISBN : 978-2-10-051588-2
"Cours et travaux pratiques. IUT - BTS - Licence - Écoles d'ingénieurs"--Couv.
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Mots-clés : Calculateurs calculs calculabilité Index. décimale : 519.7 Programmation mathématique 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... Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 519.7 ROC Mathématiques Biblio-FPN 000001327808 Disponible FPN.S693 519.7 ROC Mathématiques Biblio-FPN 000001327708 Disponible FPN.S694 519.7 ROC Mathématiques Biblio-FPN 000001373708 Disponible FPN.S4526bis
Titre : Cours de calcul formel : algorithmes fondamentaux Type de document : texte imprimé Auteurs : Philippe Saux Picart, Editeur : Paris : Ellipses Année de publication : 1999 Collection : MathØmatiques pour le 2e cycle, ISSN 1281-4164 num. 1999. Importance : 1 vol. (XIII-176 p.) Présentation : couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 2-7298-9975-8 Prix : 140 F Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Index. décimale : 511.8 Algorithmes, Modèles Cours de calcul formel : algorithmes fondamentaux [texte imprimé] / Philippe Saux Picart, . - Paris : Ellipses, 1999 . - 1 vol. (XIII-176 p.) : couv. ill. ; 26 cm.. - (MathØmatiques pour le 2e cycle, ISSN 1281-4164; 1999.) .
ISBN : 2-7298-9975-8 : 140 F
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Index. décimale : 511.8 Algorithmes, Modèles Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.8 SAU Mathématiques Biblio-FSO 000001813905 Disponible s35460 511.8 SAU Mathématiques Biblio-FSO 000001814005 Disponible s35461 511.8 SAU Mathématiques Biblio-FSO 000001857605 Disponible s35459
Titre : Méthodes mathématiques pour l'informatique : cours et exercices corrigés Type de document : texte imprimé Auteurs : Jacques Vélu, Auteur Mention d'édition : 5ème éd. Editeur : Paris : Dunod Année de publication : 2013 Importance : 1 vol. (VIII-421 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-070017-2 Prix : 39 EUR Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Index. décimale : 519.7 Programmation mathématique Résumé : Ce manuel explique en profondeur tous les thèmes qui constituent le socle des connaissances mathématiques indispensables à tout informaticien. L'auteur y présente les concepts fondamentaux de la façon la plus intuitive possible avant de procéder à une mise en forme abstraite.
Des exercices nombreux et souvent distrayants éclairent des démonstrations qui vont directement à l'essentiel.
Cette cinquième édition s'enrichit de cinq nouveaux exercices et problèmes qui font tous l'objet d'une vidéo avec tableau animé et explication audio détaillée de la solution. Ces vidéos sont accessibles gratuitement en complément en ligne de ce livre sur dunod.com.Méthodes mathématiques pour l'informatique : cours et exercices corrigés [texte imprimé] / Jacques Vélu, Auteur . - 5ème éd. . - Paris : Dunod, 2013 . - 1 vol. (VIII-421 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-10-070017-2 : 39 EUR
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Index. décimale : 519.7 Programmation mathématique Résumé : Ce manuel explique en profondeur tous les thèmes qui constituent le socle des connaissances mathématiques indispensables à tout informaticien. L'auteur y présente les concepts fondamentaux de la façon la plus intuitive possible avant de procéder à une mise en forme abstraite.
Des exercices nombreux et souvent distrayants éclairent des démonstrations qui vont directement à l'essentiel.
Cette cinquième édition s'enrichit de cinq nouveaux exercices et problèmes qui font tous l'objet d'une vidéo avec tableau animé et explication audio détaillée de la solution. Ces vidéos sont accessibles gratuitement en complément en ligne de ce livre sur dunod.com.Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 519.7 VJM Mathématiques Biblio-FPN 000001374108 Disponible FPN.S4530bis
Titre : Numerical optimization Type de document : texte imprimé Auteurs : Jorge Nocedal, Auteur ; Stephen J. Wright (1960-....), Auteur Mention d'édition : 2nd edition Editeur : Berlin : Springer Année de publication : cop. 2006 Collection : Springer Series in Operations Research and Financial Engineering Importance : 1 vol. (XXII-664 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-387-30303-1 Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Index. décimale : 519.7 Programmation mathématique Numerical optimization [texte imprimé] / Jorge Nocedal, Auteur ; Stephen J. Wright (1960-....), Auteur . - 2nd edition . - Berlin : Springer, cop. 2006 . - 1 vol. (XXII-664 p.) : ill., couv. ill. ; 24 cm. - (Springer Series in Operations Research and Financial Engineering) .
ISBN : 978-0-387-30303-1
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Index. décimale : 519.7 Programmation mathématique Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 519.7 NOC Mathématiques Biblio-FSO 000001848705 Exclu du prêt s35640
Titre : Programmation linéaire et applications : éléments de cours et exercices résolus / Type de document : texte imprimé Auteurs : Khaled Mellouli ; Abdelkader El Kamel ; Pierre Borne Editeur : Paris : Éd. Technip Année de publication : 2004 Importance : vi, 112 p. Présentation : ill ISBN/ISSN/EAN : 978-2-7108-0844-2 Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Index. décimale : 519.7 Programmation mathématique Résumé :
ISBN : 978-2-7108-0844-2
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique Index. décimale : 519.7 Programmation mathématique Résumé : Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 519.7 MEL Mathématiques Biblio-FSO 000001814205 Disponible s35464 519.7 MEL Mathématiques Biblio-FSO 000001814105 Disponible s35463 519.7 MEL Mathématiques Biblio-FSO 000001857405 Disponible s35462
Permalink
