• 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.

Lire plus

Objectifs

Fournir les outils de base pour une approche formelle du langage.

Lire plus

É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)

Lire plus

Heures d'enseignement

  • Bases du raisonnementTD24h

Pré-requis obligatoires

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.

Lire plus