Dziedzina abstrakcyjna opisująca mnożenie zmiennych

Prelegent(ci)

Krzysztof Jakubczyk

Afiliacja

Uniwersytet Warszawski

Termin

22 listopada 2010 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Opowiem o pracy nad nową abstrakcyjną dziedziną numeryczną pozwalającą obsłużyć mnożenie zmiennych - będą to nierówności postaci xy <= c lub xy >=c, gdzie c może być liczbą ujemną lub dodatnią. Zaprezentuję bardziej szczegółowo podstawową wersję dziedziny oraz opowiem o trudnościach powstających przy próbie obsłużenia trudniejszych przypadków (łączenie różnych wersji nierówności oraz znaku c).

---