The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
202 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 ...
7
votes
3answers
171 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, ...