Download Introduction to Logic - Logic [2012, ENG] Torrent

Torrent Contents Size: 264.86 MB

Introduction to Logic - Logic [2012, ENG]

1 Week 1 Introduction

1 - 1 - 1.1 Introduction to Logic (3 min).mp4	MP4	2.46 MB
1 - 1 - 1.1 Introduction to Logic (3 min).srt	SRT	3.2 KB
1 - 1 - 1.1 Introduction to Logic (3 min).txt	TXT	2.2 KB
1 - 2 - 1.2 Elements of Logic (10 min).mp4	MP4	7.64 MB
1 - 2 - 1.2 Elements of Logic (10 min).srt	SRT	11.54 KB
1 - 2 - 1.2 Elements of Logic (10 min).txt	TXT	7.9 KB
1 - 3 - 1.3 Formalization (9 min).mp4	MP4	7.04 MB
1 - 3 - 1.3 Formalization (9 min).srt	SRT	10.2 KB
1 - 3 - 1.3 Formalization (9 min).txt	TXT	6.99 KB
1 - 4 - 1.4 Automation (5 min).mp4	MP4	3.77 MB
1 - 4 - 1.4 Automation (5 min).srt	SRT	5.75 KB
1 - 4 - 1.4 Automation (5 min).txt	TXT	3.92 KB
1 - 5 - 1.5 Study Guide (4 min).mp4	MP4	3.36 MB
1 - 5 - 1.5 Study Guide (4 min).srt	SRT	5.32 KB
1 - 5 - 1.5 Study Guide (4 min).txt	TXT	3.63 KB
notes_chapter01.pdf	PDF	342.83 KB
slides_lesson01.pdf	PDF	648.77 KB

10 Week 7 Propositional Sat (optional)

10 - 1 - 5.1 Propositional Satisfiability (16 min).mp4

MP4

12.69 MB

11 Final Words

11 - 1 - F.1 Relational Logic & First-order Logic (11 min).mp4

MP4

8.64 MB

2 Week 2 Propositional Logic

2 - 1 - 2.1 Propositional Logic (1 min).mp4	MP4	1.22 MB
2 - 1 - 2.1 Propositional Logic (1 min).srt	SRT	64 B
2 - 1 - 2.1 Propositional Logic (1 min).txt	TXT	30 B
2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4	MP4	5.78 MB
2 - 2 - 2.2 Syntax of Propositional Logic (7 min).srt	SRT	9.03 KB
2 - 2 - 2.2 Syntax of Propositional Logic (7 min).txt	TXT	6.15 KB
2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4	MP4	8.13 MB
2 - 3 - 2.3 Semantics of Propositional Logic (10 min).srt	SRT	12.63 KB
2 - 3 - 2.3 Semantics of Propositional Logic (10 min).txt	TXT	8.66 KB
2 - 4 - 2.4 Satisfaction (3 min).mp4	MP4	2.63 MB
2 - 4 - 2.4 Satisfaction (3 min).srt	SRT	3.99 KB
2 - 4 - 2.4 Satisfaction (3 min).txt	TXT	2.74 KB
2 - 5 - 2.5 Properties of Sentences (3 min).mp4	MP4	2.18 MB
2 - 5 - 2.5 Properties of Sentences (3 min).srt	SRT	3.07 KB
2 - 5 - 2.5 Properties of Sentences (3 min).txt	TXT	2.11 KB
2 - 6 - 2.6 Logical Entailment (6 min).mp4	MP4	4.98 MB
2 - 6 - 2.6 Logical Entailment (6 min).srt	SRT	7.38 KB
2 - 6 - 2.6 Logical Entailment (6 min).txt	TXT	5.05 KB
2 - 7 - 2.7 The Big Game (3 min).mp4	MP4	2.3 MB
2 - 7 - 2.7 The Big Game (3 min).srt	SRT	3.77 KB
2 - 7 - 2.7 The Big Game (3 min).txt	TXT	2.59 KB
notes_chapter02.pdf	PDF	106.75 KB
slides_lesson02.pdf	PDF	806.69 KB

