• lscpu
  • man self
  • git log
  • from __future__ import plan
  • Abstract
  • Implementation
  • PROPOSITIONAL LOGIC
  • Remove Automatic Evaluation
  • Negation Normal Form
  • Logical Equivalence
  • Conversion to Normal Forms (cnf, dnf)
  • Small Functions
  • SAT Solver
  • FIRST ORDER LOGIC:
  • Terms, Predicates and Quantifiers
  • Automatic Evaluation
  • Ground, Closed, Free, Bound
  • Interpretation
  • Standardization
  • Prenex Normal Form
  • Skolem Normal Form
  • Conjunctive/Disjunctive Normal Form
  • Unification
  • Resolution
  • Entailment
  • Step by step display
  • Prototype
  • Semantic Tableaux
  • Knowledge Base and Inference Engine
  • Timeline
  • Community bonding Period:
  • WEEK 1-2:
  • WEEK 3-5:
  • WEEK 6-8:
  • WEEK 9-12:
  • WEEK 13:
  • Future Plans: