Opções de inscrição

  • Logique formelle (connecteurs, tables de vérité)
  • Opérations sur les ensembles (quantificateurs)
  • Techniques de démonstration (contraposée, absurde, récurrence)
Os visitantes não têm acesso a esta disciplina. Por favor, autentique-se.