Mes cours favoris

Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.

Trimestre Cours Groupe

Ce cours est inactif.

  • Cycle : 1
  • Type de cours : Magistral
  • Nombre de crédits : 3
  • Discipline : Mathématiques

Description

Langues et théories de premier ordre. Sémantique: interprétation (structures), satisfaction, conséquences et déductions logiques; généralisation du théorème d'homomorphie; formules préservées par passage aux sous-structures, images homomorphiques, produits directs et produits sous-directs. Syntaxe: conséquences et déductions syntaxiques; théorèmes de déduction, remplacement, égalité, substitution, dualité. Notions fondamentales reliées aux théories de premier ordre. Théorèmes fondamentaux de non-contradiction (complétude), de compacité, des formules existentielles, des extensions fonctionnelles, d'Herbrand, d'interpolation, de définissabilité.

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.
Retour en haut de page