COURS // MAT4050 Logique II
Description du cours
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é.
Horaire - Été 2025
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Automne 2025
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Hiver 2026
Ce cours n'est pas offert lors de ce trimestre.