Système logiques, semèstre 2026-2027, cours du soir