Rules of Inference
Inference When looking at proving equivalences, we were showing that e…
Nested Quantifiers
When we have one quantifier inside another, we need to be a little car…
Finite fields
The origins and history of finite fields can be traced back to the 17th…
Rules of Inference
Inference When looking at proving equivalences, we were showing that e…
Nested Quantifiers
When we have one quantifier inside another, we need to be a little car…