Skip to main content
Call us
: 2810-393312
E-mail
:
helpdesk@uoc.gr
English (en)
Ελληνικά (el)
English (en)
You are currently using guest access
Log in
Home
Calendar
Home
Calendar
More
Expand all
Collapse all
Open course index
Open block drawer
ΗΥ-180-OC
Tutorials - Exercises
Tutorials - Exercises
Section outline
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
