Λογική

Topic outline

• Course info

  Collapse all Expand all
  • 

    General info Page
  • 

    Course description - Content Page
  • 

    Instructor Details Page
  • 

    Course Objectives - Learning Outcomes Page
  • 

    Requirements Page
  • 

    Bibliography - Sources Page
  • 

    Ομάδα συζητήσεων ειδήσεων Forum

• Notes
  • 

    1. Propositional Calculus File
  • 

    2. Propositional Calculus proof Systems, Natural Deduction, Model building File
  • 

    3. Resolution File
  • 

    4. Resolution Sequences, Horn Clause Resolution, Logic Programming File
  • 

    5. Predicate Calculus File

• Lectures

• 1. Introduction
  • 

    1. Intro lecture File

• 2. Propositional Calculus
  • 

    Part 2.1 Page
  • 

    Part 2.2 Page
  • 

    Part 2.3 Page
  • 

    Part 2.4 Page
  • 

    Part 2.5 Page
  • 

    Part 2.6 Page
  • 

    Part 2.7 Page
  • 

    Part 2.8 Page
  • 

    Part 2.9 Page
  • 

    Part 2.10 Page
  • 

    Part 2.11 Page
  • 

    Part 2.12 Page

• 3. Predicate Calculus
  • 

    Part 3.1 Page
  • 

    Part 3.2 Page
  • 

    Part 3.3 Page
  • 

    Part 3.4 Page

• Tutorials - Exercises
  • 1. Propositional Calculus

  • 

    1.1 Consistency, Validity, Equivalences File
  • 

    Exercises Tutorial 1.1 File
  • 

    1.2 Normal forms, CNF/DNF Transformation Algorithm - basic case, Negation File
  • 

    Exercises Tutorial 1.2 File
  • 

    1.3 Entailment/Equivalence, Tautologies/Contradictions, CNF Transformation Algorithm File
  • 

    Exercises Tutorial 1.3 File
  • 

    1.4 Natural Deduction File
  • 

    Exercises Tutorial 1.4 (a) File
  • 

    Exercises Tutorial 1.4 (b) File
  • 

    1.5 Model building File
  • 

    1.6 Resolution File
  • 

    1.7 Resolution sequences, Horn clause resolution File
  • 2. Predicate Calculus

  • 

    2.1 Predicate calculus File
  • 

    2.2 Natural Deduction File
  • 3. Self-Evaluation Exercises (in Greek)

  • 

    Self-Evaluation (in Greek) File

• ΝΟΤΕ: all course material is in Greek

  Not available