Notice Dewey
- Notice
005.131 (23e éd.) = Logique symbolique (informatique)
Classer ici les principes mathématiques des langages de programmation, ex. : automates,
langages formels, grammaires, fonctions récursives appliquées aux langages de programmation
Employer la notation -019, Table 1 telle que modifiée à 004.019
Ne pas employer 01, Table 1 pour l'étude générale de la logique en programmation ; voir Guide, 005.101
Employer la notation -019, Table 1 telle que modifiée à 004.019
Ne pas employer 01, Table 1 pour l'étude générale de la logique en programmation ; voir Guide, 005.101
Classer les principes mathématiques de la programmation à 005.130 151
Classer les ouvrages généraux sur la logique en programmation à 005.13
Classer les principes mathématiques des langages de programmation appliqués à l'élaboration d'un traducteur de langage de programmation, au traducteur à 005.45 et compléter en ajoutant -015113, Table 1, ex. : théorie des langages formels appliqués à l'élaboration des compilateurs, 005.453 015113
Voir aussi 005.1 pour les ouvrages d'ordre général sur la logique en programmation
Classer les ouvrages généraux sur la logique en programmation à 005.13
Classer les principes mathématiques des langages de programmation appliqués à l'élaboration d'un traducteur de langage de programmation, au traducteur à 005.45 et compléter en ajoutant -015113, Table 1, ex. : théorie des langages formels appliqués à l'élaboration des compilateurs, 005.453 015113
Voir aussi 005.1 pour les ouvrages d'ordre général sur la logique en programmation
Forme(s) rejetée(s) :
< Logique symbolique (langages de programmation)
< Logique mathématique (langages de programmation)
< Langages formels (langages de programmation)
< Grammaire formelle (langages de programmation)
< Logique symbolique (langages de programmation)
< Logique mathématique (langages de programmation)
< Langages formels (langages de programmation)
< Grammaire formelle (langages de programmation)
Identifiant de la notice : ark:/12148/cb13632114p
Notice n° :
FRBNF13632114
Création :
01/08/01
Mise à jour :
19/12/13
