Section: S3 - Calcul des prédicats (6h - 8h) | [HILISIT] MathPInfo - Logique et Raisonnement

Section outline

Objectifs : Utiliser à bon escient les différents quantificateurs, Savoir manipuler les connecteurs logiques et les quantificateurs
- Select activity Apprendre
  
  Apprendre
- Select activity CS - Calcul des prédicats [rs3]
  
  CS - Calcul des prédicats [rs3] URL
  
  Students must
  
  Mark as done
- Select activity S'exercer (copie)
  
  S'exercer
- Select activity CX - Comprendre le cours [rs3] - avec solutions
  
  CX - Comprendre le cours [rs3] - avec solutions URL
  
  Students must
  
  Mark as done
- Select activity TD - Exercices [rs3] - énoncés
  
  TD - Exercices [rs3] - énoncés URL
  
  Students must
  
  Mark as done
- Select activity TD - Exercices [rs3] - avec solutions
  
  TD - Exercices [rs3] - avec solutions URL
  
  Students must
  
  Mark as done
- Select activity S'évaluer (copie)
  
  S'évaluer
- Select activity Test - Calcul des prédicats [rs3] - N12 - 10qz - 7 pour passer
  
  Test - Calcul des prédicats [rs3] - N12 - 10qz - 7 pour passer Quiz
  
  Students must
  
  Receive a grade
  
  Receive a passing grade