EKU - Logical Foundations of Computer Science
54 subscribers
3:32
Module 10 - Bound and free variable occurrences
EKU - Logical Foundations of Computer Science
42 views • 7 months ago
3:07
Module 9 - Introducing quantifiers
EKU - Logical Foundations of Computer Science
18 views • 7 months ago
5:43
Module 2 - Semantic analysis with truth table - Example 2
EKU - Logical Foundations of Computer Science
13 views • 7 months ago
5:58
Module 14 - Sudoku
EKU - Logical Foundations of Computer Science
18 views • 1 year ago
9:23
Module 14 - Einstein's riddle
EKU - Logical Foundations of Computer Science
12 views • 1 year ago
4:17
Module 14 - list_sum
EKU - Logical Foundations of Computer Science
7 views • 1 year ago
5:24
Module 14 - list_sum using tail recursion
EKU - Logical Foundations of Computer Science
9 views • 1 year ago
3:01
Module 14 - list_remove_all
EKU - Logical Foundations of Computer Science
12 views • 1 year ago
6:23
Module 14 - list_remove
EKU - Logical Foundations of Computer Science
10 views • 1 year ago
6:05
Module 14 - list_contain
EKU - Logical Foundations of Computer Science
14 views • 1 year ago
4:58
Module 14 - Family relationships
EKU - Logical Foundations of Computer Science
11 views • 1 year ago
4:22
Module 14 - Witch trial
EKU - Logical Foundations of Computer Science
9 views • 1 year ago
8:02
Module 14 - Company promotion
EKU - Logical Foundations of Computer Science
19 views • 1 year ago
6:28
Rules and substitutions
EKU - Logical Foundations of Computer Science
9 views • 1 year ago
8:10
Module 14 - Rules and traces
EKU - Logical Foundations of Computer Science
17 views • 1 year ago
8:40
Module - Facts
EKU - Logical Foundations of Computer Science
21 views • 1 year ago
12:19
Module 13 - SLD resolution
EKU - Logical Foundations of Computer Science
370 views • 1 year ago
2:32
Module 13 - Linear resolution
EKU - Logical Foundations of Computer Science
34 views • 1 year ago
7:37
Module 13 - Resolution
EKU - Logical Foundations of Computer Science
60 views • 1 year ago
11:41
Module 13 - Unification
EKU - Logical Foundations of Computer Science
55 views • 1 year ago
8:13
Module 12 - Optimized algorithm for CNF translation
EKU - Logical Foundations of Computer Science
16 views • 1 year ago
7:44
Module 12 - CNF - Example 2
EKU - Logical Foundations of Computer Science
18 views • 1 year ago
10:38
Module 12 - CNF - Example 1
EKU - Logical Foundations of Computer Science
23 views • 1 year ago
7:21
Module 12 - Skolem normal form
EKU - Logical Foundations of Computer Science
883 views • 1 year ago
6:34
Module 12 - Prenex normal form - Example 2
EKU - Logical Foundations of Computer Science
206 views • 1 year ago
6:38
Module 12 - Prenex normal form - Example 1
EKU - Logical Foundations of Computer Science
442 views • 1 year ago
4:57
Module 12 - Upgrading CNF from propositional logic
EKU - Logical Foundations of Computer Science
27 views • 1 year ago
1:50
Module 11 - Semantic properties - Example 2 (variation)
EKU - Logical Foundations of Computer Science
4 views • 1 year ago
5:25
Module 11 - Semantic properties - Example 2
EKU - Logical Foundations of Computer Science
6 views • 1 year ago
4:48
Module 11 - Semantic properties - Example 1
EKU - Logical Foundations of Computer Science
12 views • 1 year ago
Load More