Discrete Mathematics Propositional Exam Study Material for Gate CSE

Gate Material Placement Ready Login Sign up Login Sign up

Artificial Intelligence IIT Kgp (View More...)

Knowledge Representation and Logic	lec11	25:00 to 28:02	PDF	VIDEO
Interface in Propositional Logic	lec12	10:24 to 11:48	PDF	VIDEO
Interface in Propositional Logic	lec12	17:40 to 19:41	PDF	VIDEO
Interface in Propositional Logic	lec12	29:00 to 32:15	PDF	VIDEO
Interface in Propositional Logic	lec12	34:54 to 36:54	PDF	VIDEO
Interface in Propositional Logic	lec12	36:54 to 38:20	PDF	VIDEO
Interface in Propositional Logic	lec12	38:20 to 40:32	PDF	VIDEO
Interface in Propositional Logic	lec12	40:32 to 44:19	PDF	VIDEO
Interface in Propositional Logic	lec12	47:29 to 48:22	PDF	VIDEO
Resolution in FOPL	lec15	03:00 to 06:15	PDF	VIDEO

Design Verification and Test of Digital VLSI Circuits (View More...)

Introduction to Formal Methods for Design Verification	lec14	29:06 to 37:40	PDF	VIDEO
Introduction and Basic Operators	lec15	28:07 to 31:21	PDF	VIDEO
Syntax and Semantics of CTL	lec16	01:39 to 04:43	PDF	VIDEO
Syntax and Semantics of CTL	lec16	07:15 to 09:32	PDF	VIDEO
Syntax and Semantics of CTL	lec16	20:06 to 24:06	PDF	VIDEO
Syntax and Semantics of CTL	lec16	24:06 to 29:32	PDF	VIDEO
Syntax and Semantics of CTL	lec16	47:36 to 55:07	PDF	VIDEO
Syntax and Semantics of CTL	lec16	55:07 to upto	PDF	VIDEO
Syntax and Semantics of CTL - Continued	lec17	05:01 to 06:56	PDF	VIDEO
Syntax and Semantics of CTL - Continued	lec17	24:17 to 29:16	PDF	VIDEO

Discrete Mathematical Structures (View More...)

Propositional Logic	lec1	14:53 to 17:23	PDF	VIDEO
Propositional Logic	lec1	17:23 to 17:39	PDF	VIDEO
Propositional Logic	lec1	24:31 to 26:30	PDF	VIDEO
Propositional Logic	lec1	36:55 to 37:55	PDF	VIDEO
Propositional Logic	lec1	45:10 to 47:28	PDF	VIDEO
Propositional Logic	lec1	47:28 to 50:15	PDF	VIDEO
Propositional Logic (contd.)	lec2	05:37 to 06:25	PDF	VIDEO
Propositional Logic (contd.)	lec2	06:25 to 09.40	PDF	VIDEO
Propositional Logic (contd.)	lec2	17:51 to 21:45	PDF	VIDEO
Propositional Logic (contd.)	lec2	23:20 to 26:40	PDF	VIDEO

Logic for CS (View More...)

Propositional Logic Syntax	lec2	00:41 to 02:58	PDF	VIDEO
Propositional Logic Syntax	lec2	07:08 to 11:43	PDF	VIDEO
Propositional Logic Syntax	lec2	19:27 to 22:06	PDF	VIDEO
Propositional Logic Syntax	lec2	22:30 to 27:42	PDF	VIDEO
Propositional Logic Syntax	lec2	27:42 to 32:45	PDF	VIDEO
Semantics of Propositional Logic	lec3	26:55 to upto	PDF	VIDEO
Propositional Unsatisfiability	lec7	04:51 to 06:57	PDF	VIDEO
Propositional Unsatisfiability	lec7	06:57 to 14:08	PDF	VIDEO
Propositional Unsatisfiability	lec7	16:53 to 24:31	PDF	VIDEO
Propositional Unsatisfiability	lec7	27:28 to 35:29	PDF	VIDEO

Principles of Programming Languages (View More...)

Lecture Title: Commands	lec13	16:35 to 27:30	PDF	VIDEO
Lecture Title: Commands	lec13	27:30 to 28:20	PDF	VIDEO
Lecture Title: Commands	lec13	28:20 to 33:07	PDF	VIDEO
Lecture Title: Commands	lec13	33:26 to 35:15	PDF	VIDEO
Lecture Title: Commands	lec13	35:15 to 40:20	PDF	VIDEO
Lecture Title:?Î±Î²: The Trinity	lec27	40:44 to 43:34	PDF	VIDEO
Lecture Title:?Î±Î²: The Trinity	lec27	43:34 to upto	PDF	VIDEO
Lecture Title: Data as Functions	lec28	05:42 to 21:52	PDF	VIDEO
Lecture Title: Data as Functions	lec28	27:30 to 36:20	PDF	VIDEO
Polymorphism	lec33	10:50 to 19:40	PDF	VIDEO

No Records Found

Any Queries, please contact us @ 09677117110 or mail to NPTEL.Bodhbridge@btechguru.com

Distributed under Creative Commons Attribution-Share Alike - CC BY-SA.

Back to top