Cours 2020-2021

Logique et argumentation [LPHIB101]

  • 3 crédits
  • 30h
  • 1er quadrimestre
Langue d'enseignement: Français
Enseignant: Lambert Dominique

Acquis d'apprentissage

Introduire à la logique formelle.

Contenu

Logique propositionnelle, logique des prédicats, logique des relations. Introduction élémentaire à la théorie des modèles. Théorème de complétude de la logique des propositions. Structures (Algèbre de Boole,...).

Table des matières

donnée au cours

Description des exercices

exercices donnés au cours

Méthodes d'enseignement

Les modalités d'enseignement et d'évaluation des unités d'enseignement ont été rédigées en fonction de la situation à la rentrée académique 2020-2021. Cependant, ces modalités pourraient faire l'objet de modifications en fonction de l'évolution de la crise sanitaire liée à la covid-19. Les étudiants seront informés de toute modification de la situation générale (passage à l'enseignement à distance partiel ou complet) par les autorités de l'UNamur tandis que les modifications propres à chaque unité d'enseignement leur seront communiquées par les enseignants, via webcampus

cours et exercices donnés durant le cours

Mode d'évaluation

Les modalités d'enseignement et d'évaluation des unités d'enseignement ont été rédigées en fonction de la situation à la rentrée académique 2020-2021. Cependant, ces modalités pourraient faire l'objet de modifications en fonction de l'évolution de la crise sanitaire liée à la covid-19. Les étudiants seront informés de toute modification de la situation générale (passage à l'enseignement à distance partiel ou complet) par les autorités de l'UNamur tandis que les modifications propres à chaque unité d'enseignement leur seront communiquées par les enseignants, via webcampus

examen écrit

Sources, références et supports éventuels

aucune

Langue d'enseignement

Français

Lieu de l'activité

NAMUR

Faculté organisatrice

Faculté de philosophie et lettres
Rue de Bruxelles, 61
5000 NAMUR

Cycle

Etudes de 1er cycle