Секция: Logique du premier ordre | Introduction à la logique et démonstration automatique - Université Grenoble Alpes (UGA, L2, INF402) | Caseine

В начало Календарь Shared Space

Section outline

- Выбрать элемент Transparents de cours semaine 7 Lesson slides week...
  
  Transparents de cours semaine 7
  
  Lesson slides week 7
- Выбрать элемент Transparents de cours semaine 8 Lesson slides week...
  
  Transparents de cours semaine 8
  
  Lesson slides week 8
- Выбрать элемент Quiz d'entraînement en logique du premier ordre
  
  Quiz d'entraînement en logique du premier ordre Тест