Logique des propositions

Logique des propositionsCode de l'UE : HLIN509

Présentation

Raisonnements logiques, Modélisation en logique, Inférence en logique

Objectifs

L'objectif de cette UE est d'étudier la formalisation du raisonnement déductif

Volume horaire

  • CM : 16.5
  • TD : 24
  • TP : 9
Diplômes intégrant cette UE

En bref

Crédits ECTS 5

Nombre d'heures 49 HE

Période de l'année
S5

Contact(s)

Contact(s) administratif(s)

Souhila KACI (souhila.kaci @ umontpellier.fr)