3 Week 3 Propositional Proofs

3 - 1 - 3.1 Propositional Proofs (2 min).mp4	MP4	1.32 MB
3 - 1 - 3.1 Propositional Proofs (2 min).srt	SRT	2.36 KB
3 - 1 - 3.1 Propositional Proofs (2 min).txt	TXT	1.54 KB
3 - 2 - 3.2 Linear Proofs (8 min).mp4	MP4	6.26 MB
3 - 2 - 3.2 Linear Proofs (8 min).srt	SRT	9.31 KB
3 - 2 - 3.2 Linear Proofs (8 min).txt	TXT	6.4 KB
3 - 3 - 3.3 Structured Proofs (5 min).mp4	MP4	3.86 MB
3 - 3 - 3.3 Structured Proofs (5 min).srt	SRT	6.3 KB
3 - 3 - 3.3 Structured Proofs (5 min).txt	TXT	4.33 KB
3 - 4 - 3.4 Fitch (3 min).mp4	MP4	1.8 MB
3 - 4 - 3.4 Fitch (3 min).srt	SRT	2.82 KB
3 - 4 - 3.4 Fitch (3 min).txt	TXT	1.93 KB
3 - 5 - 3.5 Soundness and Completeness (2 min).mp4	MP4	1.93 MB
3 - 5 - 3.5 Soundness and Completeness (2 min).srt	SRT	3.04 KB
3 - 5 - 3.5 Soundness and Completeness (2 min).txt	TXT	2.08 KB
notes_chapter03.pdf	PDF	109.14 KB

4 Week 3 Propositional Resolution (optional)

4 - 1 - 4.1 Propositional Resolution (2 min).mp4	MP4	1.81 MB
4 - 1 - 4.1 Propositional Resolution (2 min).srt	SRT	1.91 KB
4 - 1 - 4.1 Propositional Resolution (2 min).txt	TXT	1.3 KB
4 - 2 - 4.2 Clausal Form (5 min).mp4	MP4	3.41 MB
4 - 2 - 4.2 Clausal Form (5 min).srt	SRT	5.26 KB
4 - 2 - 4.2 Clausal Form (5 min).txt	TXT	3.61 KB
4 - 3 - 4.3 Resolution Principle (5 min).mp4	MP4	3.52 MB
4 - 3 - 4.3 Resolution Principle (5 min).srt	SRT	5.72 KB
4 - 3 - 4.3 Resolution Principle (5 min).txt	TXT	3.92 KB
4 - 4 - 4.4 Resolution Method (7 min).mp4	MP4	5.09 MB
4 - 4 - 4.4 Resolution Method (7 min).srt	SRT	7.71 KB
4 - 4 - 4.4 Resolution Method (7 min).txt	TXT	5.3 KB
4 - 5 - 4.5 Box Logic (out of focus).mp4	MP4	8.59 MB
4 - 5 - 4.5 Box Logic (out of focus).srt	SRT	5.02 KB
4 - 5 - 4.5 Box Logic (out of focus).txt	TXT	3.44 KB
notes_chapter04.pdf	PDF	82.19 KB

5 Week 4 Relational Logic

