Home | About Us | FAQ | Courses | Contact Us |  Sign-In
Syllabus  |   Lectures  |   Downloads  |   FAQ  |   Ask a question  |  
Course Co-ordinated by IIT Delhi
NPTEL >> Courses >> Computer Science and Engineering >> Logic for CS (Video) >> Introduction
Ask a Question

Question Topics :
Question:
NOTE: Before you post question check if your question already exists.Please do not repeat questions.

All Questions



Question: What are the prerequisites of this course?
By: Kamble Nupur     Date: 2012-09-05

Answer: We expect a certain amount of mathematical maturity, a programming and data structures familiarity and a keen interest in knowing how to formalize the process of mathematical reasoning.

By: Prof. S. Arun Kumar     Date: 2012-09-29


Question: how to give a dao connection for data base program in vc++
By: kalai     Date: 2012-09-21

Answer: This question is not relevant to this course

By: Prof. S. Arun Kumar     Date: 2012-09-29


Question: which book/resource should i prefer for learning c++ ?
By: yash     Date: 2012-12-15

Answer: Irrelelvant

By: Prof. S. Arun Kumar     Date: 2012-12-22


Question: which book/resource should i prefer for learning c++ ?
By: yash     Date: 2012-12-15

Answer: Irrelevant

By: Prof. S. Arun Kumar     Date: 2012-12-22


Question: Dear Sir, There are two lectures with the same Title "First - Order Theories". Lecture 22 and Lecture 35. Are they same? Also, I am unable to download lecture 22 which shows as mp5 file while downloading.
By: Sandeep Singh     Date: 2012-12-27

Answer: Lecture 22 should be "Predicate Logic Proof Theory" which is also continued in Lecture 23. Lecture 35 should be "First-order Theories". So there has been some mix-up. One will have to contact the NPTEL authorities to rectify this error.

By: Prof. S. Arun Kumar     Date: 2012-12-29


Question: Dear Sir, There are two lectures with the same Title "First - Order Theories". Lecture 22 and Lecture 35. Are they same? Also, I am unable to download lecture 22 which shows as mp5 file while downloading.
By: Sandeep Singh     Date: 2012-12-27

Answer: Lecture 22 should be "Predicate Logic Proof Theory" which is also continued in Lecture 23. Lecture 35 should be "First-order Theories". So there has been some mix-up. One will have to contact the NPTEL authorities to rectify this error.

By: Prof. S. Arun Kumar     Date: 2012-12-29
Disclaimer: We will take every effort to answer your question.However, in case of delay or no response NPTEL claims no responsibility.
Site Maintained by Web Studio, IIT Madras. Contact Webmaster: nptel@iitm.ac.in