Zone d'identification |
| Cote: | PP 1065/42 |
| Cotes anciennes: | 42 |
| Titre: | Prolog 1 |
| Dates: | 1983-1986 |
| Période de création: | 01/01/1983 - 31/12/1986 |
| Niveau: | Dossier |
| Importance matérielle: | 1 classeur |
|
Zone du contenu et de la structure |
| Contenu: | Recherche et enseignement.
- suggestions, références et idées.
- exemples divers.
- exemple des 5 maisons.
- logique formelle: résumés, M. Gex, G. Haury et Cie, M. Resnik.
- P-fonctions A. Thayse et résolution: théorie, résumé et séminaire du 15.8.86.
- Prolog: rapport TSI 1983.
- Prolog: rapport TSI 1983 résumé.
- Prolog: documentation diverses.
- P-fonctions et résolution: programmation et logique de décision.
- Calculs y-relatifs.
- Prolog: programmes sur Virtual Address eXtension (VAX).
- Logiques propos et 1er ordres: résumé Chang et Lee rapport page 1 à 42, travail pratique page 5 à 23.
- Exemple grand-père: résumé théorie PROLOG et résolution.
- Exemple famille: selon Dincbas et Cie.
- Exemple Mc Cluskey.
- Exemple plus grand que.
- Réalisations câblée de la logique du 1er ordre: essai.
- Documentation sur la validation du programme: OCCAM.
- Documentation sur système experts: la recherche 1984.
- Documentation matériel pour l'intelligence artificielle: IC.
- Annuaire téléphone rustique: cahier des charges.
- Hyperprogrammes: idées. |
|
Zone des conditions d'accès et d'utilisation |
| Règles d'accès: | Libre. |
| Langue: | Anglais; Français |
|
| |
URL vers cette unité de description |
| URL: | https://davel.vd.ch/detail.aspx?ID=923159 |
| |
Réseaux sociaux |
| Partager | |
| |