Logique - questions approfondies [LPHIB112]

Acquis d'apprentissage

Méthodes avancées en logique classique et non-classique des propositions

Objectifs

Introduire aux diverses facettes de la logique classique et non-classique des propositions, tout en montrant les liens qui existent entre elles.

Contenu

Logiques et systèmes formels Correction, décidabilité, complétude des systèmes formels Logique et structures: introduction au langage de la théorie des catégories

Table des matières

donnée au cours

Description des exercices

donnés au cours