ECTS
3 crédits
Composante
Philo, Info-Comm, Langages, Littératures & Arts du spectacle
Volume horaire
24h
Période de l'année
Enseignement cinquième semestre
Description
Le cours propose une introduction à la logique. On y présentera les principes de la formalisation des énoncés du langage courant ainsi que les critères formels de validité des raisonnements.
La première partie sera consacrée à la logique propositionnelle et la seconde partie à la logique des prédicats.
Les différentes figures de raisonnement seront introduites via formalisme de la déduction naturelle.
Objectifs
Fournir les outils de base pour une approche formelle du langage.
Évaluation
M3C en deux sessions
REGIME STANDARD Session 1: CC 100%
Contrôle Continu : 2 notes au moins dont une évaluation en temps limité. (50%
REGIME DEROGATOIRE : CT 100%
1 note, évaluation écrite en temps limité - 1H
SESSION 2 (dite de 2nd chance) : CT 100%
1 note, évaluation écrite en temps limité - 1H
Pré-requis obligatoires
aucun
Compétences visées
- savoir formaliser des énoncés simples du langage courant, contenant en particulier des quantificateurs ;
- savoir reconnaître si un raisonnement est valide et construire des preuves formelles.