Proving Programs Correct Exam Study Material for Gate CSE

Gate Material Placement Ready Login Sign up Login Sign up

cURL Error: Could not resolve host: surukam.net

Computer-science-and-engineering0

Combinatorics (View More...)

Double Counting- Part (2)	lec17	00:54 to 09:09	PDF	VIDEO
Double Counting- Part (2)	lec17	48:08 to 52:39	PDF	VIDEO
Inclusion exclusion principle - Part (4)	lec21	26:22 to 28:39	PDF	VIDEO
Pigeon hole principle - (Part 3)	lec3	27:55 to 31:56	PDF	VIDEO
Elementary concepts and basic counting principles	lec5	08:32 to 09:23	PDF	VIDEO
Elementary concepts and basic counting principles	lec5	09:23 to 11:14	PDF	VIDEO
Elementary concepts; Binomial theorem; Bijective proofs - Part (1)	lec6	23:44 to 29:33	PDF	VIDEO
Elementary concepts; Binomial theorem; Bijective proofs - Part (1)	lec6	39:54 to 43:31	PDF	VIDEO

Computational Geometry (View More...)

Point Location and Triangulation	lec14	16:01 to 28:19	PDF	VIDEO
Range Searching	lec26	03:21 to 06:00	PDF	VIDEO
Range Searching	lec26	17:07 to 21:26	PDF	VIDEO
Range Searching	lec26	21:26 to 26:18	PDF	VIDEO
Range Searching	lec26	30:14 to 41:18	PDF	VIDEO
Orthogonal Range Searching	lec27	28:23 to 32:18	PDF	VIDEO
Orthogonal Range Searching	lec27	40:35 to 45:19	PDF	VIDEO
Priority Search Trees	lec28	01:17 to 06:21	PDF	VIDEO
Priority Search Trees	lec28	27:53 to 39:22	PDF	VIDEO
Range Searching	lec29	00:47 to 08:28	PDF	VIDEO

Computer Graphics- Sukhedu Das (View More...)

3D Viewing - Projection Transformations and Viewing Pipeline	lec12	40:25 to 41:31	PDF	VIDEO
Curve Representation	lec36	00:24 to 00:28	PDF	VIDEO
Transformations in 2-D	lec7	00:07 to 00:08	PDF	VIDEO
Transformations in 2-D	lec7	00:08 to 00:11	PDF	VIDEO
Transformations in 2-D	lec7	00:11 to 00:15	PDF	VIDEO
Transformations in 2-D	lec7	00:25 to 00:26	PDF	VIDEO
Three Dimensional Graphics	lec8	00:04 to 00:06	PDF	VIDEO
Three Dimensional Graphics	lec8	00:06 to 00:09	PDF	VIDEO
Three Dimensional Graphics	lec8	00:22 to 00:28	PDF	VIDEO
Three Dimensional Graphics	lec9	00:01 to 00:05	PDF	VIDEO

Database Design (View More...)

Relational Model	lec4	00:42 to 00:45	PDF	VIDEO
Relational Model	lec4	00:45 to 00:46	PDF	VIDEO
Relational Model	lec5	00:01 to 00:09	PDF	VIDEO
Relational Model	lec5	00:09 to 00:11	PDF	VIDEO
Relational Model	lec5	00:12 to 00:13	PDF	VIDEO
Relational Model	lec5	00:13 to 00:14	PDF	VIDEO
Relational Model	lec5	00:14 to 00:17	PDF	VIDEO
Relational Model	lec5	00:33 to 00:35	PDF	VIDEO
Structured Query Language II	lec7	00:26 to 00:29	PDF	VIDEO

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

Syntax and Semantics of CTL	lec16	29:32 to 33:58	PDF	VIDEO
Syntax and Semantics of CTL	lec16	34:38 to 38:22	PDF	VIDEO
Syntax and Semantics of CTL	lec16	38:22 to 40:04	PDF	VIDEO
Syntax and Semantics of CTL	lec16	40:04 to 41:33	PDF	VIDEO
Syntax and Semantics of CTL	lec16	47:36 to 55:07	PDF	VIDEO
Syntax and Semantics of CTL - Continued	lec17	02:55 to 05:01	PDF	VIDEO
Syntax and Semantics of CTL - Continued	lec17	31:38 to 33:59	PDF	VIDEO
Syntax and Semantics of CTL - Continued	lec17	56:31 to 59:00	PDF	VIDEO
Ordered Binary Decision Diagram for State Transition Systems	lec26	33:02 to 34:05	PDF	VIDEO
Ordered Binary Decision Diagram for State Transition Systems	lec26	34:05 to 37:41	PDF	VIDEO

Discrete Mathematical Structures (View More...)

