Cours 2017-2018

Logique - questions approfondies [LPHIB112]

  • 3 crédits
  • 30h
  • 1er quadrimestre
Langue d'enseignement: Français
Enseignant: Lambert Dominique

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

Méthodes d'enseignement

cours magistral

Mode d'évaluation

examen écrit

Sources, références et supports éventuels

aucun

Langue d'enseignement

Français

Lieu de l'activité

NAMUR

Faculté organisatrice

Faculté de philosophie et lettres
Rue de Bruxelles, 61
5000 NAMUR

Cycle

Etudes de 1er cycle
BlocCrédits
Bachelier en philosophie13