COURS // MAT4050 Logique II
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 |
|---|
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é.