5 - 1 - 6.1 Relational Logic (2 min).mp4	MP4	1.75 MB
5 - 1 - 6.1 Relational Logic (2 min).srt	SRT	2.52 KB
5 - 1 - 6.1 Relational Logic (2 min).txt	TXT	1.73 KB
5 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4	MP4	4.57 MB
5 - 10 - 6.10 Example - Metalevel Logic (6 min).srt	SRT	7.18 KB
5 - 10 - 6.10 Example - Metalevel Logic (6 min).txt	TXT	4.91 KB
5 - 11 - 6.11 Properties of Relational Logic (3 min).mp4	MP4	2.29 MB
5 - 11 - 6.11 Properties of Relational Logic (3 min).srt	SRT	3.42 KB
5 - 11 - 6.11 Properties of Relational Logic (3 min).txt	TXT	2.35 KB
5 - 12 - 6.12 Logical Entailment (4 min).mp4	MP4	2.61 MB
5 - 12 - 6.12 Logical Entailment (4 min).srt	SRT	4.06 KB
5 - 12 - 6.12 Logical Entailment (4 min).txt	TXT	2.77 KB
5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4	MP4	5.97 MB
5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).srt	SRT	3.41 KB
5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).txt	TXT	2.34 KB
5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4	MP4	7.26 MB
5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).srt	SRT	4.1 KB
5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).txt	TXT	2.81 KB
5 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4	MP4	2.77 MB
5 - 15 - 6.15 (Optional) General Relational Logic (4 min).srt	SRT	8.66 KB
5 - 15 - 6.15 (Optional) General Relational Logic (4 min).txt	TXT	5.96 KB
5 - 2 - 6.2 Syntax (9 min).mp4	MP4	7.67 MB
5 - 2 - 6.2 Syntax (9 min).srt	SRT	10.44 KB
5 - 2 - 6.2 Syntax (9 min).txt	TXT	7.16 KB
5 - 3 - 6.3 Semantics (8 min).mp4	MP4	6.05 MB
5 - 3 - 6.3 Semantics (8 min).srt	SRT	8.37 KB
5 - 3 - 6.3 Semantics (8 min).txt	TXT	5.75 KB
5 - 4 - 6.4 Example - Sorority World (5 min).mp4	MP4	3.85 MB
5 - 4 - 6.4 Example - Sorority World (5 min).srt	SRT	5.03 KB
5 - 4 - 6.4 Example - Sorority World (5 min).txt	TXT	3.45 KB
5 - 5 - 6.5 Example - Blocks World (4 min).mp4	MP4	3.41 MB
5 - 5 - 6.5 Example - Blocks World (4 min).srt	SRT	4.99 KB
5 - 5 - 6.5 Example - Blocks World (4 min).txt	TXT	3.45 KB
5 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4	MP4	3.75 MB
5 - 6 - 6.6 Example - Modular Arithmetic (5 min).srt	SRT	5.98 KB
5 - 6 - 6.6 Example - Modular Arithmetic (5 min).txt	TXT	4.11 KB
5 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4	MP4	4.56 MB
5 - 7 - 6.7 Example - Peano Arithmetic (6 min).srt	SRT	7.62 KB
5 - 7 - 6.7 Example - Peano Arithmetic (6 min).txt	TXT	5.24 KB
5 - 8 - 6.8 Example Linked Lists (4 min).mp4	MP4	3.2 MB
5 - 8 - 6.8 Example Linked Lists (4 min).srt	SRT	4.86 KB
5 - 8 - 6.8 Example Linked Lists (4 min).txt	TXT	3.35 KB
5 - 9 - 6.9 Example - Pseudo-English (5 min).mp4	MP4	3.84 MB
5 - 9 - 6.9 Example - Pseudo-English (5 min).srt	SRT	5.41 KB
5 - 9 - 6.9 Example - Pseudo-English (5 min).txt	TXT	3.72 KB
notes_chapter06.pdf	PDF	210.1 KB

6 Week 5 Relational Logic Proofs

6 - 1 - 7.1 Relational Proofs (2 min).mp4	MP4	1.7 MB
6 - 1 - 7.1 Relational Proofs (2 min).srt	SRT	2.84 KB
6 - 1 - 7.1 Relational Proofs (2 min).txt	TXT	1.95 KB
6 - 2 - 7.2 Proofs (11 min).mp4	MP4	8.35 MB
6 - 2 - 7.2 Proofs (11 min).srt	SRT	13.72 KB
6 - 2 - 7.2 Proofs (11 min).txt	TXT	9.38 KB
6 - 3 - 7.3 Example (3 min).mp4	MP4	2.03 MB
6 - 3 - 7.3 Example (3 min).srt	SRT	2.95 KB
6 - 3 - 7.3 Example (3 min).txt	TXT	2.02 KB
6 - 4 - 7.4 Example (4 min).mp4	MP4	3.06 MB
6 - 4 - 7.4 Example (4 min).srt	SRT	4.44 KB
6 - 4 - 7.4 Example (4 min).txt	TXT	3.04 KB
6 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4	MP4	4.48 MB
6 - 5 - 7.5 Example - Quantifier and Implication (5 min).srt	SRT	3.46 KB
6 - 5 - 7.5 Example - Quantifier and Implication (5 min).txt	TXT	2.35 KB
notes_chapter07.pdf	PDF	99.46 KB

