-
-
تتوريال
- tutorial 1 (Propostion) 01:07:11
- Tutorial 2 (Predicate - Quantifier - Inference rule) 53:54
- tutorial 3 (Set - Relation - Function) 01:20:19
- Tutorial 4 (Introduction to proof) 44:10
- Tutorial 5 (Induction and Recursion) 02:21:45
- tutorial 4: counting (عال 104) 32:00
- Tutorial 6 : Machine Level Representation of Data (عال 114 فقط) 50:09
- Tutorial 5: Graph (عال 104) 41:59
-
تتوريال