Classification Canadienne de la Recherche et Développement (CCRD) 2020 version 2.0 - Domaine de recherche (DDR)

• RDF10 - Sciences naturelles
• RDF102 - Informatique et systèmes d'information
• RDF10202 - Informatique théorique et mathématiques computationnelles

RDF1020205 - Théorie de la logique computationnelle

Cette sous-classe comprend la recherche et le développement expérimental en théorie de la logique computationnelle.

• Exclusion(s)

  • langages de programmation répartis (Voir RDF1020210 Langages de programmation répartis)
  • programmation appliquée à la recherche opérationnelle (Voir RDF2020301 Programmation en recherche opérationnelle (y compris les programmations linéaire et non linéaire))
  • programmation génétique (Voir RDF1020808 Programmation génétique)
  • programmation logique en intelligence artificielle (Voir RDF1020115 Programmation logique en intelligence artificielle)