A canonical form is a standard way of presenting a mathematical object as an expression, which provides the simplest representation and allows it to be identified uniquely. In computer science, canonical forms are representations such that every object has a unique representation, while normal forms are weaker representations such that zero is uniquely represented. Canonical forms can also refer to differential forms defined in a natural way.
University of Washington
Autumn 2021
CSE 311 introduces theoretical computer science, the theory background necessary for other CSE courses, and how to construct rigorous, formal arguments. Topics include logic, set theory, modular arithmetic, induction, regular expression, and relations.
No concepts data
+ 33 more concepts