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

Résumé de section

Objectifs : Utiliser à bon escient les différents quantificateurs, Savoir manipuler les connecteurs logiques et les quantificateurs
- Sélectionner l’activité Apprendre
  
  Apprendre
- Sélectionner l’activité CS - Calcul des prédicats [rs3]
  
  CS - Calcul des prédicats [rs3] URL
  
  Les étudiants doivent
  
  Marquer comme terminé
- Sélectionner l’activité S'exercer (copie)
  
  S'exercer
- Sélectionner l’activité CX - Comprendre le cours [rs3] - avec solutions
  
  CX - Comprendre le cours [rs3] - avec solutions URL
  
  Les étudiants doivent
  
  Marquer comme terminé
- Sélectionner l’activité TD - Exercices [rs3] - énoncés
  
  TD - Exercices [rs3] - énoncés URL
  
  Les étudiants doivent
  
  Marquer comme terminé
- Sélectionner l’activité TD - Exercices [rs3] - avec solutions
  
  TD - Exercices [rs3] - avec solutions URL
  
  Les étudiants doivent
  
  Marquer comme terminé
- Sélectionner l’activité S'évaluer (copie)
  
  S'évaluer
- Sélectionner l’activité Test - Calcul des prédicats [rs3] - N12 - 10qz - 7 pour passer
  
  Test - Calcul des prédicats [rs3] - N12 - 10qz - 7 pour passer
  
  Les étudiants doivent
  
  Recevoir une note
  
  Obtenir une note minimale de réussite