Nos Abonnements
Ressources Électroniques
Détail de l'éditeur
Université de Grenoble
localisé à :
Grenoble
|
Documents disponibles chez cet éditeur (6)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Titre : Calculabilité des langages Type de document : texte imprimé Auteurs : Bernard Vauquois, Auteur Editeur : Grenoble [France] : Université de Grenoble Année de publication : 1970 Importance : Pagination multiple Présentation : ill. Format : 29 cm Note générale : La page de couv. et de titre porte en plus : Logique et programmation, C3 Maitrise d'informatique. Langues : Français (fre) Mots-clés : Fonctions calculables
Linguistique mathématiqueIndex. décimale : 681.3.06 Logiciels. Software Note de contenu : Au sommaire :
I. Introduction aux langages, grammaires et automates.
1. Notion de langage formel.
2. Langages de kleene.
3. Langages hors contexte.
II. théorie de la calculabilité.
1. Rappels de logique
2. Notion de calculabilité et d’algorithme.
3. Fonctions récursives primitives.
4. Fonctions récursives et fonction partielles récursives.
5. Machines de Turing fonctions T calculables et fonctions partielles, T calculables.
6. Équivalence des fonctions récursives et des fonctions partielles T calculables.
III. Problèmes de décision.
1. Prédicats semi-calculables, ensembles récursivement énumérables, notion de décidabilité.
2. Système combinatoires.
3. Problèmes indécidables de la théorie des langages.Calculabilité des langages [texte imprimé] / Bernard Vauquois, Auteur . - Grenoble [France] : Université de Grenoble, 1970 . - Pagination multiple : ill. ; 29 cm.
La page de couv. et de titre porte en plus : Logique et programmation, C3 Maitrise d'informatique.
Langues : Français (fre)
Mots-clés : Fonctions calculables
Linguistique mathématiqueIndex. décimale : 681.3.06 Logiciels. Software Note de contenu : Au sommaire :
I. Introduction aux langages, grammaires et automates.
1. Notion de langage formel.
2. Langages de kleene.
3. Langages hors contexte.
II. théorie de la calculabilité.
1. Rappels de logique
2. Notion de calculabilité et d’algorithme.
3. Fonctions récursives primitives.
4. Fonctions récursives et fonction partielles récursives.
5. Machines de Turing fonctions T calculables et fonctions partielles, T calculables.
6. Équivalence des fonctions récursives et des fonctions partielles T calculables.
III. Problèmes de décision.
1. Prédicats semi-calculables, ensembles récursivement énumérables, notion de décidabilité.
2. Système combinatoires.
3. Problèmes indécidables de la théorie des langages.Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 012618 681.3.06 VAU Papier Bibliothèque Centrale Informatique Disponible Consultation sur place
Titre : Réseaux de transport. [1ère partie] Type de document : texte imprimé Auteurs : Michel Sakarovitch, Auteur ; Université de grenoble. Service de mathémathiques appliquée, Éditeur scientifique Editeur : Grenoble [France] : Université de Grenoble Année de publication : 1971 Importance : 36 p. Présentation : ill. Format : 30 cm. Note générale : Bibliogr. p. 5 Langues : Français (fre) Mots-clés : Graphes, Théorie des
Transport -- Modèles mathématiquesIndex. décimale : 519.8 Recherche opérationnelle Résumé :
Ce cours est un cours de recherche opérationnelle est accompagné d'un certain nombre d'exercices, en général très simples, destines à familiariser le lecteur avec les notions introduites. joint également quelques exercices impliquent de la programmation est ceci pour trois raisons : A un certain stade, la séparation entre la recherche opérationnelle et l'informatique, la réflexion sur la programmation des algorithmes proposés permet à l’étudiant d'en mieux comprendre les mécanismes, Il s'agit de techniques de programmation faisant appel aux structures de liste, techniques assez différentes de celles utilisées en analyse numérique et auxquelles les étudiants sont souvent peu familiarisés.Note de contenu : Au sommaire :
I. Notions de théorie des graphes.
1. Définitions préliminaires.
2. Cycles et cocycles.
3. Propriétés des cycles et des cocycles .
4. Flots et tensions.
5. Matrices et graphes.
6. Graphes planaires.Réseaux de transport. [1ère partie] [texte imprimé] / Michel Sakarovitch, Auteur ; Université de grenoble. Service de mathémathiques appliquée, Éditeur scientifique . - Grenoble [France] : Université de Grenoble, 1971 . - 36 p. : ill. ; 30 cm.
Bibliogr. p. 5
Langues : Français (fre)
Mots-clés : Graphes, Théorie des
Transport -- Modèles mathématiquesIndex. décimale : 519.8 Recherche opérationnelle Résumé :
Ce cours est un cours de recherche opérationnelle est accompagné d'un certain nombre d'exercices, en général très simples, destines à familiariser le lecteur avec les notions introduites. joint également quelques exercices impliquent de la programmation est ceci pour trois raisons : A un certain stade, la séparation entre la recherche opérationnelle et l'informatique, la réflexion sur la programmation des algorithmes proposés permet à l’étudiant d'en mieux comprendre les mécanismes, Il s'agit de techniques de programmation faisant appel aux structures de liste, techniques assez différentes de celles utilisées en analyse numérique et auxquelles les étudiants sont souvent peu familiarisés.Note de contenu : Au sommaire :
I. Notions de théorie des graphes.
1. Définitions préliminaires.
2. Cycles et cocycles.
3. Propriétés des cycles et des cocycles .
4. Flots et tensions.
5. Matrices et graphes.
6. Graphes planaires.Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 012615 519.8 SAK Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place
Titre : Réseaux de transport. 2ème partie Type de document : texte imprimé Auteurs : Michel Sakarovitch, Auteur ; Université de grenoble. Service de mathémathiques appliquée, Éditeur scientifique Editeur : Grenoble [France] : Université de Grenoble Année de publication : [19??] Importance : P. 37-118 Présentation : ill. Format : 30 cm Langues : Français (fre) Mots-clés : Algorithmes
Programmation linéaire Analyse numériqueIndex. décimale : 519.8 Recherche opérationnelle Note de contenu : Au sommaire :
II. Problème linéaires de flot et de potentiel.
1. Problème de cheminement, résultats généraux.
2. Problème de cheminement , algorithmes.
3. Applications des problèmes de plus court chemin.
4. Le problème du flot maximum, la théorème de la coupe minimale.
5. Application du théorème de la coupe minimale.
6. Problèmes convexes de flot et de potentiel.
7. Problèmes linéaires de flot, algorithme de résolution dans le cas général, application.Réseaux de transport. 2ème partie [texte imprimé] / Michel Sakarovitch, Auteur ; Université de grenoble. Service de mathémathiques appliquée, Éditeur scientifique . - Grenoble [France] : Université de Grenoble, [19??] . - P. 37-118 : ill. ; 30 cm.
Langues : Français (fre)
Mots-clés : Algorithmes
Programmation linéaire Analyse numériqueIndex. décimale : 519.8 Recherche opérationnelle Note de contenu : Au sommaire :
II. Problème linéaires de flot et de potentiel.
1. Problème de cheminement, résultats généraux.
2. Problème de cheminement , algorithmes.
3. Applications des problèmes de plus court chemin.
4. Le problème du flot maximum, la théorème de la coupe minimale.
5. Application du théorème de la coupe minimale.
6. Problèmes convexes de flot et de potentiel.
7. Problèmes linéaires de flot, algorithme de résolution dans le cas général, application.Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 012616 519.8 SAK Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place
Titre : Théorie des réseaux : chapitre 1 à 7 Type de document : texte imprimé Auteurs : Jean Kuntzmann (1912-1992), Auteur Editeur : Grenoble [France] : Université de Grenoble Année de publication : 1970 Importance : 190 p. Présentation : ill. Format : 29 cm Note générale : La page de couv. et de titre porte en plus : Maitrise d'informatique C3, logique et programmation des calculateurs. Langues : Français (fre) Mots-clés : Mathématiques logiques Programmation Calculateurs Index. décimale : 518.4 Calcul graphique Note de contenu : Au sommaire :
I. Compléments d'algèbre.
1. Dioides, matrices.
2. Relations.
II. Etude générale des réseaux.
3. Réseau définis par relation.
4. Connexité isovalence sous réseaux.
5. Trains itinéraires écarts.
6. Arbres.
7. Cycles, coupures.Théorie des réseaux : chapitre 1 à 7 [texte imprimé] / Jean Kuntzmann (1912-1992), Auteur . - Grenoble [France] : Université de Grenoble, 1970 . - 190 p. : ill. ; 29 cm.
La page de couv. et de titre porte en plus : Maitrise d'informatique C3, logique et programmation des calculateurs.
Langues : Français (fre)
Mots-clés : Mathématiques logiques Programmation Calculateurs Index. décimale : 518.4 Calcul graphique Note de contenu : Au sommaire :
I. Compléments d'algèbre.
1. Dioides, matrices.
2. Relations.
II. Etude générale des réseaux.
3. Réseau définis par relation.
4. Connexité isovalence sous réseaux.
5. Trains itinéraires écarts.
6. Arbres.
7. Cycles, coupures.Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 012621 518.4 KUN Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place
Titre : Théorie des réseaux : chapitres 12, 13, 14 Type de document : texte imprimé Auteurs : Jean Kuntzmann (1912-1992), Auteur Editeur : Grenoble [France] : Université de Grenoble Année de publication : 1971 Importance : 112 p. Présentation : ill. Format : 29 cm Note générale : La page de couv. et de titre porte en plus : Maitrise d'informatique C3, logique et programmation des calculateurs Langues : Français (fre) Mots-clés : Mathématiques Matrices algébriques Réseaux Index. décimale : 518.4 Calcul graphique Note de contenu : Au sommaire :
12. Réseau porteurs de structures vectorielles.
13. Réseau électriques.
14. Réseaux booléensThéorie des réseaux : chapitres 12, 13, 14 [texte imprimé] / Jean Kuntzmann (1912-1992), Auteur . - Grenoble [France] : Université de Grenoble, 1971 . - 112 p. : ill. ; 29 cm.
La page de couv. et de titre porte en plus : Maitrise d'informatique C3, logique et programmation des calculateurs
Langues : Français (fre)
Mots-clés : Mathématiques Matrices algébriques Réseaux Index. décimale : 518.4 Calcul graphique Note de contenu : Au sommaire :
12. Réseau porteurs de structures vectorielles.
13. Réseau électriques.
14. Réseaux booléensRéservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 012622 518.4 KUN Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place Permalink
