The Circumference of Earth by Eratosthenes – 200 BC Posted on 19th December 201919th December 2019 Petr StejskalLeave a commentPosted in A, Popular Science
Finite State Machine – DFA – Regular Expression – Example 2 ☠☠ Posted on 19th December 201920th December 2019 Petr StejskalLeave a commentPosted in Computational logic, Finite State Machines
Finite State Machine – DFA – Regular Expression – Example 5 ☠☠ Posted on 19th December 201920th December 2019 Petr StejskalLeave a commentPosted in Computational logic, Finite State Machines
Finite State Machine – DFA – Regular Expression – Example 3 ☠☠☠ Posted on 19th December 201920th December 2019 Petr StejskalLeave a commentPosted in Computational logic, Finite State Machines
Finite State Machine – Converting NFA to DFA – Deriving Regular Expression – Example 4 ☠☠☠ Posted on 19th December 201920th December 2019 Petr StejskalLeave a commentPosted in Computational logic, Finite State Machines
Finite State Machine – DFA – Regular Expression – Example 1 ☠☠ Posted on 19th December 201920th December 2019 Petr StejskalLeave a commentPosted in Finite State Machines
PL to Conjunctive Normal Form (CNF): ((not (A xor B)) implies C) ☠☠ Posted on 21st August 201921st August 2019 Petr StejskalLeave a commentPosted in Computational logic, Propositional Logic
PL to Conjunctive Normal Form (CNF): (if A then B else (C implies D)) ☠☠ Posted on 21st August 201921st August 2019 Petr StejskalLeave a commentPosted in Computational logic, Propositional Logic
PL to Conjunctive Normal Form (CNF): ((P and R) xor (S or T)) ☠☠☠ Posted on 21st August 201921st August 2019 Petr StejskalLeave a commentPosted in Computational logic, Propositional Logic
PL to Conjunctive Normal Form (CNF): (T implies (P or Q)) ☠ Posted on 21st August 201921st August 2019 Petr StejskalLeave a commentPosted in Computational logic, Propositional Logic