005.13 - Langages de programmation (codage des programmes, éditeurs de texte conçus spécialement pour le codage des ...
- Logique symbolique (automates, fonctions récursives appliquées aux langages de programmation, grammaires, langages formels, principes mathématiques ...
- Langages de programmation spécifiques classés alphabétiquement (C++, HTML, Java, JavaScript, MicroSoft Visual Basic, Python, etc.)
- Langages machine et assembleurs