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
Notes
Notes
Section outline
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
