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

Mode d'enseignement

  • Régulier
  • Cours pouvant être offert à distance-hybride

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 2021 – 1 section offerte

NRC 16337 Capacité maximale: 30 étudiants

Plages horaires

    • Type: Classe virtuelle synchrone
    • Dates: Du 18 janv. 2021 au 23 avr. 2021
    • Journée: Lundi
    • Horaire: De 16h à 17h20
    • Type: Classe virtuelle synchrone
    • Dates: Du 18 janv. 2021 au 23 avr. 2021
    • Journée: Mardi
    • Horaire: De 11h à 12h20

Hiver 2019 – 1 section offerte

NRC 16492 Capacité maximale: 30 étudiants

Plages horaires

    • Type: En classe
    • Dates: Du 14 janv. 2019 au 26 avr. 2019
    • Journée: Jeudi
    • Horaire: De 12h30 à 13h20
    • Pavillon: Alexandre-Vachon
    • Local: 2810
    • Type: En classe
    • Dates: Du 14 janv. 2019 au 26 avr. 2019
    • Journée: Vendredi
    • Horaire: De 10h30 à 12h20
    • Pavillon: Alexandre-Vachon
    • Local: 2810