Catégorie Complexité de calcul (informatique)
Documents disponibles dans cette catégorie (3)
Faire une suggestion
Affiner la rechercheEtendre la recherche sur niveau(x) vers le bas
Titre : Information complexité et hasard Type de document : texte imprimé Auteurs : Jean-Paul DELAHAYE Mention d'édition : 2e édition revue Editeur : Hermès Science Publications Année de publication : 1999 Collection : Langue, Raisonnement, Calcul Importance : 275 p. ISBN/ISSN/EAN : 978-2-7462-0026-5 Note générale : Table des matières
Préface de l'édition 1999
Présentation
Bibliographie
Index
RemerciementsCatégories : Complexité de calcul (informatique)
Hasard
Logique symbolique et mathématique
Théorie de l'informationIndex. décimale : 511.3 Logique symbolique (mathématique) Résumé : L'information
Les suites aléatoires
Cinq classes d'idées
Modèles formels pour l'induction
L'importance des indécidables
Calculabilité et physique
Le monde est-il récursif ?
La solution des paradoxes sématiquesExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité B00005983 511.3 DEL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible
Titre : Introduction to the Theory of Computation Type de document : texte imprimé Auteurs : Michael SIPSER, Auteur Mention d'édition : 3rd edition Editeur : Boston (Mass.) : Cengage learning Année de publication : 2013 Importance : 458 p. ISBN/ISSN/EAN : 978-1-133-18779-0 Note générale : Contents
Prefaace to the First Edition
Preface to the Second Edition
Preface to the Third Edition
Introduction
Selected Bibliography
IndexCatégories : Complexité de calcul (informatique)
Décidabilité (logique mathématique)
Informatique:Modèles mathématiques
Machines de Turing
Théorie des automates mathématiquesIndex. décimale : 511.3 Logique symbolique (mathématique) Résumé : AUTOMATA AND LANGUAGES
Regular Langugages
Context-Free Languages
COMPUTABILITY THEORY
The Church-Turing Thesis
Decidability
Reducibility
Advanced Topics in Computability Theory
COMPLEXITY THEORY
Time Complexity
Space Complexity
Intractability
Advanced Topics in Complexity Theory
Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité B00011504 511.3 SIP Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Sorti jusqu'au 15/05/2028
Titre : Techniques numériques appliquées au calcul scientifique Type de document : texte imprimé Auteurs : PELLETIER, J., P. Editeur : Masson Année de publication : 1971 Importance : 366 p. Note générale : Avant-propos
Annexe : Programmmes d'analyse des circuits électroniques
Bibliographie
Index alphabétique des matières
Table des matièresCatégories : Calculs numériques
Complexité de calcul (informatique)
Electronique numérique
Fortran (langage de programmation)Index. décimale : 519.4 Analyse numérique appliquée Résumé : GENERALITES SUR LES ORDINATEURS ET LA P?ROGRAMMATION
Introduction aux ordinateurs
Le langage Fortran
Technique des sous-programmes
INTRODUCTION AUX METHODES NUMERIQUES
Calcul d'intégrales
Opérations polynômiales
Résolution des systèmes d'équations
Calcul matriciel
Lissages de courbes et approximations de fonctions
METHODES MATHEMATIQUES DE LA PHYSIQUE
Transformation de Fourier
Transformation de Laplace
Equations différentielles aet intégrales
Equations aux dérivées partielles
UTILISATION DES METHODES DE LA RECHERCHE OPERATIONNELLE
Introduction à la programmation linéaire
Eléments de la théorie des graphes
Notions de programmation dynamique
Méthodes de simulationExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité B00005602 519.4 PEL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible



