Pytania otagowane jako math

Pytania dotyczące programowania, na które istotnie wpływa lub najlepiej określa je podstawowa matematyka problemu.

2
Czy `Vector <float> .Equals` powinien być zwrotny, czy powinien być zgodny z semantyką IEEE 754?
Porównując wartości zmiennoprzecinkowe dla równości, istnieją dwa różne podejścia: NaNnie są sobie równe, co odpowiada specyfikacji IEEE 754 . NaNbędąc równym sobie, co zapewnia matematyczną właściwość Refleksyjności, która jest niezbędna do zdefiniowania relacji Równoważności Wbudowane typy zmiennoprzecinkowe IEEE w języku C # ( floati double) są zgodne z semantyką IEEE …
1
Jak unums mogą emulować ujemne zero IEEE?
Obecnie czytam „Koniec błędu - Unum Computing” Johna Gustafsona ( Youtube ). Nadal nie jestem pewien, w jaki sposób sprawy obsługiwane w IEEE przez ujemnie podpisane zero są obsługiwane przez unumy. Po pierwsze, unum pozwala na reprezentowanie pewnych dokładnych wartości (podobnie jak zmiennoprzecinkowe) i dodatkowo pozwala na reprezentowanie otwartych przedziałów, …
3
Jakie uzasadnienie stosuje się, gdy projektanci języków programowania decydują, jaki znak ma wynik działania modulo?
Przechodząc przez operację Modulo (aleję, którą wszedłem, badając różnicę między remimod ) natknąłem się na: W matematyce wynikiem operacji modulo jest pozostała część podziału euklidesowego. Możliwe są jednak inne konwencje. Komputery i kalkulatory mają różne sposoby przechowywania i reprezentowania liczb; dlatego ich definicja działania modulo zależy od języka programowania i …
1
Czy do testowania / weryfikacji SQL można używać relacyjnych dowodów algebry / rachunku różniczkowego?
Czy jest wykonalne lub możliwe jest użycie algebry relacyjnej i / lub rachunku relacyjnego w postaci dowodów do testowania / weryfikacji poprawności instrukcji SQL, funkcji i procedur przechowywanych? Wydaje mi się, że powinno to być co najmniej możliwe, ale nie wiem, czy brakuje mi jakiegoś szczegółu, który sprawia, że ​​mapowanie …
1
Matematyka potrzebna była do zrozumienia teorii stojącej za systemem typów Haskella?
Ostatnio bardzo się zainteresowałem Haskellem. Próbując nauczyć się nowych pojęć (np . Słowo kluczowe forall i monada ST ) i ogólnie systemu typów Haskella, ciągle napotykam pojęcia z teorii kategorii i rachunku lambda . Zastanawiam się więc: Jakie inne gałęzie matematyki są ważne dla silnego zrozumienia systemu typów Haskella? Czy …
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.