Modéliser et résoudre des problèmes de logique combinatoire et séquentielle. Analyser, concevoir et réaliser des systèmes numériques combinatoires et séquentiels simples à partir de spécifications descriptives.