Λογική

Section outline

• Select section Course info

  Collapse Expand

  Course info

  Collapse all Expand all

  • Select activity General info

    

    General info Page
  • Select activity Course description - Content

    

    Course description - Content Page
  • Select activity Instructor Details

    

    Instructor Details Page
  • Select activity Course Objectives - Learning Outcomes

    

    Course Objectives - Learning Outcomes Page
  • Select activity Requirements

    

    Requirements Page
  • Select activity Bibliography - Sources

    

    Bibliography - Sources Page
  • Select activity Ομάδα συζητήσεων ειδήσεων

    

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

  Collapse Expand

  Notes

  • Select activity 1. Propositional Calculus

    

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

    

    2. Propositional Calculus proof Systems, Natural Deduction, Model building File
  • Select activity 3. Resolution

    

    3. Resolution File
  • Select activity 4. Resolution Sequences, Horn Clause Resolution, Logic Programming

    

    4. Resolution Sequences, Horn Clause Resolution, Logic Programming File
  • Select activity 5. Predicate Calculus

    

    5. Predicate Calculus File
• Select section Lectures

  Collapse Expand

  Lectures
• Select section 1. Introduction

  Collapse Expand

  1. Introduction

  • Select activity 1. Intro lecture

    

    1. Intro lecture File
• Select section 2. Propositional Calculus

  Collapse Expand

  2. Propositional Calculus

  • Select activity Part 2.1

    

    Part 2.1 Page
  • Select activity Part 2.2

    

    Part 2.2 Page
  • Select activity Part 2.3

    

    Part 2.3 Page
  • Select activity Part 2.4

    

    Part 2.4 Page
  • Select activity Part 2.5

    

    Part 2.5 Page
  • Select activity Part 2.6

    

    Part 2.6 Page
  • Select activity Part 2.7

    

    Part 2.7 Page
  • Select activity Part 2.8

    

    Part 2.8 Page
  • Select activity Part 2.9

    

    Part 2.9 Page
  • Select activity Part 2.10

    

    Part 2.10 Page
  • Select activity Part 2.11

    

    Part 2.11 Page
  • Select activity Part 2.12

    

    Part 2.12 Page
• Select section 3. Predicate Calculus

  Collapse Expand

  3. Predicate Calculus

  • Select activity Part 3.1

    

    Part 3.1 Page
  • Select activity Part 3.2

    

    Part 3.2 Page
  • Select activity Part 3.3

    

    Part 3.3 Page
  • Select activity Part 3.4

    

    Part 3.4 Page
• Select section Tutorials - Exercises

  Collapse Expand

  Tutorials - Exercises

  • Select activity 1. Propositional Calculus

    1. Propositional Calculus

  • Select activity 1.1 Consistency, Validity, Equivalences

    

    1.1 Consistency, Validity, Equivalences File
  • Select activity Exercises Tutorial 1.1

    

    Exercises Tutorial 1.1 File
  • Select activity 1.2 Normal forms, CNF/DNF Transformation Algorithm - basic case, Negation

    

    1.2 Normal forms, CNF/DNF Transformation Algorithm - basic case, Negation File
  • Select activity Exercises Tutorial 1.2

    

    Exercises Tutorial 1.2 File
  • Select activity 1.3 Entailment/Equivalence, Tautologies/Contradictions, CNF Transformation Algorithm

    

    1.3 Entailment/Equivalence, Tautologies/Contradictions, CNF Transformation Algorithm File
  • Select activity Exercises Tutorial 1.3

    

    Exercises Tutorial 1.3 File
  • Select activity 1.4 Natural Deduction

    

    1.4 Natural Deduction File
  • Select activity Exercises Tutorial 1.4 (a)

    

    Exercises Tutorial 1.4 (a) File
  • Select activity Exercises Tutorial 1.4 (b)

    

    Exercises Tutorial 1.4 (b) File
  • Select activity 1.5 Model building

    

    1.5 Model building File
  • Select activity 1.6 Resolution

    

    1.6 Resolution File
  • Select activity 1.7 Resolution sequences, Horn clause resolution

    

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

    2. Predicate Calculus

  • Select activity 2.1 Predicate calculus

    

    2.1 Predicate calculus File
  • Select activity 2.2 Natural Deduction

    

    2.2 Natural Deduction File
  • Select activity 3. Ασκήσεις Aυτοαξιολόγησης

    3. Self-Evaluation Exercises (in Greek)

  • Select activity Self-Evaluation (in Greek)

    

    Self-Evaluation (in Greek) File
• Select section ΝΟΤΕ: all course material is in Greek

  Collapse Expand

  ΝΟΤΕ: all course material is in Greek

  Not available