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