7 Week 6 Relational Resolution (optional)

7 - 1 - 8.1 Relational Resolution (2 min).mp4	MP4	1.41 MB
7 - 1 - 8.1 Relational Resolution (2 min).srt	SRT	2.21 KB
7 - 1 - 8.1 Relational Resolution (2 min).txt	TXT	1.5 KB
7 - 2 - 8.2 Clausal Form (9 min).mp4	MP4	7.02 MB
7 - 2 - 8.2 Clausal Form (9 min).srt	SRT	11.15 KB
7 - 2 - 8.2 Clausal Form (9 min).txt	TXT	7.62 KB
7 - 3 - 8.3 Unification (14 min).mp4	MP4	10.99 MB
7 - 3 - 8.3 Unification (14 min).srt	SRT	3.5 KB
7 - 3 - 8.3 Unification (14 min).txt	TXT	2.39 KB
7 - 4 - 8.4 Resolution (7 min).mp4	MP4	5.24 MB
7 - 4 - 8.4 Resolution (7 min).srt	SRT	7.93 KB
7 - 4 - 8.4 Resolution (7 min).txt	TXT	5.44 KB
7 - 5 - 8.5 Resolution Reasoning (5 min).mp4	MP4	3.94 MB
7 - 5 - 8.5 Resolution Reasoning (5 min).srt	SRT	5.95 KB
7 - 5 - 8.5 Resolution Reasoning (5 min).txt	TXT	4.08 KB
7 - 6 - 8.6 Unsatisfiability (2 min).mp4	MP4	1.23 MB
7 - 6 - 8.6 Unsatisfiability (2 min).srt	SRT	1.79 KB
7 - 6 - 8.6 Unsatisfiability (2 min).txt	TXT	1.22 KB
7 - 7 - 8.7 Logical Entailment (6 min).mp4	MP4	5.07 MB
7 - 7 - 8.7 Logical Entailment (6 min).srt	SRT	6.59 KB
7 - 7 - 8.7 Logical Entailment (6 min).txt	TXT	4.54 KB
7 - 8 - 8.8 Answer Extraction (6 min).mp4	MP4	5.2 MB
7 - 8 - 8.8 Answer Extraction (6 min).srt	SRT	7.51 KB
7 - 8 - 8.8 Answer Extraction (6 min).txt	TXT	5.17 KB
notes_chapter08.pdf	PDF	162.96 KB

8 Week 6 Equality

8 - 1 - 9.1 Equality (3 min).mp4	MP4	1.92 MB
8 - 1 - 9.1 Equality (3 min).srt	SRT	3.03 KB
8 - 1 - 9.1 Equality (3 min).txt	TXT	2.06 KB
8 - 2 - 9.2 Properties of Equality (3 min).mp4	MP4	2.39 MB
8 - 2 - 9.2 Properties of Equality (3 min).srt	SRT	3.16 KB
8 - 2 - 9.2 Properties of Equality (3 min).txt	TXT	2.16 KB
8 - 3 - 9.3 Substitution (3 min).mp4	MP4	2.56 MB
8 - 3 - 9.3 Substitution (3 min).srt	SRT	3.33 KB
8 - 3 - 9.3 Substitution (3 min).txt	TXT	2.29 KB
8 - 4 - 9.4 Fitch with Equality (3 min).mp4	MP4	2.37 MB
8 - 4 - 9.4 Fitch with Equality (3 min).srt	SRT	3.78 KB
8 - 4 - 9.4 Fitch with Equality (3 min).txt	TXT	2.59 KB
8 - 5 - 9.5 More examples (2 min).mp4	MP4	1.73 MB
notes_chapter09.pdf	PDF	82.16 KB

