Soft Computing Truth Values 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	23:04 to 25:00	PDF	VIDEO
Knowledge Representation and Logic	lec11	44:01 to 46:24	PDF	VIDEO
Knowledge Representation and Logic	lec11	46:24 to 49:45	PDF	VIDEO
Interface in Propositional Logic	lec12	05:20 to 08:22	PDF	VIDEO
Interface in Propositional Logic	lec12	08:22 to 10:24	PDF	VIDEO
Interface in Propositional Logic	lec12	10:24 to 11:48	PDF	VIDEO
Interface in Propositional Logic	lec12	13:16 to 15:40	PDF	VIDEO
Interface in Propositional Logic	lec12	17:40 to 19:41	PDF	VIDEO
Interface in Propositional Logic	lec12	47:29 to 48:22	PDF	VIDEO
Fuzzy Reasoning - I	lec30	35:25 to 41:33	PDF	VIDEO

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

Syntax and Semantics of CTL	lec16	07:15 to 09:32	PDF	VIDEO
Syntax and Semantics of CTL	lec16	09:32 to 12:12	PDF	VIDEO
Syntax and Semantics of CTL	lec16	17:31 to 20:06	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 - Continued	lec17	00:38 to 02:18	PDF	VIDEO
Syntax and Semantics of CTL - Continued	lec17	39:00 to 41:01	PDF	VIDEO
Equivalence between CTL Formulas	lec18	17:15 to 21:33	PDF	VIDEO
Model Checking Algorithms	lec20	05:27 to 08:17	PDF	VIDEO

Discrete Mathematical Structures (View More...)

Propositional Logic	lec1	14:53 to 17:23	PDF	VIDEO
Propositional Logic	lec1	16:08 to 14:53	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	06:25 to 09.40	PDF	VIDEO
Propositional Logic (contd.)	lec2	17:51 to 21:45	PDF	VIDEO
Predicates and Quantifiers	lec3	23:22 to 21:36	PDF	VIDEO
Predicates and Quantifiers	lec3	24:57 to 28:19	PDF	VIDEO
Predicates and Quantifiers	lec4	31:53 to 33:25	PDF	VIDEO

Logic for CS (View More...)

The Hilbert System: Soundness	lec15	35:19 to 37:21	PDF	VIDEO
The Hilbert System: Soundness	lec15	37:21 to 41:53	PDF	VIDEO
The Hilbert System : Completeness	lec16	04:07 to 04:48	PDF	VIDEO
The Semantics of Predicate Logic	lec18	30:33 to 37:58	PDF	VIDEO
The Semantics of Predicate Logic	lec18	37:58 to 40:37	PDF	VIDEO
The Semantics of Predicate Logic	lec18	40:37 to 43:55	PDF	VIDEO
Substitutions	lec19	06:27 to 10:20	PDF	VIDEO
Substitutions	lec19	37:21 to 39:16	PDF	VIDEO
Substitutions	lec19	39:16 to 44:24	PDF	VIDEO
Structures and Substructures	lec21	11:11 to 16:19	PDF	VIDEO

Principles of Programming Languages (View More...)

Lecture Title: Commands	lec13	16:35 to 27:30	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: Commands	lec13	48:58 to 51:53	PDF	VIDEO
Lecture Title: Stores	lec14	09:00 to 12:05	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
Typed Lambda Calculus	lec31	44:54 to 52:53	PDF	VIDEO
Type Checking	lec34	26:44 to 29:51	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