¬
Logic, Sets & SAT Lab
Build truth tables, compare logical forms, inspect set operations, and test small CNF satisfiability instances.
Logic · Sets · Graphs · Counting · Algorithms
Discrete Mathematics Labs & Tools
Open a laboratory inside Discrete Mathematics, then return directly to lessons, assessments, gradebook, portfolio, or learner records. Technology supports truth-table generation, set operations, graph traversal, counting, recurrence exploration, and verification; it does not replace definitions, proof, invariants, edge cases, complexity analysis, or ethical judgment.
G
Graph Theory Studio
Create graphs, compute degrees and components, run BFS and DFS, and inspect Euler and bipartite conditions.
C
Combinatorics & Recurrence Lab
Calculate permutations, combinations, inclusion–exclusion counts, pigeonhole bounds, and recurrence sequences.
fx
Scientific Calculator v4
Use integer arithmetic, modular checks, combinatorics, discrete probability, recurrence values, and numerical verification within the Khaemenes mathematics infrastructure.
CAD
OHMIC CAD Studio
Apply graph layout, finite-state diagrams, coordinate systems, precision, and technical visualization to computing models.
A
Complete Arcade
Browse the wider internal Verve N Veda collection of mathematical, logical, geometric, and strategic activities.