BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Département de mathématiques et applications - ECPv6.2.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.math.ens.psl.eu
X-WR-CALDESC:évènements pour Département de mathématiques et applications
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20140330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20141026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20140402T170000
DTEND;TZID=Europe/Paris:20140402T170000
DTSTAMP:20260406T122652
CREATED:20140402T150000Z
LAST-MODIFIED:20211028T094744Z
UID:8841-1396458000-1396458000@www.math.ens.psl.eu
SUMMARY:La dualité de Stone en logique et en informatique
DESCRIPTION:La dualité de Stone montre que la catégorie des algèbres de Boole avec leurs homomorphismes est équivalente à l’opposée de celle des espaces compacts qui possèdent une base d’ouverts-fermés. Le fait que ce soit une équivalence entre une catégorie et l’opposée d’une autre signifie que les sous-objets d’un côté correspondent aux quotients de l’autre et que les produits d’un côté correspondent aux coproduits (ou sommes) de l’autre. Cela donne aux dualités leur puissance toute particulière. \nLa dualité de Stone et ses variantes et ses extensions donnent le lien entre l’approche syntaxique par la déduction et la sémantique en logique. En informatique théorique cette dualité est centrale car les deux côtés correspondent\, respectivement\, aux langages de spécification et aux espaces d’états de systèmes calculatoires. Plus récemment\, il est aussi apparu que la dualité de Stone est le mécanisme sous-jacent de la théorie d’Eilenberg-Reiterman qui lie les classes de langages formels réguliers aux classes de semi-groupes finis. \nLe séminaire a pour but de donner une idée de cette dualité et de la manière dont elle est utile en informatique théorique. Toutes les notions nécessaires seront introduites au cours de l’exposé\, qui pourra donc être suivi sans pré-requis en logique ou en informatique théorique.
URL:https://www.math.ens.psl.eu/evenement/la-dualite-de-stone-en-logique-et-en-informatique/
LOCATION:ENS (amphithéâtre Galois sous la bibliothèque de mathématique)
CATEGORIES:ANNÉE 2013-2014,Archives Séminaire « Des mathématiques »,Séminaire Des mathématiques
END:VEVENT
END:VCALENDAR