+1 678 648 4277 

The exhaustive list of topics in Mathematical Logic in which we provide Help with Homework Assignment and Help with Project is as follows:

  • Propositional Logic:

         Syntax, Unique parsing, Semantics, Equivalences, Consequences, Calculations, Informal
         proofs.

  • Normal Forms and Resolution:

         Clauses, CNF and DNF representations, Adequacy of calculations,   SAT, Resolution
         refutation,Adequacy of resolution.

  • Proof Systems:

          Axiomatic system PC, Adequacy of PC, Analytic tableau PT,  Adequacy of PT,  
          Compactness of PL.  

  • First Order Logic:

          Yntax of FL, Scope and binding, Substitutions, Semantics of FL,       Quantifier laws,
           Equivalences, Consequences.

  • Normal Forms in FL:

          Calculations, Informal proofs, Prenex forms, Skolem forms,  Herbrand's theorem,
          Skolem-Lowenheim theorem, Resoltion in FL

  • Proof Systems for FL:

          Axiomatic system FC, Analytic tableau FT, Adequacy of FC and FT, Compactness in FL