Pytania otagowane jako semantics

1
W teorii domen, do czego można wykorzystać dodatkową strukturę występującą w przestrzeniach metrycznych?
Rozdział Smytta w podręczniku logiki w informatyce i inne źródła opisują, w jaki sposób przestrzeni metrycznych można użyć jako domen. Rozumiem, że pełne przestrzenie metryczne dają unikalne stałe punkty, ale nie rozumiem, dlaczego przestrzenie metryczne są ważne. Byłbym wdzięczny za wszelkie przemyślenia na następujące pytania. Jakie są dobre przykłady wykorzystania …
2
Certyfikowany kompilator i optymalizacje w Coq / Agda
Interesują mnie sprawdzone kompilatory sformalizowane w teorii typów Martina-Löfa, tj. Coq / Agda. W tej chwili napisałem przykład małej zabawki. Dzięki temu mogę udowodnić, że moje optymalizacje są prawidłowe. Na przykład można wyeliminować dodawanie zerowe, tzn. Wyrażenia takie jak „x + 0”. Czy istnieją optymalizacje, które są trudne do przeprowadzenia …
2
Definicja formalna / część przeciwna w matematyce dla „obiektów” modeli obiektowych
To pytanie zadałem na forum matematyki SE i zostałem tutaj skierowany. Oto pytanie Jestem nowicjuszem zarówno w matematyce formalnej, jak i informatyce teoretycznej, więc proszę o wyrozumiałość, jeśli okaże się, że moje pytanie nie jest odpowiednio sformułowane. Modelowanie obiektowe wydaje się bardzo przydatne w definiowaniu złożonych interakcji podczas symulacji świata …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.