5.00 crédits
45.0 h + 15.0 h
Q2
Enseignants
Verdée Peter;
Langue
d'enseignement
d'enseignement
Français
> English-friendly
> English-friendly
Thèmes abordés
- Les notions de loi logique et de raisonnement valide
- La logique classique : l'approche sémantique (la théorie des modèles), l'approche syntaxique (la théorie de la démonstration) et l'équivalence des deux approches quant au résultat
- Les limites de la logique classique
- Les racines historiques de la logique contemporaine
Acquis
d'apprentissage
d'apprentissage
A la fin de cette unité d’enseignement, l’étudiant est capable de : | |
|
|
Contenu
Les sujets suivants seront abordés :
- Les réponses possibles à la question « qu’est-ce que la logique ? »
- La base mathématique : fonction, relation, ensemble, arbre, définition/preuve par récurrence
- La logique propositionelle : sémantique et axiomatique
- La logique prédicative : sémantique
- Problèmes de la logique classique
- Une logique pertinente et sa théorie de preuves diagrammatique
- Histoire de la logique : Aristote, les stoiciëns, Frege, Russell, Tarski, Gödel
Méthodes d'enseignement
- Cours ex cathedra avec quelques exercices en petits groupes
- Travaux dirigés avec l'assistent
Modes d'évaluation
des acquis des étudiants
des acquis des étudiants
L'évaluation finale en juin comporte :
- pour 10%, le résultat obtenu lors des trois interrogations prévues en cours de quadrimestre;
- pour 30%, le résultat obtenu lors de l'examen écrit des TD en cours de quadrimestre (en mai).
- pour 60%, le résultat obtenu lors de l'examen écrit durant la session de juin. Cet examen est un examen à livre ouvert et se concentre surtout sur la compréhension du contenu du cours.
Bibliographie
- Syllabus écrit par l'enseignant
Support de cours
- Syllabus écrit par l'enseignant et certains textes disponibles sur Moodle
Faculté ou entité
en charge
en charge
EFIL