[1 Q. • 45 Th. • 4 crédits ECTS]
| Horaire :
|
|
le mardi de 16:00 à 18:00 au 43 Botanique 7
le jeudi de 16:00 à 18:00 au 109 Marais 512 |
|
|
|
| Professeur :
|
|
Brisart Robert |
|
|
|
| Langues d'enseignement :
|
|
Français |
|
|
|
| Objectifs de l'activité :
|
|
iinitier à la logique standard contemporaine |
|
|
|
| Prérequis :
|
|
aucun |
|
|
|
| Contenu de l'activité :
|
|
Logique classique et logique moderne ; Analyse du langage et fonctions propositionnelles ;. Logique des propositions non analysées (théorie des fonctions de vérité) et logique des propositions analysées (logique des prédicats monadiques et logique des relations); Implications strictes et logique modale Aperçu des logiques plurivalentes et non standard.
|
|
|
|
| Méthodes d'enseignement :
|
|
exposé ex cathedra accompagné d'exercices résolus au cours |
|
|
|
| Méthodes d'évaluation :
|
|
examen écrit |
|
|
|
| Bibliographie :
|
|
ffournie au cours. |
|
|
|
| Années d'études :
|
|
|
