Given an ergodic measured discrete equivalence relation 𝓡 and an ergodic subrelation 𝒮 ⊂ 𝓡 of finite index, C. Sutherland showed that they are represented by the cross products 𝓟 ⋊αG and 𝓟 ⋊αH of ...

Introduction, Statements, and Notation, Connectives, Well-formed formulas, Tautology, Duality law, Equivalence, Implication, Normal Forms, Functionally complete set ...

Elementary cellular automaton 77 and its reversible Fredkin version. In a nutshell, the main idea behind this course is that the development of the digital computer, together with the theory of ...

Course Description: A course designed to prepare math, computer science, and engineering majors for future coursework by introducing formal mathematical concepts and techniques that are fundamental ...