Let $(X, \mathscr{B})$ be a standard Borel space, $R \subset X \times X$ an equivalence relation $\in \mathscr{B} \times \mathscr{B}$. Assume each equivalence class ...

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

Let $R$ be a Borel equivalence relation with countable equivalence classes, on the standard Borel space $(X, \mathscr{A}, \mu)$. Let $\sigma$ be a 2-cohomology class ...

This repository contains C++ programs that implement classic problems from discrete structures and graph theory. Each program demonstrates important theoretical concepts through practical coding ...

Introduction to Logic: Logical Operators -- negation, conjunction, disjunction, XOR, conditional, biconditional. Precedence of logical operators. The conditional operator, examples of translating ...