Aller au contenu principal

MAT-2500 Logique et fondements des mathématiques

Rapport entre le langage mathématique et les structures mathématiques : processus mathématisant. Calcul des propositions et calcul des prédicats : syntaxe et sémantique. Conséquence et déduction (syntaxiques et sémantiques). Origine et nature du problème moderne des fondements des mathématiques : étude des systèmes de Frege et de Russell. Propriétés des langages de premier ordre : théorèmes de complétude et de compacité. Éléments de la théorie des modèles; applications, notamment à l'analyse non standard. Théories du premier ordre : systèmes axiomatiques de Peano et de Zermelo-Fraenkel. Incomplétude : théorèmes de Gödel et de Kirby-Paris.

  • 3 Crédits

  • Cycle du cours

    • Premier cycle
  • Modes d'enseignement

    • Régulier

Responsables

  • Faculté des sciences et de génie
  • Département de mathématiques et de statistique

Préalables

MAT-1300 OU IFT-1000

Cette page constitue la description officielle de cette activité. L'Université Laval se réserve le droit de modifier l'activité sans préavis. Tous les horaires indiqués sont sujets à changement.

Répartition hebdomadaire

  • 3h Cours
  • 0h Laboratoire ou travaux pratiques
  • 6h Travail personnel
  • 9h Total

Horaire

Pour vous inscrire, accédez à monPortail.

Hiver 2025 – 1 section offerte

Hiver 2023 – 1 section offerte