Relations	lec13	16.12 to 16.22	PDF	VIDEO
Relations	lec13	21:10 to 21.12	PDF	VIDEO
Relations	lec13	25.56 to 28.31	PDF	VIDEO
Relations	lec13	28.31 to 32:38	PDF	VIDEO
Relations	lec13	33.20 to 37.47	PDF	VIDEO
Relations	lec13	8.12 to 8.21	PDF	VIDEO
Special Properties of Relations	lec18	27:10 to 46:28	PDF	VIDEO
Closure of Relation	lec19	50:49 to 54:20	PDF	VIDEO
Proving Programs Correct	lec9	4:16 to 4:48	PDF	VIDEO
Proving Programs Correct	lec9	4:48 to 5:40	PDF	VIDEO

Engineering Chemistry I (View More...)

Physical and Theoretical Chemistry	lec1	30:19 to 33:54	PDF	VIDEO
Module 1: Atoms and Molecules Particle in a Box (one and two dimension)	lec2	36:28 to 40:14	PDF	VIDEO
Module 1: Atoms and molecules Particle in a box (one and two dimensions) continued	lec3	21:16 to 25:14	PDF	VIDEO
Module 1 Atoms and Molecules Hydrogen Atom	lec6	57:15 to upto	PDF	VIDEO
Module 1 Atoms and Molecules Hydrogen Atom: part - II (The Angular Solutions)	lec7	21:30 to 22:33	PDF	VIDEO
Module 1 Atoms and Molecules Hydrogen Atom: part - II (The Angular Solutions)	lec7	27:32 to 30:25	PDF	VIDEO
Hydrogen Atom: Part - III The Angular Solutions continued	lec8	5:53 to 8:14	PDF	VIDEO
Hydrogen Atom: Part - III The Angular Solutions continued	lec8	8:14 to 10:42	PDF	VIDEO
Hydrogen Atom: Part 4 (The Angular Solutions continued)	lec9	18:10 to 21:23	PDF	VIDEO
Hydrogen Atom: Part 4 (The Angular Solutions continued)	lec9	26:47 to 27:37	PDF	VIDEO

Engineering Physics II (View More...)

Module No. # 01	lec1	07:21 to 10:21	PDF	VIDEO
Module No. # 01	lec1	10:21 to 12:53	PDF	VIDEO
Module No. # 01	lec1	22:11 to 25:34	PDF	VIDEO
Module No. # 01	lec1	25:34 to 26:46	PDF	VIDEO
Module No. # 01	lec1	29:46 to 32:58	PDF	VIDEO
Module No. # 01	lec1	38:51 to 41:19	PDF	VIDEO
Module No. # 01	lec1	46:36 to 48:55	PDF	VIDEO
Module No. # 01	lec1	48:55 to 53:36	PDF	VIDEO
Module No. # 01	lec1	53:36 to 55:18	PDF	VIDEO
Module No. # 01	lec1	55:18 to upto	PDF	VIDEO

Graph Theory (View More...)

Perfect Graphs: Examples	lec23	24:56 to 29:37	PDF	VIDEO
More Special Classes of Graphs	lec27	49:19 to 52:21	PDF	VIDEO
Boxicity, Sphericity, Hamiltonian Circuits	lec28	00:57 to 03:40	PDF	VIDEO
Boxicity, Sphericity, Hamiltonian Circuits	lec28	04:32 to 06:57	PDF	VIDEO
Boxicity, Sphericity, Hamiltonian Circuits	lec28	15:55 to 19:05	PDF	VIDEO
Random Graphs and Probabilistic Method: Preliminaries	lec35	07:05 to 09:38	PDF	VIDEO
Random Graphs and Probabilistic Method: Preliminaries	lec35	09:38 to 09:38	PDF	VIDEO
Random Graphs and Probabilistic Method: Preliminaries	lec35	17:18 to 18:40	PDF	VIDEO
Random Graphs and Probabilistic Method: Preliminaries	lec35	18:40 to 24:21	PDF	VIDEO

Principles of Programming Languages (View More...)

Lecture Title: Structured Data	lec21	19:00 to 21:34	PDF	VIDEO
Lecture Title: Sequences	lec22	01:10 to 05:39	PDF	VIDEO
Lecture Title: Sequences	lec22	06:15 to 08:42	PDF	VIDEO
Lecture Title: Sequences	lec22	20:34 to 25:30	PDF	VIDEO
Lecture Title: Sequences	lec22	25:30 to 31:59	PDF	VIDEO
Lecture Title: Data as Functions	lec28	27:30 to 36:20	PDF	VIDEO
Lecture Title: Data as Functions	lec28	36:20 to 42:15	PDF	VIDEO
Lecture Title: Data as Functions	lec28	42:15 to 43:48	PDF	VIDEO
Lecture Title: Data as Functions	lec28	43:48 to 48:09	PDF	VIDEO
Typed Lambda Calculus	lec31	31:08 to 34:48	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