Connaissance, compréhension et capacité d'utilisation d'éléments de logique et de théorie des langages de programmation.