Rodin Handbook
Handbook Home
Feedback
Email Feedback
Handbook as PDF
Handbook Hardcopy
Rodin Wiki
Rodin Download
Contact
This work is sponsored by the
Deploy Project
This work is sponsored by the
ADVANCE Project
This work is licensed under a
Creative Commons Attribution 3.0 Unported License
Mathematical Notation
Rodin User’s Handbook v.2.8
Rodin User’s Handbook v.2.8
3.3 Mathematical Notation
3.3.1 Introduction
3.3.2 Predicates
3.3.3 Booleans
3.3.4 Sets
3.3.5 Relations
3.3.6 Arithmetic
3.3.7 Typing
3.3.8 Assignments
Rodin User’s Handbook v.2.8
:
Reference
:
Mathematical Notation