Sygnatury algebraiczne z porządkiem na symbolach
- Prelegent(ci)
- Grzegorz Marczyński
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 16 listopada 2009 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Na seminarium przedstawię wyniki mojej pracy nad sygnaturami algebraicznymi, które zawierają relację zależności pomiędzy symbolami.
Pokażę też definicję kategorii fragmentów takich sygnatur, pullback-pushout uzupełnień, oraz kilku funktorów służących do "domykania" fragmentów w całości.
Do tego wszystkiego postaram sie pokazać motywacje i podać przykłady.