Programme d’études 2019-2020English
Logique
Activité d'apprentissage
CodeTitulaire(s)Co-Titulaire(s)Suppléant(s) et autre(s)Établissement(s)
S-MATH-718
  • BRIHAYE Thomas
      • UMONS
      Langue
      d’enseignement
      Langue
      d’évaluation
      HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Période
      d’enseignement
      FrançaisFrançais024000Q1

      Modalités d'organisation des évaluations à distance de fin de Q3 2019-2020 (Covid-19)
      • Epreuve écrite (QCM, questions ouvertes)
      Description des modalités d'évaluation à distance de fin de Q3 2019-2020 (Covid-19)
      Quiz suivi d'une épreuve écrite.
      La note pour l'ensemble de l'examen sera donnée par 0.2 Q + 0.8 E où Q est la note au quiz (sur 20) et E la note à l'épreuve écrite (sur 20) sauf si Q < 10, auquel cas la note finale est 0.2 Q.
       

      Contenu de l'AA

      Logique propositionnelle et du premier ordre, techniques de preuve et théorie des ensembles.

      Supports principaux non reproductibles

      Sans objet

      Support complémentaires non reproductibles

      Sans objet

      Autres références conseillées

      Sans objet

      Mode d'enseignement

      • Face à face

      Types d'activités

      • Exercices dirigés

      Evaluations

      Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend

      (*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre
      Date de génération : 13/07/2020
      20, place du Parc, B7000 Mons - Belgique
      Tél: +32 (0)65 373111
      Courriel: info.mons@umons.ac.be