Introduction to Logic | 288807FC6417F5866CB5DF84933FE2F9D842427F

Introduction to Logic

Name	Introduction to Logic	DOWNLOAD Copy Link
Total Size	343.2 MB
Total Files	315
Hash	288807FC6417F5866CB5DF84933FE2F9D842427F

/Video Lectures/
5 - 1 - 5.1 Propositional Satisfiability (16 min).mp4	13.3 MB
10 - 3 - 10.3 Syntax and Semantics (14 min).mp4	12.0 MB
8 - 3 - 8.3 Unification (14 min).mp4	11.5 MB
11 - 4 - 11.4 General Game Playing (14 min).mp4	11.4 MB
4 - 5 - 4.5 Box Logic (out of focus).mp4	9.0 MB
2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4	8.5 MB
6 - 2 - 6.2 Syntax (9 min).mp4	8.1 MB
1 - 2 - 1.2 Elements of Logic (10 min).mp4	8.0 MB
7 - 2 - 7.2 Proofs (10 min).mp4	7.8 MB
1 - 3 - 1.3 Formalization (9 min).mp4	7.4 MB
11 - 2 - 11.2 Game Description (8 min).mp4	7.3 MB
6 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4	7.2 MB
8 - 2 - 8.2 Clausal Form (9 min).mp4	6.8 MB
3 - 2 - 3.2 Linear Proofs (8 min).mp4	6.6 MB
11 - 1 - 11.1 General Game Playing (7 min).mp4	6.1 MB
2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4	6.1 MB
6 - 3 - 6.3 Semantics (8 min).mp4	5.6 MB
10 - 2 - 10.2 Conceptualization (7 min).mp4	5.5 MB
8 - 8 - 8.8 Answer Extraction (6 min).mp4	5.5 MB
8 - 5 - 8.5 Resolution Reasoning (5 min).mp4	5.4 MB
4 - 4 - 4.4 Resolution Method (7 min).mp4	5.3 MB
9 - 3 - 9.3 Linear Induction (7 min).mp4	5.3 MB
9 - 5 - 9.5 Structural Induction (6 min).mp4	5.2 MB
2 - 6 - 2.6 Logical Entailment (6 min).mp4	5.2 MB
6 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4	5.1 MB
6 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4	5.0 MB
11 - 5 - 11.5 Philosophical Remarks (5 min).mp4	4.8 MB
6 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4	4.8 MB
8 - 4 - 8.4 Resolution Principle (7 min).mp4	4.7 MB
7 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4	4.7 MB
10 - 10 - 10.10 Example Arithmetic (5 min).mp4	4.2 MB
3 - 3 - 3.3 Structured Proofs (5 min).mp4	4.0 MB
1 - 4 - 1.4 Automation (5 min).mp4	3.9 MB
8 - 7 - 8.7 Logical Entailment (6 min).mp4	3.9 MB
6 - 4 - 6.4 Example - Sorority World (5 min).mp4	3.9 MB
10 - 8 - 10.8 First Order Proofs (5 min).mp4	3.9 MB
4 - 3 - 4.3 Resolution Principle (5 min).mp4	3.7 MB
6 - 9 - 6.9 Example - Pseudo-English (5 min).mp4	3.7 MB
6 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4	3.7 MB
4 - 2 - 4.2 Clausal Form (5 min).mp4	3.6 MB
1 - 5 - 1.5 Study Guide (4 min).mp4	3.5 MB
6 - 5 - 6.5 Example - Blocks World (4 min).mp4	3.5 MB
9 - 4 - 9.4 Tree Induction (4 min).mp4	3.4 MB
10 - 4 - 10.4 Example Blocks World (4 min).mp4	3.4 MB
6 - 8 - 6.8 Example Linked Lists (4 min).mp4	3.4 MB
11 - 6 - 11.6 International GGP Competition (4 min).mp4	3.3 MB
7 - 4 - 7.4 Example (4 min).mp4	3.2 MB
10 - 9 - 10.9 Examples Equality (4 min).mp4	3.2 MB
2 - 4 - 2.4 Satisfaction (3 min).mp4	2.8 MB
6 - 12 - 6.12 Logical Entailment (4 min).mp4	2.7 MB
6 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4	2.7 MB
1 - 1 - 1.1 Introduction to Logic (3 min).mp4	2.6 MB
10 - 5 - 10.5 Example Peano Arithmetic (3 min).mp4	2.5 MB
2 - 7 - 2.7 The Big Game (3 min).mp4	2.4 MB
9 - 1 - 9.1 Induction (3 min).mp4	2.4 MB
6 - 1 - 6.1 Herbrand Logic (3 min).mp4	2.4 MB
6 - 11 - 6.11 Properties of Sentences (3 min).mp4	2.4 MB
11 - 3 - 11.3 Game Management (2 min).mp4	2.4 MB
2 - 5 - 2.5 Properties of Sentences (3 min).mp4	2.3 MB
10 - 1 - 10.1 First Order Logic (3 min).mp4	2.2 MB
7 - 3 - 7.3 Example (3 min).mp4	2.1 MB
3 - 5 - 3.5 Soundness and Completeness (2 min).mp4	2.0 MB
4 - 1 - 4.1 Propositional Resolution (2 min).mp4	1.9 MB
3 - 4 - 3.4 Fitch (3 min).mp4	1.9 MB
7 - 1 - 7.1 Herbrand Logic Proofs (2 min).mp4	1.8 MB
8 - 1 - 8.1 Resolution (2 min).mp4	1.5 MB
9 - 2 - 9.2 Domain Closure (2 min).mp4	1.4 MB
3 - 1 - 3.1 Propositional Proofs (2 min).mp4	1.4 MB
10 - 7 - 10.7 Logical Entailment (2 min).mp4	1.3 MB
8 - 6 - 8.6 Unsatisfiability (2 min).mp4	1.3 MB
2 - 1 - 2.1 Propositional Logic (1 min).mp4	1.3 MB
10 - 6 - 10.6 Properties of Sentences (1 min).mp4	877.5 KB
11 - 4 - 11.4 General Game Playing (14 min).srt	19.3 KB
10 - 3 - 10.3 Syntax and Semantics (14 min).srt	18.2 KB
5 - 1 - 5.1 Propositional Satisfiability (16 min).srt	17.4 KB
8 - 3 - 8.3 Unification (14 min).srt	17.0 KB
2 - 3 - 2.3 Semantics of Propositional Logic (10 min).srt	13.5 KB
7 - 2 - 7.2 Proofs (10 min).srt	12.5 KB
1 - 2 - 1.2 Elements of Logic (10 min).srt	12.4 KB
6 - 2 - 6.2 Syntax (9 min).srt	11.3 KB
1 - 3 - 1.3 Formalization (9 min).srt	11.2 KB
8 - 2 - 8.2 Clausal Form (9 min).srt	11.0 KB
11 - 2 - 11.2 Game Description (8 min).srt	10.7 KB
3 - 2 - 3.2 Linear Proofs (8 min).srt	10.2 KB
6 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).srt	10.1 KB
11 - 1 - 11.1 General Game Playing (7 min).srt	9.9 KB
2 - 2 - 2.2 Syntax of Propositional Logic (7 min).srt	9.5 KB
9 - 5 - 9.5 Structural Induction (6 min).srt	8.6 KB
6 - 3 - 6.3 Semantics (8 min).srt	8.5 KB
10 - 2 - 10.2 Conceptualization (7 min).srt	8.5 KB
9 - 3 - 9.3 Linear Induction (7 min).srt	8.4 KB
4 - 4 - 4.4 Resolution Method (7 min).srt	8.3 KB
8 - 8 - 8.8 Answer Extraction (6 min).srt	8.0 KB
6 - 7 - 6.7 Example - Peano Arithmetic (6 min).srt	7.8 KB
2 - 6 - 2.6 Logical Entailment (6 min).srt	7.8 KB
6 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).srt	7.8 KB
8 - 4 - 8.4 Resolution Principle (7 min).srt	7.8 KB
11 - 5 - 11.5 Philosophical Remarks (5 min).srt	7.4 KB
6 - 10 - 6.10 Example - Metalevel Logic (6 min).srt	7.2 KB
10 - 8 - 10.8 First Order Proofs (5 min).srt	7.0 KB
3 - 3 - 3.3 Structured Proofs (5 min).srt	6.8 KB
10 - 10 - 10.10 Example Arithmetic (5 min).srt	6.5 KB
8 - 5 - 8.5 Resolution Reasoning (5 min).srt	6.2 KB
4 - 3 - 4.3 Resolution Principle (5 min).srt	6.2 KB
10 - 4 - 10.4 Example Blocks World (4 min).srt	6.0 KB
1 - 4 - 1.4 Automation (5 min).srt	6.0 KB
6 - 4 - 6.4 Example - Sorority World (5 min).srt	6.0 KB
6 - 5 - 6.5 Example - Blocks World (4 min).srt	5.9 KB
6 - 6 - 6.6 Example - Modular Arithmetic (5 min).srt	5.8 KB
4 - 5 - 4.5 Box Logic (out of focus).srt	5.6 KB
1 - 5 - 1.5 Study Guide (4 min).srt	5.6 KB
4 - 2 - 4.2 Clausal Form (5 min).srt	5.6 KB
11 - 6 - 11.6 International GGP Competition (4 min).srt	5.6 KB
9 - 4 - 9.4 Tree Induction (4 min).srt	5.4 KB
8 - 7 - 8.7 Logical Entailment (6 min).srt	5.3 KB
6 - 9 - 6.9 Example - Pseudo-English (5 min).srt	5.1 KB
6 - 8 - 6.8 Example Linked Lists (4 min).srt	5.1 KB
10 - 9 - 10.9 Examples Equality (4 min).srt	5.1 KB
7 - 4 - 7.4 Example (4 min).srt	4.7 KB
6 - 12 - 6.12 Logical Entailment (4 min).srt	4.3 KB
2 - 4 - 2.4 Satisfaction (3 min).srt	4.3 KB
6 - 15 - 6.15 (Optional) General Relational Logic (4 min).srt	4.1 KB
9 - 1 - 9.1 Induction (3 min).srt	4.1 KB
2 - 7 - 2.7 The Big Game (3 min).srt	4.0 KB
10 - 1 - 10.1 First Order Logic (3 min).srt	3.9 KB
10 - 5 - 10.5 Example Peano Arithmetic (3 min).srt	3.9 KB
6 - 1 - 6.1 Herbrand Logic (3 min).srt	3.8 KB
11 - 3 - 11.3 Game Management (2 min).srt	3.8 KB
7 - 5 - 7.5 Example - Quantifier and Implication (5 min).srt	3.7 KB
6 - 11 - 6.11 Properties of Sentences (3 min).srt	3.6 KB
1 - 1 - 1.1 Introduction to Logic (3 min).srt	3.4 KB
3 - 5 - 3.5 Soundness and Completeness (2 min).srt	3.3 KB
7 - 3 - 7.3 Example (3 min).srt	3.2 KB
2 - 5 - 2.5 Properties of Sentences (3 min).srt	3.2 KB
3 - 4 - 3.4 Fitch (3 min).srt	3.1 KB
7 - 1 - 7.1 Herbrand Logic Proofs (2 min).srt	2.9 KB
9 - 2 - 9.2 Domain Closure (2 min).srt	2.7 KB
3 - 1 - 3.1 Propositional Proofs (2 min).srt	2.4 KB
8 - 1 - 8.1 Resolution (2 min).srt	2.3 KB
10 - 7 - 10.7 Logical Entailment (2 min).srt	2.2 KB
4 - 1 - 4.1 Propositional Resolution (2 min).srt	2.1 KB
8 - 6 - 8.6 Unsatisfiability (2 min).srt	1.9 KB
2 - 1 - 2.1 Propositional Logic (1 min).srt	1.5 KB
10 - 6 - 10.6 Properties of Sentences (1 min).srt	1.4 KB
/Chapter Notes/
chapter05.pdf	830.3 KB
chapter01.pdf	259.2 KB
chapter06.pdf	217.0 KB
chapter08.pdf	172.2 KB
chapter10.pdf	156.9 KB
chapter09.pdf	129.5 KB
chapter02.pdf	108.1 KB
chapter07.pdf	102.3 KB
chapter03.pdf	98.1 KB
chapter04.pdf	84.2 KB
/Slides/
lesson02.pdf	826.0 KB
lesson01.pdf	664.3 KB
/Solutions/
02_02.pdf	797.9 KB
10_02.pdf	648.1 KB
10_01.pdf	648.0 KB
08_03.pdf	637.2 KB
02_05.pdf	624.2 KB
02_01.pdf	617.4 KB
05_01.pdf	608.3 KB
07_06.pdf	603.7 KB
07_05.pdf	599.5 KB
07_02.pdf	597.3 KB
07_03.pdf	596.9 KB
07_04.pdf	596.2 KB
07_01.pdf	595.9 KB
06_02.pdf	330.6 KB
01_03.pdf	270.8 KB
01_02.pdf	268.9 KB
01_01.pdf	223.6 KB
02_06.pdf	207.4 KB
04_03.pdf	167.7 KB
04_01.pdf	152.3 KB
02_03.pdf	147.7 KB
02_04.pdf	139.1 KB
04_02.pdf	137.6 KB
03_06.pdf	134.5 KB
03_07.pdf	134.2 KB
03_05.pdf	133.0 KB
03_03.pdf	132.7 KB
03_04.pdf	131.9 KB
03_02.pdf	129.0 KB
03_01.pdf	129.0 KB
08_04.pdf	118.2 KB
04_04.pdf	116.5 KB
10_09.pdf	106.5 KB
10_06.pdf	106.4 KB
10_04.pdf	105.8 KB
10_05.pdf	104.1 KB
10_08.pdf	103.7 KB
10_10.pdf	102.0 KB
10_07.pdf	99.7 KB
09_04.pdf	90.8 KB
09_05.pdf	90.8 KB
09_03.pdf	86.6 KB
09_02.pdf	86.6 KB
/Exercises/
MSCS Program Sheet.htm	101.3 KB
Exercise 9.2.1 - Domain Closure in Fitch.htm	20.3 KB
Exercise 9.3.1 - Induction in Fitch.htm	18.9 KB
Exercise 10.8.1 - First Order Proofs.htm	15.9 KB
Exercise 7.3.1 - Fitch System.htm	15.3 KB
Exercise 7.5.1 - Fitch System.htm	14.7 KB
Exercise 8.2.1 - Clausal Form.htm	14.4 KB
Exercise 1.1 - Sorority World.htm	14.0 KB
Exercise 3.2.1 - Mendelson System.htm	13.3 KB
Exercise 8.4.1 - Resolution Principle.htm	12.3 KB
Exercise 3.4.1 - Fitch System.htm	12.0 KB
Exercise 2.4.1 - Satisfaction.htm	11.2 KB
Exercise 4.2.1 - Clausal Form.htm	10.8 KB
Exercise 6.4.1 - Sorority World.htm	10.6 KB
Exercise 2.5.1 - Properties of Sentences.htm	10.6 KB
Exercise 6.11.1 - Properties of Sentences.htm	10.4 KB
Exercise 8.3.1 - Unification.htm	10.0 KB
Exercise 2.6.1 - Truth Table Method.htm	9.9 KB
Exercise 4.3.1 - Resolution Principle.htm	9.8 KB
Exercise 6.2.1 - Relational Syntax.htm	9.6 KB
Exercise 3.3.1 - Structured Proofs.htm	9.6 KB
Exercise 2.3.2 - Evaluation.htm	9.1 KB
Exercise 8.6.1 - Unsatisfiability.htm	8.9 KB
Exercise 8.7.1 - Logical Entailment.htm	8.2 KB
Exercise 8.8.1 - Answer Extraction.htm	8.1 KB
Exercise 6.3.2 - Relational Evaluation.htm	7.9 KB
Exercise 8.5.1 - Resolution Derivation.htm	7.6 KB
Exercise 1.2.2 - Logical Entailment.htm	7.6 KB
Exercise 2.2.1 - Propositional Syntax.htm	7.5 KB
Exercise 6.5.1 - Blocks World.htm	7.2 KB
Exercise 4.4.1 - Resolution Derivation.htm	6.9 KB
Exercise 1.2.3 - Logical Reasoning.htm	6.8 KB
Exercise 6.12.1 - Logical Entailment.htm	6.5 KB
Exercise 4.4.2 - Resolution Method.htm	6.4 KB
Exercise 6.3.1 - Counting.htm	6.0 KB
Exercise 1.3.1 - Formalization.htm	5.4 KB
Exercise 2.3.1 - Counting Truth Assignments.htm	4.9 KB
Exercise 1.4.1 - Logical Websheets.htm	3.4 KB
/.../Problem 6.2.1 - Relational Syntax_files/
epilog.js	84.3 KB
newgreencheck.jpg	24.8 KB
/.../Exercise 6.3.2 - Relational Evaluation_files/
epilog.js	84.3 KB
newredex.jpg	25.1 KB
/.../Exercise 6.4.1 - Sorority World_files/
epilog.js	84.3 KB
check20x20.jpg	0.5 KB
/.../Exercise 1.2.3 - Logical Reasoning_files/
epilog.js	84.3 KB
newgreencheck.jpg	24.8 KB
/.../Exercise 1.1 - Sorority World_files/
epilog.js	84.3 KB
/Applications/Boole_files/
epilog.js	84.3 KB
/.../Exercise 6.3.1 - Counting_files/
epilog.js	84.3 KB
/.../Exercise 1.2.2 - Logical Entailment_files/
epilog.js	84.3 KB
sorority3.jpg	45.9 KB
sorority4.jpg	45.1 KB
sorority2.jpg	44.9 KB
sorority1.jpg	44.1 KB
/.../Exercise 8.8.1 - Answer Extraction_files/
epilog.js	63.7 KB
logica.js	29.4 KB
robinson.js	8.6 KB
/.../Exercise 2.6.1 - Truth Table Method_files/
epilog.js	63.7 KB
/.../Exercise 6.11.1 - Properties of Sentences_files/
epilog.js	63.7 KB
/.../Exercise 8.7.1 - Logical Entailment_files/
epilog.js	63.7 KB
logica.js	29.4 KB
robinson.js	8.6 KB
/.../MSCS Program Sheet_files/
epilog.js	63.7 KB
mscs.js	19.5 KB
sheet.css	1.6 KB
/.../Exercise 2.3.1 - Counting Truth Assignments_files/
epilog.js	63.7 KB
/.../Exercise 6.12.1 - Logical Entailment_files/
epilog.js	63.7 KB
/.../Exercise 8.6.1 - Unsatisfiability_files/
epilog.js	63.7 KB
logica.js	29.4 KB
robinson.js	8.6 KB
/.../Exercise 6.5.1 - Blocks World_files/
epilog.js	63.7 KB
/.../Exercise 2.5.1 - Properties of Sentences_files/
epilog.js	63.7 KB
/.../Exercise 2.3.2 - Evaluation_files/
epilog.js	63.7 KB
newgreencheck.jpg	24.8 KB
/.../Exercise 2.2.1 - Propositional Syntax_files/
epilog.js	63.7 KB
newgreencheck.jpg	24.8 KB
/.../Exercise 8.5.1 - Resolution Derivation_files/
epilog.js	63.7 KB
logica.js	29.4 KB
robinson.js	8.6 KB
/.../Exercise 2.4.1 - Satisfaction_files/
epilog.js	63.7 KB
/.../Exercise 10.8.1 - First Order Proofs_files/
logica.js	29.4 KB
fitch.js	29.0 KB
/.../Exercise 4.4.2 - Resolution Method_files/
logica.js	29.4 KB
resolution.js	8.7 KB
/.../Exercise 3.2.1 - Mendelson System_files/
logica.js	29.4 KB
mendelson.js	12.4 KB
/.../Exercise 3.3.1 - Structured Proofs_files/
logica.js	29.4 KB
fitch.js	29.0 KB
/.../Exercise 9.2.1 - Domain Closure in Fitch_files/
logica.js	29.4 KB
fitch.js	29.0 KB
/.../Exercise 3.4.1 - Fitch System_files/
logica.js	29.4 KB
fitch.js	29.0 KB
/.../Exercise 7.5.1 - Fitch System_files/
logica.js	29.4 KB
fitch.js	29.0 KB
/.../Exercise 4.4.1 - Resolution Derivation_files/
logica.js	29.4 KB
resolution.js	8.7 KB
/.../Exercise 9.3.1 - Induction in Fitch_files/
logica.js	29.4 KB
fitch.js	29.0 KB
/.../Exercise 7.3.1 - Fitch System_files/
logica.js	29.4 KB
fitch.js	29.0 KB
/Applications/Fitch_files/
logica.js	29.4 KB
fitch.js	29.0 KB
/.../Mendelson System_files/
logica.js	28.8 KB
/images/
newredex.jpg	25.1 KB
newgreencheck.jpg	24.8 KB
check20x20.jpg	0.5 KB
/Applications/
Mendelson System.htm	20.7 KB
Fitch.htm	12.4 KB
Boole.htm	7.5 KB
/Puzzles/
Puzzle - Coins.htm	2.7 KB
Puzzle - Prisoners.htm	2.5 KB
Puzzle - Cards.htm	2.1 KB
Puzzle - Enlightenment.htm	2.1 KB
Puzzle - Nations.htm	1.9 KB
Puzzle - Logicians.htm	1.8 KB
Puzzle - Safecracking.htm	1.8 KB
Total files 315