Секция: 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
- Выбрать элемент Apprendre
  
  Apprendre
- Выбрать элемент CS - Calcul des prédicats [rs3]
  
  CS - Calcul des prédicats [rs3] Гиперссылка
  
  Студенты должны
  
  Отметить как выполненный
- Выбрать элемент S'exercer (copie)
  
  S'exercer
- Выбрать элемент CX - Comprendre le cours [rs3] - avec solutions
  
  CX - Comprendre le cours [rs3] - avec solutions Гиперссылка
  
  Студенты должны
  
  Отметить как выполненный
- Выбрать элемент TD - Exercices [rs3] - énoncés
  
  TD - Exercices [rs3] - énoncés Гиперссылка
  
  Студенты должны
  
  Отметить как выполненный
- Выбрать элемент TD - Exercices [rs3] - avec solutions
  
  TD - Exercices [rs3] - avec solutions Гиперссылка
  
  Студенты должны
  
  Отметить как выполненный
- Выбрать элемент S'évaluer (copie)
  
  S'évaluer
- Выбрать элемент Test - Calcul des prédicats [rs3] - N12 - 10qz - 7 pour passer
  
  Test - Calcul des prédicats [rs3] - N12 - 10qz - 7 pour passer Тест
  
  Студенты должны
  
  Получить оценку
  
  Получить проходной балл

Section outline

Apprendre

S'exercer

S'évaluer