Section: S2 - Applications du calcul propositionnel (3h) | [HILISIT] MathPInfo - Logique et Raisonnement

Section outline

Objectifs : Pouvoir appuyer des exemples concrets sur la mécanique de calcul, Clarifier des étapes de raisonnement que le langage usuel rend ambiguës, Appliquer les principes à la conception de circuits informatiques
- Select activity Apprendre
  
  Apprendre
- Select activity CS - Applications du calcul propositionnel [rs2]
  
  CS - Applications du calcul propositionnel [rs2] URL
  
  Students must
  
  Mark as done
- Select activity S'exercer (copie)
  
  S'exercer
- Select activity TD - Exercices [rs2] - énoncés
  
  TD - Exercices [rs2] - énoncés URL
  
  Students must
  
  Mark as done
- Select activity TD - Exercices [rs2] - avec solutions
  
  TD - Exercices [rs2] - avec solutions URL
  
  Students must
  
  Mark as done
- Select activity S'évaluer (copie)
  
  S'évaluer
- Select activity Test - Applications du calcul propositionnel [rs2] - N12 - 6qz - 5 pour passer
  
  Test - Applications du calcul propositionnel [rs2] - N12 - 6qz - 5 pour passer Quiz
  
  Students must
  
  Receive a grade
  
  Receive a passing grade