Opciones de matriculación

  • Logique formelle (connecteurs, tables de vérité)
  • Opérations sur les ensembles (quantificateurs)
  • Techniques de démonstration (contraposée, absurde, récurrence)
Los invitados no pueden entrar a este curso. Por favor acceda con sus datos.