Logique mathématique appliquée. Mathématiques.
Numéro d'inventaire : 1982.00976 (7-12)
Auteur(s) : Roger Henri Chardonnet
Type de document : travail d'élève
Date de création : 1967
Description : Ensemble de feuilles blanches mais dactylographiées.
Mesures : hauteur : 273 mm ; largeur : 215 mm
Notes : Cours de mathématique appliquée du 1er semestre.
Le professeur est Mr Nolin.
Cours de l'Institut de programmation de la faculté de Paris sur la formalisation des notions de machine et de programme.
(7) Première partie: les méthodes et les problèmes de la formalisation: la géométrie
(8) Les algèbres de Boole
(9) 2ème partie: les langages de démonstration: langage d'ordre zéro
(10) suite du (9)
(11) 3ème partie: les langages: mots et classes de mots.
(12) Châpitre III: un langage à tout faire (A.T.F.)
Le professeur est Mr Nolin.
Cours de l'Institut de programmation de la faculté de Paris sur la formalisation des notions de machine et de programme.
(7) Première partie: les méthodes et les problèmes de la formalisation: la géométrie
(8) Les algèbres de Boole
(9) 2ème partie: les langages de démonstration: langage d'ordre zéro
(10) suite du (9)
(11) 3ème partie: les langages: mots et classes de mots.
(12) Châpitre III: un langage à tout faire (A.T.F.)
Filière : Université
Niveau : 1ère
Nom de la commune : Paris
Nom du département : Paris
Langue : Français
Nombre de pages : n.p.
Nombre de pages : n.p.