Durée
30h Th, 10h Pr, 20h TD
Nombre de crédits
| Master en sciences mathématiques, à finalité | 10 crédits |
Enseignant
Langue(s) de l'unité d'enseignement
Langue française
Organisation et évaluation
Enseignement au deuxième quadrimestre
Unités d'enseignement prérequises et corequises
Les unités prérequises ou corequises sont présentées au sein de chaque programme
Contenus de l'unité d'enseignement
Les algèbres de Boole sont introduites de façon abstraite et leur lien avec la logique classique tôt mis en évidence.
On développe ensuite la dualité de Stone qui montre dans quelle mesure une algèbre de Boole est caractérisée par ses caractères.
Selon les affinités de l'auditoire, plusieurs thèmes peuvent être abordés: étude particulière des algèbres de Boole dénombrables (comprenant le théorème de Vaught), généralisation de la dualité de Stone aux dualités naturelles, études d'algèbre liées à des logiques non-classiques, ...
Acquis d'apprentissage (objectifs d'apprentissage) de l'unité d'enseignement
Introduction aux techniques de la logique algébrique.
Le niveau du cours sera adapté à l'auditoire (ce cours est avant tout un cours de 3e cycle, lié à une formation doctorale).
Savoirs et compétences prérequis
Des bases rudimentaires en algèbre générale et en logique. Une connaissance de la topologie (en particulier les produits d'espaces topologiques).
Activités d'apprentissage prévues et méthodes d'enseignement
Exercices d'illustration de la théorie, ouvertures vers des thèmes de recherche, les séances de travaux pratiques sont avant tout destinées à former l'intuition et l'esprit critique en logique algébrique.
Mode d'enseignement (présentiel ; enseignement à distance)
Cours d'un semestre donné à l'Institut de mathématique.
Lectures recommandées ou obligatoires et notes de cours
Un syllabus est disponible, reprenant les bases de l'algèbre universelle nécessaires et développant la théorie de la dualité.
Modalités d'évaluation et critères
Pour chacune des deux sessions: un examen oral comportant une ou deux questions de théorie et un ou deux exercices.
Stage(s)
Remarques organisationnelles
Contacts
HANSOUL Georges
Institut de Mathématique - Bât. B37
Bureau 059
Grande Traverse, 12 - 4000 Liège
(Sart Tilman)
Tél. : 04/366.94.69
Fax : 04/366.96.47
E-mail : G.Hansoul@ulg.ac.be
Julien RASKIN
Tél. : 04/366.94.32
E-mail : J.Raskin@ulg.ac.be
Laurent DE RUDDER
Tél. : 04/366.94.06
E-mail : L.DeRudder@ulg.ac.be