TorBT - Torrents and Magnet Links Search Engine
Latest Searches: dee%26desi, webcam show, choc, pthc pedo, iron fist, chubby yo, wish upon, брин, total war, 女儿婷宝

Introduction to Logic

Magnet Download Download Torrent
File Name
Size
Video Lectures/5 - 1 - 5.1 Propositional Satisfiability (16 min).mp4
13 MB
Video Lectures/10 - 3 - 10.3 Syntax and Semantics (14 min).mp4
11 MB
Video Lectures/8 - 3 - 8.3 Unification (14 min).mp4
11 MB
Video Lectures/11 - 4 - 11.4 General Game Playing (14 min).mp4
11 MB
Video Lectures/4 - 5 - 4.5 Box Logic (out of focus).mp4
8.6 MB
Video Lectures/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4
8.1 MB
Video Lectures/6 - 2 - 6.2 Syntax (9 min).mp4
7.7 MB
Video Lectures/1 - 2 - 1.2 Elements of Logic (10 min).mp4
7.6 MB
Video Lectures/7 - 2 - 7.2 Proofs (10 min).mp4
7.5 MB
Video Lectures/1 - 3 - 1.3 Formalization (9 min).mp4
7.0 MB
Video Lectures/11 - 2 - 11.2 Game Description (8 min).mp4
7.0 MB
Video Lectures/6 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4
6.9 MB
Video Lectures/8 - 2 - 8.2 Clausal Form (9 min).mp4
6.5 MB
Video Lectures/3 - 2 - 3.2 Linear Proofs (8 min).mp4
6.3 MB
Video Lectures/11 - 1 - 11.1 General Game Playing (7 min).mp4
5.8 MB
Video Lectures/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4
5.8 MB
Video Lectures/6 - 3 - 6.3 Semantics (8 min).mp4
5.4 MB
Video Lectures/10 - 2 - 10.2 Conceptualization (7 min).mp4
5.3 MB
Video Lectures/8 - 8 - 8.8 Answer Extraction (6 min).mp4
5.2 MB
Video Lectures/8 - 5 - 8.5 Resolution Reasoning (5 min).mp4
5.2 MB
Video Lectures/4 - 4 - 4.4 Resolution Method (7 min).mp4
5.1 MB
Video Lectures/9 - 3 - 9.3 Linear Induction (7 min).mp4
5.0 MB
Video Lectures/9 - 5 - 9.5 Structural Induction (6 min).mp4
5.0 MB
Video Lectures/2 - 6 - 2.6 Logical Entailment (6 min).mp4
5.0 MB
Video Lectures/6 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4
4.9 MB
Video Lectures/6 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4
4.8 MB
Video Lectures/11 - 5 - 11.5 Philosophical Remarks (5 min).mp4
4.6 MB
Video Lectures/6 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4
4.6 MB
Video Lectures/8 - 4 - 8.4 Resolution Principle (7 min).mp4
4.5 MB
Video Lectures/7 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4
4.5 MB
Video Lectures/10 - 10 - 10.10 Example Arithmetic (5 min).mp4
4.0 MB
Video Lectures/3 - 3 - 3.3 Structured Proofs (5 min).mp4
3.9 MB
Video Lectures/1 - 4 - 1.4 Automation (5 min).mp4
3.8 MB
Video Lectures/8 - 7 - 8.7 Logical Entailment (6 min).mp4
3.7 MB
Video Lectures/6 - 4 - 6.4 Example - Sorority World (5 min).mp4
3.7 MB
Video Lectures/10 - 8 - 10.8 First Order Proofs (5 min).mp4
3.7 MB
Video Lectures/4 - 3 - 4.3 Resolution Principle (5 min).mp4
3.5 MB
Video Lectures/6 - 9 - 6.9 Example - Pseudo-English (5 min).mp4
3.5 MB
Video Lectures/6 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4
3.5 MB
Video Lectures/4 - 2 - 4.2 Clausal Form (5 min).mp4
3.4 MB
Video Lectures/1 - 5 - 1.5 Study Guide (4 min).mp4
3.4 MB
Video Lectures/6 - 5 - 6.5 Example - Blocks World (4 min).mp4
3.3 MB
Video Lectures/9 - 4 - 9.4 Tree Induction (4 min).mp4
3.3 MB
Video Lectures/10 - 4 - 10.4 Example Blocks World (4 min).mp4
3.3 MB
Video Lectures/6 - 8 - 6.8 Example Linked Lists (4 min).mp4
3.2 MB
Video Lectures/11 - 6 - 11.6 International GGP Competition (4 min).mp4
3.1 MB
Video Lectures/7 - 4 - 7.4 Example (4 min).mp4
3.1 MB
Video Lectures/10 - 9 - 10.9 Examples Equality (4 min).mp4
3.0 MB
Video Lectures/2 - 4 - 2.4 Satisfaction (3 min).mp4
2.6 MB
Video Lectures/6 - 12 - 6.12 Logical Entailment (4 min).mp4
2.6 MB
Video Lectures/6 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4
2.6 MB
Video Lectures/1 - 1 - 1.1 Introduction to Logic (3 min).mp4
2.5 MB
Video Lectures/10 - 5 - 10.5 Example Peano Arithmetic (3 min).mp4
2.4 MB
Video Lectures/2 - 7 - 2.7 The Big Game (3 min).mp4
2.3 MB
Video Lectures/9 - 1 - 9.1 Induction (3 min).mp4
2.3 MB
Video Lectures/6 - 1 - 6.1 Herbrand Logic (3 min).mp4
2.3 MB
Video Lectures/6 - 11 - 6.11 Properties of Sentences (3 min).mp4
2.3 MB
Video Lectures/11 - 3 - 11.3 Game Management (2 min).mp4
2.2 MB
Video Lectures/2 - 5 - 2.5 Properties of Sentences (3 min).mp4
2.2 MB
Video Lectures/10 - 1 - 10.1 First Order Logic (3 min).mp4
2.1 MB
Video Lectures/7 - 3 - 7.3 Example (3 min).mp4
2.0 MB
Video Lectures/3 - 5 - 3.5 Soundness and Completeness (2 min).mp4
1.9 MB
Video Lectures/4 - 1 - 4.1 Propositional Resolution (2 min).mp4
1.8 MB
Video Lectures/3 - 4 - 3.4 Fitch (3 min).mp4
1.8 MB
Video Lectures/7 - 1 - 7.1 Herbrand Logic Proofs (2 min).mp4
1.7 MB
Video Lectures/8 - 1 - 8.1 Resolution (2 min).mp4
1.5 MB
Video Lectures/9 - 2 - 9.2 Domain Closure (2 min).mp4
1.4 MB
Video Lectures/3 - 1 - 3.1 Propositional Proofs (2 min).mp4
1.3 MB
Video Lectures/10 - 7 - 10.7 Logical Entailment (2 min).mp4
1.3 MB
Video Lectures/8 - 6 - 8.6 Unsatisfiability (2 min).mp4
1.2 MB
Video Lectures/2 - 1 - 2.1 Propositional Logic (1 min).mp4
1.2 MB
Video Lectures/10 - 6 - 10.6 Properties of Sentences (1 min).mp4
857 kB
Chapter Notes/chapter05.pdf
811 kB
Slides/lesson02.pdf
807 kB
Solutions/02_02.pdf
779 kB
Slides/lesson01.pdf
649 kB
Solutions/10_02.pdf
633 kB
Solutions/10_01.pdf
633 kB
Solutions/08_03.pdf
622 kB
Solutions/02_05.pdf
610 kB
Solutions/02_01.pdf
603 kB
Solutions/05_01.pdf
594 kB
Solutions/07_06.pdf
590 kB
Solutions/07_05.pdf
585 kB
Solutions/07_02.pdf
583 kB
Solutions/07_03.pdf
583 kB
Solutions/07_04.pdf
582 kB
Solutions/07_01.pdf
582 kB
Solutions/06_02.pdf
323 kB
Solutions/01_03.pdf
264 kB
Solutions/01_02.pdf
263 kB
Chapter Notes/chapter01.pdf
253 kB
Solutions/01_01.pdf
218 kB
Chapter Notes/chapter06.pdf
212 kB
Solutions/02_06.pdf
203 kB
Chapter Notes/chapter08.pdf
168 kB
Solutions/04_03.pdf
164 kB
Chapter Notes/chapter10.pdf
153 kB
Solutions/04_01.pdf
149 kB
Solutions/02_03.pdf
144 kB
Solutions/02_04.pdf
136 kB
Solutions/04_02.pdf
134 kB
Solutions/03_06.pdf
131 kB
Solutions/03_07.pdf
131 kB
Solutions/03_05.pdf
130 kB
Solutions/03_03.pdf
130 kB
Solutions/03_04.pdf
129 kB
Chapter Notes/chapter09.pdf
126 kB
Solutions/03_02.pdf
126 kB
Solutions/03_01.pdf
126 kB
Solutions/08_04.pdf
115 kB
Solutions/04_04.pdf
114 kB
Chapter Notes/chapter02.pdf
106 kB
Solutions/10_09.pdf
104 kB
Solutions/10_06.pdf
104 kB
Solutions/10_04.pdf
103 kB
Solutions/10_05.pdf
102 kB
Solutions/10_08.pdf
101 kB
Chapter Notes/chapter07.pdf
100 kB
Solutions/10_10.pdf
100 kB
Exercises/MSCS Program Sheet.htm
99 kB
Solutions/10_07.pdf
97 kB
Chapter Notes/chapter03.pdf
96 kB
Solutions/09_04.pdf
89 kB
Solutions/09_05.pdf
89 kB
Solutions/09_03.pdf
85 kB
Solutions/09_02.pdf
85 kB
Exercises/Problem 6.2.1 - Relational Syntax_files/epilog.js
82 kB
Exercises/Exercise 6.3.2 - Relational Evaluation_files/epilog.js
82 kB
Exercises/Exercise 6.4.1 - Sorority World_files/epilog.js
82 kB
Exercises/Exercise 1.2.3 - Logical Reasoning_files/epilog.js
82 kB
Exercises/Exercise 1.1 - Sorority World_files/epilog.js
82 kB
Applications/Boole_files/epilog.js
82 kB
Exercises/Exercise 6.3.1 - Counting_files/epilog.js
82 kB
Exercises/Exercise 1.2.2 - Logical Entailment_files/epilog.js
82 kB
Chapter Notes/chapter04.pdf
82 kB
Exercises/Exercise 8.8.1 - Answer Extraction_files/epilog.js
62 kB
Exercises/Exercise 2.6.1 - Truth Table Method_files/epilog.js
62 kB
Exercises/Exercise 6.11.1 - Properties of Sentences_files/epilog.js
62 kB
Exercises/Exercise 8.7.1 - Logical Entailment_files/epilog.js
62 kB
Exercises/MSCS Program Sheet_files/epilog.js
62 kB
Exercises/Exercise 2.3.1 - Counting Truth Assignments_files/epilog.js
62 kB
Exercises/Exercise 6.12.1 - Logical Entailment_files/epilog.js
62 kB
Exercises/Exercise 8.6.1 - Unsatisfiability_files/epilog.js
62 kB
Exercises/Exercise 6.5.1 - Blocks World_files/epilog.js
62 kB
Exercises/Exercise 2.5.1 - Properties of Sentences_files/epilog.js
62 kB
Exercises/Exercise 2.3.2 - Evaluation_files/epilog.js
62 kB
Exercises/Exercise 2.2.1 - Propositional Syntax_files/epilog.js
62 kB
Exercises/Exercise 8.5.1 - Resolution Derivation_files/epilog.js
62 kB
Exercises/Exercise 2.4.1 - Satisfaction_files/epilog.js
62 kB
Exercises/Exercise 1.2.2 - Logical Entailment_files/sorority3.jpg
45 kB
Exercises/Exercise 1.2.2 - Logical Entailment_files/sorority4.jpg
44 kB
Exercises/Exercise 1.2.2 - Logical Entailment_files/sorority2.jpg
44 kB
Exercises/Exercise 1.2.2 - Logical Entailment_files/sorority1.jpg
43 kB
Exercises/Exercise 10.8.1 - First Order Proofs_files/logica.js
29 kB
Exercises/Exercise 4.4.2 - Resolution Method_files/logica.js
29 kB
Exercises/Exercise 8.5.1 - Resolution Derivation_files/logica.js
29 kB
Exercises/Exercise 3.2.1 - Mendelson System_files/logica.js
29 kB
Exercises/Exercise 8.6.1 - Unsatisfiability_files/logica.js
29 kB
Exercises/Exercise 3.3.1 - Structured Proofs_files/logica.js
29 kB
Exercises/Exercise 9.2.1 - Domain Closure in Fitch_files/logica.js
29 kB
Exercises/Exercise 3.4.1 - Fitch System_files/logica.js
29 kB
Exercises/Exercise 8.7.1 - Logical Entailment_files/logica.js
29 kB
Exercises/Exercise 7.5.1 - Fitch System_files/logica.js
29 kB
Exercises/Exercise 4.4.1 - Resolution Derivation_files/logica.js
29 kB
Exercises/Exercise 8.8.1 - Answer Extraction_files/logica.js
29 kB
Exercises/Exercise 9.3.1 - Induction in Fitch_files/logica.js
29 kB
Exercises/Exercise 7.3.1 - Fitch System_files/logica.js
29 kB
Applications/Fitch_files/logica.js
29 kB
Exercises/Exercise 9.3.1 - Induction in Fitch_files/fitch.js
28 kB
Exercises/Exercise 9.2.1 - Domain Closure in Fitch_files/fitch.js
28 kB
Exercises/Exercise 7.5.1 - Fitch System_files/fitch.js
28 kB
Exercises/Exercise 3.3.1 - Structured Proofs_files/fitch.js
28 kB
Exercises/Exercise 3.4.1 - Fitch System_files/fitch.js
28 kB
Exercises/Exercise 7.3.1 - Fitch System_files/fitch.js
28 kB
Applications/Fitch_files/fitch.js
28 kB
Exercises/Exercise 10.8.1 - First Order Proofs_files/fitch.js
28 kB
Applications/Mendelson System_files/logica.js
28 kB
Exercises/Exercise 6.3.2 - Relational Evaluation_files/newredex.jpg
24 kB
images/newredex.jpg
24 kB
Exercises/Exercise 2.3.2 - Evaluation_files/newgreencheck.jpg
24 kB
Exercises/Exercise 1.2.3 - Logical Reasoning_files/newgreencheck.jpg
24 kB
images/newgreencheck.jpg
24 kB
Exercises/Exercise 2.2.1 - Propositional Syntax_files/newgreencheck.jpg
24 kB
Exercises/Problem 6.2.1 - Relational Syntax_files/newgreencheck.jpg
24 kB
Applications/Mendelson System.htm
20 kB
Exercises/Exercise 9.2.1 - Domain Closure in Fitch.htm
20 kB
Exercises/MSCS Program Sheet_files/mscs.js
19 kB
Video Lectures/11 - 4 - 11.4 General Game Playing (14 min).srt
19 kB
Exercises/Exercise 9.3.1 - Induction in Fitch.htm
18 kB
Video Lectures/10 - 3 - 10.3 Syntax and Semantics (14 min).srt
18 kB
Video Lectures/5 - 1 - 5.1 Propositional Satisfiability (16 min).srt
17 kB
Video Lectures/8 - 3 - 8.3 Unification (14 min).srt
17 kB
Exercises/Exercise 10.8.1 - First Order Proofs.htm
16 kB
Exercises/Exercise 7.3.1 - Fitch System.htm
15 kB
Exercises/Exercise 7.5.1 - Fitch System.htm
14 kB
Exercises/Exercise 8.2.1 - Clausal Form.htm
14 kB
Exercises/Exercise 1.1 - Sorority World.htm
14 kB
Video Lectures/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).srt
13 kB
Exercises/Exercise 3.2.1 - Mendelson System.htm
13 kB
Video Lectures/7 - 2 - 7.2 Proofs (10 min).srt
12 kB
Video Lectures/1 - 2 - 1.2 Elements of Logic (10 min).srt
12 kB
Applications/Fitch.htm
12 kB
Exercises/Exercise 3.2.1 - Mendelson System_files/mendelson.js
12 kB
Exercises/Exercise 8.4.1 - Resolution Principle.htm
12 kB
Exercises/Exercise 3.4.1 - Fitch System.htm
12 kB
Video Lectures/6 - 2 - 6.2 Syntax (9 min).srt
11 kB
Video Lectures/1 - 3 - 1.3 Formalization (9 min).srt
11 kB
Exercises/Exercise 2.4.1 - Satisfaction.htm
11 kB
Video Lectures/8 - 2 - 8.2 Clausal Form (9 min).srt
11 kB
Exercises/Exercise 4.2.1 - Clausal Form.htm
10 kB
Video Lectures/11 - 2 - 11.2 Game Description (8 min).srt
10 kB
Exercises/Exercise 6.4.1 - Sorority World.htm
10 kB
Exercises/Exercise 2.5.1 - Properties of Sentences.htm
10 kB
Exercises/Exercise 6.11.1 - Properties of Sentences.htm
10 kB
Video Lectures/3 - 2 - 3.2 Linear Proofs (8 min).srt
10 kB
Video Lectures/6 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).srt
9.9 kB
Exercises/Exercise 8.3.1 - Unification.htm
9.8 kB
Video Lectures/11 - 1 - 11.1 General Game Playing (7 min).srt
9.7 kB
Exercises/Exercise 2.6.1 - Truth Table Method.htm
9.7 kB
Exercises/Exercise 4.3.1 - Resolution Principle.htm
9.6 kB
Exercises/Exercise 6.2.1 - Relational Syntax.htm
9.4 kB
Exercises/Exercise 3.3.1 - Structured Proofs.htm
9.3 kB
Video Lectures/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).srt
9.3 kB
Exercises/Exercise 2.3.2 - Evaluation.htm
8.9 kB
Exercises/Exercise 8.6.1 - Unsatisfiability.htm
8.7 kB
Exercises/Exercise 4.4.2 - Resolution Method_files/resolution.js
8.4 kB
Exercises/Exercise 4.4.1 - Resolution Derivation_files/resolution.js
8.4 kB
Video Lectures/9 - 5 - 9.5 Structural Induction (6 min).srt
8.4 kB
Exercises/Exercise 8.6.1 - Unsatisfiability_files/robinson.js
8.4 kB
Exercises/Exercise 8.8.1 - Answer Extraction_files/robinson.js
8.4 kB
Exercises/Exercise 8.7.1 - Logical Entailment_files/robinson.js
8.4 kB
Exercises/Exercise 8.5.1 - Resolution Derivation_files/robinson.js
8.4 kB
Video Lectures/6 - 3 - 6.3 Semantics (8 min).srt
8.3 kB
Video Lectures/10 - 2 - 10.2 Conceptualization (7 min).srt
8.3 kB
Video Lectures/9 - 3 - 9.3 Linear Induction (7 min).srt
8.2 kB
Video Lectures/4 - 4 - 4.4 Resolution Method (7 min).srt
8.1 kB
Exercises/Exercise 8.7.1 - Logical Entailment.htm
8.1 kB
Exercises/Exercise 8.8.1 - Answer Extraction.htm
8.0 kB
Video Lectures/8 - 8 - 8.8 Answer Extraction (6 min).srt
7.8 kB
Exercises/Exercise 6.3.2 - Relational Evaluation.htm
7.7 kB
Video Lectures/6 - 7 - 6.7 Example - Peano Arithmetic (6 min).srt
7.7 kB
Video Lectures/2 - 6 - 2.6 Logical Entailment (6 min).srt
7.7 kB
Video Lectures/6 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).srt
7.6 kB
Video Lectures/8 - 4 - 8.4 Resolution Principle (7 min).srt
7.6 kB
Exercises/Exercise 8.5.1 - Resolution Derivation.htm
7.4 kB
Exercises/Exercise 1.2.2 - Logical Entailment.htm
7.4 kB
Exercises/Exercise 2.2.1 - Propositional Syntax.htm
7.3 kB
Applications/Boole.htm
7.3 kB
Video Lectures/11 - 5 - 11.5 Philosophical Remarks (5 min).srt
7.3 kB
Exercises/Exercise 6.5.1 - Blocks World.htm
7.0 kB
Video Lectures/6 - 10 - 6.10 Example - Metalevel Logic (6 min).srt
7.0 kB
Video Lectures/10 - 8 - 10.8 First Order Proofs (5 min).srt
6.9 kB
Exercises/Exercise 4.4.1 - Resolution Derivation.htm
6.8 kB
Exercises/Exercise 1.2.3 - Logical Reasoning.htm
6.6 kB
Video Lectures/3 - 3 - 3.3 Structured Proofs (5 min).srt
6.6 kB
Exercises/Exercise 6.12.1 - Logical Entailment.htm
6.3 kB
Video Lectures/10 - 10 - 10.10 Example Arithmetic (5 min).srt
6.3 kB
Exercises/Exercise 4.4.2 - Resolution Method.htm
6.2 kB
Video Lectures/8 - 5 - 8.5 Resolution Reasoning (5 min).srt
6.1 kB
Video Lectures/4 - 3 - 4.3 Resolution Principle (5 min).srt
6.1 kB
Video Lectures/10 - 4 - 10.4 Example Blocks World (4 min).srt
5.9 kB
Video Lectures/1 - 4 - 1.4 Automation (5 min).srt
5.8 kB
Exercises/Exercise 6.3.1 - Counting.htm
5.8 kB
Video Lectures/6 - 4 - 6.4 Example - Sorority World (5 min).srt
5.8 kB
Video Lectures/6 - 5 - 6.5 Example - Blocks World (4 min).srt
5.8 kB
Video Lectures/6 - 6 - 6.6 Example - Modular Arithmetic (5 min).srt
5.7 kB
Video Lectures/4 - 5 - 4.5 Box Logic (out of focus).srt
5.5 kB
Video Lectures/1 - 5 - 1.5 Study Guide (4 min).srt
5.4 kB
Video Lectures/4 - 2 - 4.2 Clausal Form (5 min).srt
5.4 kB
Video Lectures/11 - 6 - 11.6 International GGP Competition (4 min).srt
5.4 kB
Video Lectures/9 - 4 - 9.4 Tree Induction (4 min).srt
5.3 kB
Exercises/Exercise 1.3.1 - Formalization.htm
5.2 kB
Video Lectures/8 - 7 - 8.7 Logical Entailment (6 min).srt
5.2 kB
Video Lectures/6 - 9 - 6.9 Example - Pseudo-English (5 min).srt
5.0 kB
Video Lectures/6 - 8 - 6.8 Example Linked Lists (4 min).srt
5.0 kB
Video Lectures/10 - 9 - 10.9 Examples Equality (4 min).srt
5.0 kB
Exercises/Exercise 2.3.1 - Counting Truth Assignments.htm
4.8 kB
Video Lectures/7 - 4 - 7.4 Example (4 min).srt
4.6 kB
Video Lectures/6 - 12 - 6.12 Logical Entailment (4 min).srt
4.2 kB
Video Lectures/2 - 4 - 2.4 Satisfaction (3 min).srt
4.2 kB
Video Lectures/6 - 15 - 6.15 (Optional) General Relational Logic (4 min).srt
4.0 kB
Video Lectures/9 - 1 - 9.1 Induction (3 min).srt
4.0 kB
Video Lectures/2 - 7 - 2.7 The Big Game (3 min).srt
3.9 kB
Video Lectures/10 - 1 - 10.1 First Order Logic (3 min).srt
3.8 kB
Video Lectures/10 - 5 - 10.5 Example Peano Arithmetic (3 min).srt
3.8 kB
Video Lectures/6 - 1 - 6.1 Herbrand Logic (3 min).srt
3.7 kB
Video Lectures/11 - 3 - 11.3 Game Management (2 min).srt
3.7 kB
Video Lectures/7 - 5 - 7.5 Example - Quantifier and Implication (5 min).srt
3.6 kB
Video Lectures/6 - 11 - 6.11 Properties of Sentences (3 min).srt
3.5 kB
Video Lectures/1 - 1 - 1.1 Introduction to Logic (3 min).srt
3.3 kB
Exercises/Exercise 1.4.1 - Logical Websheets.htm
3.3 kB
Video Lectures/3 - 5 - 3.5 Soundness and Completeness (2 min).srt
3.3 kB
Video Lectures/7 - 3 - 7.3 Example (3 min).srt
3.1 kB
Video Lectures/2 - 5 - 2.5 Properties of Sentences (3 min).srt
3.1 kB
Video Lectures/3 - 4 - 3.4 Fitch (3 min).srt
3.0 kB
Video Lectures/7 - 1 - 7.1 Herbrand Logic Proofs (2 min).srt
2.8 kB
Puzzles/Puzzle - Coins.htm
2.7 kB
Video Lectures/9 - 2 - 9.2 Domain Closure (2 min).srt
2.6 kB
Puzzles/Puzzle - Prisoners.htm
2.4 kB
Video Lectures/3 - 1 - 3.1 Propositional Proofs (2 min).srt
2.3 kB
Video Lectures/8 - 1 - 8.1 Resolution (2 min).srt
2.3 kB
Video Lectures/10 - 7 - 10.7 Logical Entailment (2 min).srt
2.2 kB
Puzzles/Puzzle - Cards.htm
2.1 kB
Puzzles/Puzzle - Enlightenment.htm
2.0 kB
Video Lectures/4 - 1 - 4.1 Propositional Resolution (2 min).srt
2.0 kB
Puzzles/Puzzle - Nations.htm
1.9 kB
Video Lectures/8 - 6 - 8.6 Unsatisfiability (2 min).srt
1.9 kB
Puzzles/Puzzle - Logicians.htm
1.8 kB
Puzzles/Puzzle - Safecracking.htm
1.8 kB
Exercises/MSCS Program Sheet_files/sheet.css
1.5 kB
Video Lectures/2 - 1 - 2.1 Propositional Logic (1 min).srt
1.5 kB
Video Lectures/10 - 6 - 10.6 Properties of Sentences (1 min).srt
1.4 kB
Exercises/Exercise 6.4.1 - Sorority World_files/check20x20.jpg
455 B
images/check20x20.jpg
455 B