Alberto Giulio Marcone
To reach the ability of translating sentences of a natural language into a formal language.
To reach a good knowledge of the syntactic and semantic aspects of both propositional and predicative logic.
-Propositional logic: syntax, satisfiability and logical consequence, transformation into normal forms, semantic tableaux, natural deduction.
-Predicate logic: syntax, satisfiability and logical consequence, relations among models and logic with equality, semantic tableaux, natural deduction.
-Translation from natural language into formal language.