Nie jesteś zalogowany |
Logiczne prawa rozdzielności
- Prelegent(ci)
- Bartek Klin
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 5 grudnia 2011 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Opowiem o metodzie dowodzenia kompozycjonalności
równoważności behawioralnych za pomocą układów równań między
operatorami modalnymi. Najpierw przypomnę, co to są koalgebry,
bialgebry, logiki modalne i SOS.
