Media Summary: Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details ... Principles and Parameters in Natural Language by Prof.Rajesh Kumar,Department of Humanities and Social Sciences,IIT Madras. Artificial Intelligence by Prof. Deepak Khemani,Department of Computer Science and Engineering,IIT Madras.For more details on ...

Mod 01 Lec 40 Semantic - Detailed Analysis & Overview

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details ... Principles and Parameters in Natural Language by Prof.Rajesh Kumar,Department of Humanities and Social Sciences,IIT Madras. Artificial Intelligence by Prof. Deepak Khemani,Department of Computer Science and Engineering,IIT Madras.For more details on ... Performance Evaluation of Computer Systems by Prof.Krishna Moorthy Sivalingam, Department of Computer Science and ... Compiler Design by Prof.Y.N.Srikant,Department of Computer Science and Automation,IISC Bangalore. For more details on ... Finite Element Analysis by Dr. B.N. RAO, Department of Civil Engineering, IIT Madras. For more details on NPTEL visit ...

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ... Applied Multivariate Statistical Modeling by Dr J Maiti,Department of Management, IIT Kharagpur.For more details on NPTEL visit ... Quantum Mechanics I by Prof. S. Lakshmi Bala, Department of Physics, IIT Madras. For more details on NPTEL visit ... Probability Foundation for Electrical Engineers by Dr. Krishna Jagannathan,Department of Electrical Engineering,IIT Madras. Design and Optimization of Energy Systems by Prof. C. Balaji , Department of Mechanical Engineering, IIT Madras. For more ... Mass Transfer II by Prof. Nishith Verma, Department of Chemical Engineering, IIT Kanpur. For more details on NPTEL visit ...

Photo Gallery

Mod-01 Lec-40 Semantic Tableaux Method for Predicate Logic
Mod-01 Lec-40 Structure, Language, Cognition and Pragmatics
Mod-01 Lec-40 CSP Continued
Mod-01 Lec-40 PetriNets-II
Mod-01 Lec-01 An Overview of a Compiler
Mod-01 Lec-40 Lecture 40
Mod-01 Lec-40 TMs can simulate computers, diagonalization proof.
Mod-01 Lec-40 SEM - Structural Model
Mod-01 Lec-41 Semantic Tableaux method: Satisfiability, Validity
Mod-01 Lec-40 Time-dependent Hamiltonians
Mod-01 Lec-40 CHARACTERISTIC FUNCTION – 1
Mod-01 Lec-40 Simulated Annealing and Summary
View Detailed Profile
Mod-01 Lec-40 Semantic Tableaux Method for Predicate Logic

Mod-01 Lec-40 Semantic Tableaux Method for Predicate Logic

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details ...

Mod-01 Lec-40 Structure, Language, Cognition and Pragmatics

Mod-01 Lec-40 Structure, Language, Cognition and Pragmatics

Principles and Parameters in Natural Language by Prof.Rajesh Kumar,Department of Humanities and Social Sciences,IIT Madras.

Mod-01 Lec-40 CSP Continued

Mod-01 Lec-40 CSP Continued

Artificial Intelligence by Prof. Deepak Khemani,Department of Computer Science and Engineering,IIT Madras.For more details on ...

Mod-01 Lec-40 PetriNets-II

Mod-01 Lec-40 PetriNets-II

Performance Evaluation of Computer Systems by Prof.Krishna Moorthy Sivalingam, Department of Computer Science and ...

Mod-01 Lec-01 An Overview of a Compiler

Mod-01 Lec-01 An Overview of a Compiler

Compiler Design by Prof.Y.N.Srikant,Department of Computer Science and Automation,IISC Bangalore. For more details on ...

Mod-01 Lec-40 Lecture 40

Mod-01 Lec-40 Lecture 40

Finite Element Analysis by Dr. B.N. RAO, Department of Civil Engineering, IIT Madras. For more details on NPTEL visit ...

Mod-01 Lec-40 TMs can simulate computers, diagonalization proof.

Mod-01 Lec-40 TMs can simulate computers, diagonalization proof.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

Mod-01 Lec-40 SEM - Structural Model

Mod-01 Lec-40 SEM - Structural Model

Applied Multivariate Statistical Modeling by Dr J Maiti,Department of Management, IIT Kharagpur.For more details on NPTEL visit ...

Mod-01 Lec-41 Semantic Tableaux method: Satisfiability, Validity

Mod-01 Lec-41 Semantic Tableaux method: Satisfiability, Validity

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details ...

Mod-01 Lec-40 Time-dependent Hamiltonians

Mod-01 Lec-40 Time-dependent Hamiltonians

Quantum Mechanics I by Prof. S. Lakshmi Bala, Department of Physics, IIT Madras. For more details on NPTEL visit ...

Mod-01 Lec-40 CHARACTERISTIC FUNCTION – 1

Mod-01 Lec-40 CHARACTERISTIC FUNCTION – 1

Probability Foundation for Electrical Engineers by Dr. Krishna Jagannathan,Department of Electrical Engineering,IIT Madras.

Mod-01 Lec-40 Simulated Annealing and Summary

Mod-01 Lec-40 Simulated Annealing and Summary

Design and Optimization of Energy Systems by Prof. C. Balaji , Department of Mechanical Engineering, IIT Madras. For more ...

Mod-01 Lec-40 Lecture-40

Mod-01 Lec-40 Lecture-40

Mass Transfer II by Prof. Nishith Verma, Department of Chemical Engineering, IIT Kanpur. For more details on NPTEL visit ...