AccueilLicence généraleSciences et humanitésEnseignementsLogique 2

Licence Sciences et humanitésUE Logique 2

Contenu

Logique, calcul logique, logique du premier ordre, syntaxe sémantique

Compétences visées

Connaissances en logique, calcul logique, syntaxe sémantique

Langue utilisée

Langue principale utilisée par cet enseignement : Français.

Volume des enseignements

  • Cours magistraux : 30 heures
  • Travaux dirigés : 18 heures