Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
Détail de l'indexation
519.67 : Machines à calculer, méthodes graphiques et autres procédés des mathématiques numériques
519 Analyse combinatoire. Calcul des probabilités, etc.
519.1 Analyse combinatoire. Théorie des graphies
519.14 Changement. Combinatoires des partitions de nombres
519.16 Problèmes algorithmiques de l'analyse combinatoire
519.17 Théorie des graphes
519.2 Probabilités. Statistique mathématique
519.2 (035) Probabilités. Statistique mathématique (Handbook)
519.2 (038) Probabilités. Statistique mathématique
519.2 + 004 Probabilités. Statistique mathématique+Informatique. Science et technologie de l'informatique
519.2 SPI
519.207 6
519.21 Théorie des probabilités.Processus stochastiques
519.21.621.39
519.216 Processus stochastique en général. Théorie de la prédiction. Temps d’arrêt. Martingales
519.217 Processus de Markov
519.217.2 Chaines de Markov. Processus avec un ensemble fini ou dénombrable d'états
519.218 Processus stochastique particuliers
519.218.7
519.22 Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.22(47) Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.226 Théorie de l'inférence et de la décision. Vraisemblance. Théorie bayésienne. Probabilité fiducielle
519.23 Analyse statistique. Méthodes d'inférence
519.233 Méthodes paramétriques
519.233.2 Estimation de paramètres et fonctionnels. Régions de confiance. Tolérance. Limites
519.233.3 Test d'hypothèse. Critères. Discrimination
519.233.5 Analyse de la corrélation. Analyse de régression
519.234
519.237 Méthodes statistiques multivariées
519.242 Plans d'expérience. Plans optimaux
519.246 Statistique de processus stochastiques estimation de processus stochastiques. Test hypothèse. Statistique de processus ponctuelles. Analyses de séries temporelles. Autocorrélation. régression
519.248 Statistique de l’ingénierie. Statistique de la recherche opérationnelle. Théorie des files. Contrôle de qualité. Fiabilité etc
519.25 Manipulation des données statistiques
519.26
519.27 Observation quantitatives , observation portant sur une variable fortuite (phénomènes à attributs qualitatifs , mesurables)
519.28 Paramètres de la statique mathématique. La statique, instrument de recherche de causes et de prévision des évènements futurs
519.282
519.285
519.3
519.34 Procédés directs du calcul des variations (Principe de Dirichlet, procédé de Ritz, etc.)
519.4
519.42 Liaison entre les groupes et les fonctions; théorème de Lagrange.
519.5 Théorie des ensembles
519.56
519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs.
519.6(035) (Mathématique numérique.Analyse numérique.Programmation.Science des ordinateurs. (Handbook)
519.61 Méthodes numériques de l'algèbre
519.612 Méthodes numériques de résolution de systèmes d'équations linéaires.matrice carrée. Matrice générale.
519.614 Méthodes numériques de calcul des valeurs propres et vecteurs propres des matrices.
519.615 Méthodes numériques de résolution d'équations transcendantes et de systèmes d'équations
519.63 Méthodes numériques pour la résolution d'équations aux dérivées partielles
519.642
519.673 Résolution de problèmes mathématiques par modélisation. Calculatrices analogiques.
519.675 Nomographie. Appareils nomographiques
519.68 Programation informatique
519.682 Langages de programmation. Métalangages
519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques.
519.7 Cybernétique matématique
519.7+621.391 Cybernétique mathématique + Notions générales sur l'ingénierie des Communications électriques.Cybernétique.Théorie de l'information.Théorie des signaux
519.71 Théorie des systèmes de contrôle: aspects mathématiques
519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux
519.715 Problèmes d'analyse de la théorie du contrôle.
519.718 Stabilité. Fiabilité. Vérification. Synthèse. Systèmes de correction des erreurs. Tests
519.72 Théorie de l'information: aspects mathématiques.
519.8 Recherche opérationnelle
519.828 5
519.83 Théorie des jeux
519.85 Programmation mathématique
519.852 Programmation linéaire. Méthode du simplexe
519.854 Programmation discrète
519.857
519.863 Modèles d'optimisation
519.872 Théorie des files d'attente. Système de service. Simulation numérique
519.873 Théorie de la fiabilité et de la réserve. Contrôle de qualité
519.876 Théorie des grands systèmes
519.876.5 Représentation numérique de systèmes. Simulation
51967
519.1 Analyse combinatoire. Théorie des graphies
519.14 Changement. Combinatoires des partitions de nombres
519.16 Problèmes algorithmiques de l'analyse combinatoire
519.17 Théorie des graphes
519.2 Probabilités. Statistique mathématique
519.2 (035) Probabilités. Statistique mathématique (Handbook)
519.2 (038) Probabilités. Statistique mathématique
519.2 + 004 Probabilités. Statistique mathématique+Informatique. Science et technologie de l'informatique
519.2 SPI
519.207 6
519.21 Théorie des probabilités.Processus stochastiques
519.21.621.39
519.216 Processus stochastique en général. Théorie de la prédiction. Temps d’arrêt. Martingales
519.217 Processus de Markov
519.217.2 Chaines de Markov. Processus avec un ensemble fini ou dénombrable d'états
519.218 Processus stochastique particuliers
519.218.7
519.22 Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.22(47) Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.226 Théorie de l'inférence et de la décision. Vraisemblance. Théorie bayésienne. Probabilité fiducielle
519.23 Analyse statistique. Méthodes d'inférence
519.233 Méthodes paramétriques
519.233.2 Estimation de paramètres et fonctionnels. Régions de confiance. Tolérance. Limites
519.233.3 Test d'hypothèse. Critères. Discrimination
519.233.5 Analyse de la corrélation. Analyse de régression
519.234
519.237 Méthodes statistiques multivariées
519.242 Plans d'expérience. Plans optimaux
519.246 Statistique de processus stochastiques estimation de processus stochastiques. Test hypothèse. Statistique de processus ponctuelles. Analyses de séries temporelles. Autocorrélation. régression
519.248 Statistique de l’ingénierie. Statistique de la recherche opérationnelle. Théorie des files. Contrôle de qualité. Fiabilité etc
519.25 Manipulation des données statistiques
519.26
519.27 Observation quantitatives , observation portant sur une variable fortuite (phénomènes à attributs qualitatifs , mesurables)
519.28 Paramètres de la statique mathématique. La statique, instrument de recherche de causes et de prévision des évènements futurs
519.282
519.285
519.3
519.34 Procédés directs du calcul des variations (Principe de Dirichlet, procédé de Ritz, etc.)
519.4
519.42 Liaison entre les groupes et les fonctions; théorème de Lagrange.
519.5 Théorie des ensembles
519.56
519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs.
519.6(035) (Mathématique numérique.Analyse numérique.Programmation.Science des ordinateurs. (Handbook)
519.61 Méthodes numériques de l'algèbre
519.612 Méthodes numériques de résolution de systèmes d'équations linéaires.matrice carrée. Matrice générale.
519.614 Méthodes numériques de calcul des valeurs propres et vecteurs propres des matrices.
519.615 Méthodes numériques de résolution d'équations transcendantes et de systèmes d'équations
519.63 Méthodes numériques pour la résolution d'équations aux dérivées partielles
519.642
519.673 Résolution de problèmes mathématiques par modélisation. Calculatrices analogiques.
519.675 Nomographie. Appareils nomographiques
519.68 Programation informatique
519.682 Langages de programmation. Métalangages
519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques.
519.7 Cybernétique matématique
519.7+621.391 Cybernétique mathématique + Notions générales sur l'ingénierie des Communications électriques.Cybernétique.Théorie de l'information.Théorie des signaux
519.71 Théorie des systèmes de contrôle: aspects mathématiques
519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux
519.715 Problèmes d'analyse de la théorie du contrôle.
519.718 Stabilité. Fiabilité. Vérification. Synthèse. Systèmes de correction des erreurs. Tests
519.72 Théorie de l'information: aspects mathématiques.
519.8 Recherche opérationnelle
519.828 5
519.83 Théorie des jeux
519.85 Programmation mathématique
519.852 Programmation linéaire. Méthode du simplexe
519.854 Programmation discrète
519.857
519.863 Modèles d'optimisation
519.872 Théorie des files d'attente. Système de service. Simulation numérique
519.873 Théorie de la fiabilité et de la réserve. Contrôle de qualité
519.876 Théorie des grands systèmes
519.876.5 Représentation numérique de systèmes. Simulation
51967
Ouvrages de la bibliothèque en indexation 519.67
Faire une suggestion Affiner la rechercheMachines de Turing / Jacopin, Éric
Titre : Machines de Turing : introduction à la caractérisation de la complexité d'un problème : code compatible avec les versions 5, 6 et 7 de Mathematica Type de document : texte imprimé Auteurs : Jacopin, Éric, Auteur Editeur : Toulouse : Cépaduès-Editions Année de publication : 2009 Importance : 264 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-2-85428-865-0 Note générale : Bibliogr. p. 227-233 Langues : Français (fre) Mots-clés : Turing, Machines -- Problèmes et exercices
Mathematica (logiciel)Index. décimale : 519.67 Machines à calculer, méthodes graphiques et autres procédés des mathématiques numériques Résumé : Surtout, ne la cherchez pas dans un musée : aucune machine de Turing n'a jamais été construite. Inventée par Alan Turing au début des années 1930 pour résoudre un problème posé par le mathématicien David Hilbert au seuil du 20e siècle, une machine de Turing est un outil fondamental pour étudier la complexité des problèmes.
Cet ouvrage vous propose d'aborder les machines de Turing déterministes et non déterministes par leur aspect pratique : leur programmation pour résoudre un problème et produire des graphiques visualisant la complexité de ce problème.
Ainsi, ce livre s'adresse à un public très large : les théoriciens trouveront une représentation graphique des théorèmes, les programmeurs découvriront les effets des programmes sur les ressources disponibles (temps et mémoire de calcul), les premiers pas des débutants seront facilités par le parti pris pratique de ce livre et les exemples, exercices et notes bibliographiques aideront à illustrer les cours.
Ce livre utilise le langage Mathematica car ses diverses fonctionnalités graphiques et symboliques facilitent l'écriture d'un simulateur de machine de Turing. Vous pourrez bien sûr réutiliser les exemples de ce livre dans un simulateur glané sur internet, mais la lecture de ce livre vous incitera à écrire votre propre simulateur.Note de contenu :
*Définitions et déclarations pour les machines déterministes
*Exemples de caractérisation de la complexité déterministe
*Définitions et déclarations pour les machines non déterministes
*Exemples de caractérisation de la complexité on déterministeMachines de Turing : introduction à la caractérisation de la complexité d'un problème : code compatible avec les versions 5, 6 et 7 de Mathematica [texte imprimé] / Jacopin, Éric, Auteur . - Toulouse : Cépaduès-Editions, 2009 . - 264 p. : ill. ; 23 cm.
ISBN : 978-2-85428-865-0
Bibliogr. p. 227-233
Langues : Français (fre)
Mots-clés : Turing, Machines -- Problèmes et exercices
Mathematica (logiciel)Index. décimale : 519.67 Machines à calculer, méthodes graphiques et autres procédés des mathématiques numériques Résumé : Surtout, ne la cherchez pas dans un musée : aucune machine de Turing n'a jamais été construite. Inventée par Alan Turing au début des années 1930 pour résoudre un problème posé par le mathématicien David Hilbert au seuil du 20e siècle, une machine de Turing est un outil fondamental pour étudier la complexité des problèmes.
Cet ouvrage vous propose d'aborder les machines de Turing déterministes et non déterministes par leur aspect pratique : leur programmation pour résoudre un problème et produire des graphiques visualisant la complexité de ce problème.
Ainsi, ce livre s'adresse à un public très large : les théoriciens trouveront une représentation graphique des théorèmes, les programmeurs découvriront les effets des programmes sur les ressources disponibles (temps et mémoire de calcul), les premiers pas des débutants seront facilités par le parti pris pratique de ce livre et les exemples, exercices et notes bibliographiques aideront à illustrer les cours.
Ce livre utilise le langage Mathematica car ses diverses fonctionnalités graphiques et symboliques facilitent l'écriture d'un simulateur de machine de Turing. Vous pourrez bien sûr réutiliser les exemples de ce livre dans un simulateur glané sur internet, mais la lecture de ce livre vous incitera à écrire votre propre simulateur.Note de contenu :
*Définitions et déclarations pour les machines déterministes
*Exemples de caractérisation de la complexité déterministe
*Définitions et déclarations pour les machines non déterministes
*Exemples de caractérisation de la complexité on déterministeExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 052720 519.67 JAC Papier Bibliothèque Centrale Mathématiques Disponible