Секция: First-order logic | Introduction to logic and automated proof (UGA, L2, INF432) | Caseine

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

Section outline

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