9 Week 7 Induction

9 - 1 - 10.1 Induction (3 min).mp4	MP4	2.3 MB
9 - 1 - 10.1 Induction (3 min).srt	SRT	3.65 KB
9 - 1 - 10.1 Induction (3 min).txt	TXT	2.51 KB
9 - 2 - 10.2 Domain Closure (2 min).mp4	MP4	1.38 MB
9 - 2 - 10.2 Domain Closure (2 min).srt	SRT	2.48 KB
9 - 2 - 10.2 Domain Closure (2 min).txt	TXT	1.69 KB
9 - 3 - 10.3 Linear Induction (7 min).mp4	MP4	5.01 MB
9 - 3 - 10.3 Linear Induction (7 min).srt	SRT	8.05 KB
9 - 3 - 10.3 Linear Induction (7 min).txt	TXT	5.53 KB
9 - 4 - 10.4 Tree Induction (4 min).mp4	MP4	3.27 MB
9 - 4 - 10.4 Tree Induction (4 min).srt	SRT	4.95 KB
9 - 4 - 10.4 Tree Induction (4 min).txt	TXT	3.41 KB
9 - 5 - 10.5 Structural Induction (6 min).mp4	MP4	5 MB
9 - 5 - 10.5 Structural Induction (6 min).srt	SRT	7.79 KB
9 - 5 - 10.5 Structural Induction (6 min).txt	TXT	5.34 KB
notes_chapter10.pdf	PDF	126.18 KB

Description

Show full description

Related Torrents

TORRENT NAME	SIZE	FILES	AGE	SEED	LEECH	SOURCE
Udemy - Introduction To Narrow Ai And General Ai Posted by freecoursewb in Other Posted in Other 5 1.2 GB 2 months ago freecoursewb	Size 1.2 GB	Files 11	Age 2 months ago	Seeds 5	Leechs 8	Source
Udemy - Introduction to PFAS for Suppliers Posted by freecoursewb in Other Posted in Other 0 794.5 MB 2 months ago freecoursewb	Size 794.5 MB	Files 15	Age 2 months ago	Seeds 0	Leechs 0	Source
Udemy - Introduction To Ai And Big Data Posted by freecoursewb in Other Posted in Other 14 2.4 GB 3 months ago freecoursewb	Size 2.4 GB	Files 19	Age 3 months ago	Seeds 14	Leechs 20	Source
Udemy - Introduction To Micropython Using The Pyboard Posted by freecoursewb in Other Posted in Other 0 3.4 GB 3 months ago freecoursewb	Size 3.4 GB	Files 57	Age 3 months ago	Seeds 0	Leechs 0	Source
Udemy - Introduction To Automotive Functional Safety (Fusa) Posted by freecoursewb in Other Posted in Other 0 890 MB 3 months ago freecoursewb	Size 890 MB	Files 12	Age 3 months ago	Seeds 0	Leechs 0	Source

Introduction to Logic - Logic [2012, ENG]

Torrent Contents Size: 264.86 MB

Description

Related Torrents

Location

Trackers

Latest News

Latest Searches

Sites In Our Index

Popular Tags

Tracker name
http://bt3.t-ru.org/ann?magnet
http://bt1.t-ru.org/ann
http://bt2.t-ru.org/ann
http://bt4.t-ru.org/ann
udp://tracker.opentrackr.org:1337
udp://open.stealth.si:80/announce
udp://tracker.torrent.eu.org:451/announce
udp://exodus.desync.com:6969
udp://open.demonii.com:1337/announce
udp://tracker.coppersurfer.tk:6969
udp://p4p.arenabg.com:1337
udp://tracker.internetwarriors.net:1337