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 2 sessions
- Régime standard session 1
TD : La note est constituée d'au moins deux épreuves, dont une en temps limité.
- Régime dérogatoire session 1
Une épreuve écrite en temps limité (1h) donnant lieu à une seule note
- Session 2 dite de rattrapage
Une épreuve écrite en temps limité (1h)
Heures d'enseignement
- Bases du raisonnementTD24h
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.