Fondements mathématiques de l'informatique [ Livre] / Jacques, Stern

Auteur principal: Stern, JacquesLangue: Français ; de l'oeuvre originale, Français.Publication : Ediscience, 1990, ParisDescription : XVI-318 pagesISBN: 2840740656.Collection: InformatiqueClassification: F Informatique théoriqueRésumé: Sommaire CHAPITRE 1 - Langages et automates 1. Langages 2. Automates finis 3. Langages rationnels 4. Automate minimal 5. Utilisation d'automates finis 6. Indications bibliographiques CHAPITRE 2 - Modèles de calcul 1. Machines de Turing 2. Variantes de la notion de machine de Turing 3. Machines à accès direct 4. Décidabilité 5. Complexité 6. Indications bibliographiques CHAPITRE 3 - Fonctions récursives 1. Fonctions récursives 2. Fonctions calculables par programme 3. Complexité des programmes 4. Indications bibliographiques CHAPITRE 4 - Calcul propositionnel 1. Arbres 2. Formules du calcul propositionnel 3. Valeur d'une formule du calcul propositionnel 4; La méthode de résolution 5. Indications bibliographiques CHAPITRE 5 - Problèmes NP-complets. Non-déterminisme 1. Machines de Turing non déterministes 2. La classe NP 3. Problèmes NP complets 4. Indications bibliographiques CHAPITRE 6 - Calcul des prédicats 1. Formules du calcul des prédicats 2. Valeur d'une formule 3. Pratique du calcul des prédicats 4. Compacité et complétude 5. Indications bibliographique CHAPITRE 7 - Programmation logique 1. Fonctions de Skolem 2. Unification 3. La méthode de résolution en calcul des prédicats 4. Les fondements logiques du langage PROLOG 5. Indications bibliographiques CHAPITRE 8 - Grammaires et analyse syntaxique 1. Grammaires non contextuelles 2. Automates à piles 3. Application à l'analyse syntaxique 4. Indications bibliographiques.Sujet - Nom commun: Mathématiques | Informatique -- Mathématiques | Informatique
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F STE (Browse shelf) Available F Informatique théorique 00001598

Sommaire
CHAPITRE 1 - Langages et automates
1. Langages
2. Automates finis
3. Langages rationnels
4. Automate minimal
5. Utilisation d'automates finis
6. Indications bibliographiques
CHAPITRE 2 - Modèles de calcul
1. Machines de Turing
2. Variantes de la notion de machine de Turing
3. Machines à accès direct
4. Décidabilité
5. Complexité
6. Indications bibliographiques
CHAPITRE 3 - Fonctions récursives
1. Fonctions récursives
2. Fonctions calculables par programme
3. Complexité des programmes
4. Indications bibliographiques
CHAPITRE 4 - Calcul propositionnel
1. Arbres
2. Formules du calcul propositionnel
3. Valeur d'une formule du calcul propositionnel
4; La méthode de résolution
5. Indications bibliographiques
CHAPITRE 5 - Problèmes NP-complets. Non-déterminisme
1. Machines de Turing non déterministes
2. La classe NP
3. Problèmes NP complets
4. Indications bibliographiques
CHAPITRE 6 - Calcul des prédicats
1. Formules du calcul des prédicats
2. Valeur d'une formule
3. Pratique du calcul des prédicats
4. Compacité et complétude
5. Indications bibliographique
CHAPITRE 7 - Programmation logique
1. Fonctions de Skolem
2. Unification
3. La méthode de résolution en calcul des prédicats
4. Les fondements logiques du langage PROLOG
5. Indications bibliographiques
CHAPITRE 8 - Grammaires et analyse syntaxique
1. Grammaires non contextuelles
2. Automates à piles
3. Application à l'analyse syntaxique
4. Indications bibliographiques

Powered by Koha