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

Exercices

donnés au cours

Méthodes d'enseignement

cours magistral

Méthode d'évaluation

examen écrit

Sources, références et supports éventuels

aucun

Langue d'instruction

Français
Formation Programme d’études Bloc Crédits Obligatoire
Standard 0 3
Standard 1 3