| Titre : | Théorie de la Programmation |
| Auteurs : | W.NIAR DINEDANE, Auteur |
| Type de document : | Monographie imprimée |
| Editeur : | Alger [Algérie] : OPU, 1993 |
| ISBN/ISSN/EAN : | INF146 |
| Format : | 1 vol. (121 p.) / ill. / 22 cm |
| Langues: | Français |
| Index. décimale : | 005.1 |
| Sommaire : |
INTRODUCTION
CHAPITRE I : NOTIONS DE PROGRAMMATION I-I PROBLÈME I-I-1 Définition d'un problème 3 1-1-2 Exemples de problèmes 4 1-1-3 Formalisation d'un problème I-II ALGORITHME I-II--1 Définition d'un algorithme 1-11-2 Description d'un algorithme 6 I-IlI PROGRAMMES I-III-1 Introduction 7 I-III-E Définition de la programmation 8 IV ETAPES DE LA RESOLUTION D'UN PROBLEME I-IV-1 Les différentes étapes 8 I-IV-2 Etude d'un exemple simple 9 I-IV-3 Sémantique 10 I-V PRINCIPAUX TYPES DE PROGRAMMATION I-V-1 Les répétitions dans la programmation 11 I-V-2 La programmation par branchement 11. I--V-3 La programmation par instruction d'itération 12 I-V-4 La programmation par la récursion 12 I--V1 NOTIONS DE RECURSIVITE I--VI-1 Enoncés récursifs 13 1-V1-2 Fonctionnelle et point fi>e 15 1-V1•3 Solutions de définitions récursives 16 1-IV-4 Théorème du point fi>e . 18 CHAPITRE II LES SCHEMAS DE PROGRAMMES SCHEMAS FONCTIONNELS II-I-1 Représentation d'une fonction 21 11-1-2 Formalisation des schémas fonctionnels 22 11-1-3 Interprétations 22 SCHEMAS DE PROGRAMMES AVEC BRANCHEMENT Définition d'un schéma de programme 24 11-1I-2 Interprétation et initialisation schéma de programme 26 11-11-3 Execution d'un schéma de programme 28 Interprétation libres 30 11-11-5 Les schémas à une variable 31 II-II-6 Représentation des schémas de Ianov 33 II--II--7 Isologie entre schémas de programme.. 36 Problème d'indécidaollité 37 SCHEMAS ITERATIFS Préliminaires 39 Définition des Z-schémas 41 11-1I1-3 Autres structures 45 II-1V SCHEMAS RECURSIFS Il-TV-1 Définition d'un schéma récursif . 48 If-IV-2 Interprétation d'un schéma rérursif 50 1I-1V-3 Fonctionnelles associées aux termes 52 CHAPITRE [ I l : CORRECTION DES PROGRAMMES III-I INTRODUCTION 53 III-II PROGRAMMES AVEC BRANCHEMENT III-1I-1 Etude d'un eemple r=.4 III- 1I-2 Définitions et propriétés 57 III-I-3 Ver:.%1'ication de la correction partielle III-11-4 Correction totale 62 PROGRAMMES ITERATIFS III-III-1 Preliminair III-III-2 Correctioq partielle 67 III-111-3 Correction totale 71 III-1V PROWAMMES RECURS IFS III-IV•1 Correction partielle 72 III-IV-2 Correction totale CHAPITRE IV : NOTIONS DE SEMANTIOUE IV--I INTRODUCTION 79 IV-II APPLICATION SUR UN EXEMPLE DE LANGAGE IV-II-1 Description du langage 82 IV-II-2 Sémantique interprétative 82 IV-II-3 Sémantique calculatoire 99 IV-II-4 Sémantique dénotationnelle 104 IV-II-5 Sémantique axiomatique 112 BIBLIOGRAPHIE 117 |
| Type de document : | Livres |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| INF/146 | Livre | bibliothèque sciences exactes | Empruntable |
