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

Schema della sezione

Objectifs : Utiliser à bon escient les différents quantificateurs, Savoir manipuler les connecteurs logiques et les quantificateurs
- Seleziona attività Apprendre
  
  Apprendre
- Seleziona attività CS - Calcul des prédicats [rs3]
  
  CS - Calcul des prédicats [rs3] URL
  
  Gli studenti devono
  
  Spunta come completato
- Seleziona attività S'exercer (copie)
  
  S'exercer
- Seleziona attività CX - Comprendre le cours [rs3] - avec solutions
  
  CX - Comprendre le cours [rs3] - avec solutions URL
  
  Gli studenti devono
  
  Spunta come completato
- Seleziona attività TD - Exercices [rs3] - énoncés
  
  TD - Exercices [rs3] - énoncés URL
  
  Gli studenti devono
  
  Spunta come completato
- Seleziona attività TD - Exercices [rs3] - avec solutions
  
  TD - Exercices [rs3] - avec solutions URL
  
  Gli studenti devono
  
  Spunta come completato
- Seleziona attività S'évaluer (copie)
  
  S'évaluer
- Seleziona attività Test - Calcul des prédicats [rs3] - N12 - 10qz - 7 pour passer
  
  Test - Calcul des prédicats [rs3] - N12 - 10qz - 7 pour passer Quiz
  
  Gli studenti devono
  
  Ricevere una valutazione
  
  Ottenere la sufficienza