The nomenclature tag has no wiki summary.
3
votes
1answer
162 views
How do I express these group-theory concepts in spoken German?
I'm always having trouble talking about my mathematics in spoken German. For instance:
ℤ/nℤ ("the cyclic group "z over n z" or "z mod n z")
(ℤ/pℤ)× (the group non-zero elements of "z over p ...
6
votes
3answers
155 views
Deutsche Bezeichnungen für Begriffe aus der Typtheorie
In der Informatik hat man Variablen verschiedenen Typs, wie z.B. Bool (Typ von True), String (Typ von "abc") oder Maybe. Manche Programmiersprachen unterscheiden neben Typen jedoch auch kinds, ...
