 |  |  |  |  |
| | |
|||||||
| MATH0234-1 | Topologie et algèbre booléennes
[ english version ]
| ||||||||
| |||||||||
| Durée : | 30h Th, 10h Pr | ||||||||
| |||||||||
| Crédits/ECTS : |
| ||||||||
| |||||||||
| Titulaire(s) : | Georges Hansoul | ||||||||
| |||||||||
| |||||||||
| Aperçu général : | 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, ... | ||||||||
| |||||||||
| Objectif du cours : | 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 du DEA interuniversitaire en mathématique). | ||||||||
| |||||||||
| 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). | ||||||||
| |||||||||
| Organisation : | Cours d'un semestre, cyclisé, donné à l'Institut de mathématique. | ||||||||
| |||||||||
| 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é. | ||||||||
| |||||||||
| Evaluation : | Pour chacune des deux sessions: un examen oral comportant une ou deux questions de théorie et un ou deux exercices. | ||||||||
| |||||||||
| 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 TEHEUX Bruno - Tél. : 04/366.96.36 E-mail : B.Teheux@ulg.ac.be | ||||||||
| |||||||||
ULg : Administration de l'Enseignement et des Etudiants - Affaires Académiques
Responsable de l'information : Monique Marcourt, direction A.E.E.
Date de validité des données : 27/02/2006
Réalisation SEGI