Course Name: Symbolic Logic

Course abstract

Logic is a part of every systematic field of inquiry As the essential foundation for rational investigation. Logic has always been a multidisciplinary and an interdisciplinary subject. Its versatility is evinced in its vast and varied applications in digital electronics, computer and manufacturing technologies, and also for deliberating in law, public policy and business strategy. In view of the above, it is a value-addition to one’s skill-base to be exposed to this all-important subject. Logic, roughly speaking, is the study of principles of correct reasoning. It is a foundational component for any systematic and rational investigation. It is a discipline that adds value to every other systematic field of inquiry. This course is designed to enable the participants To gain acquaintance with the fundamentals of Propositional logic and Predicate Logic. To strengthen the foundation with problem-solving training


Course Instructor

Media Object

Prof. Chhanda Chakraborti

Prof Chhanda Chakraborti (Ph.D University of Utah, USA) did her Ph D dissertation on Logic of Indicative Conditionals. She is a double M.A from University of Washington, USA, and Jadavpur University. She has 20 years of experience of teaching logic in India and abroad. She regularly teaches logic at IIT Kharagpur. Her textbook on logic LOGIC: Informal, Symbolic and Inductive, Prentice Hall of India (2006) 2nd edition 2007, is widely used for logic teaching. She was invited to teach Logic at Department of Mathematical Information Technology, University of Jyvaskylla, Finland, and at University of Turku, Finland. She has organized 6 Summer and Winter Schools to teach Logic, and most recently organized an international Logic School in December 2015.
More info

Teaching Assistant(s)

DAISY DUTTA

 Course Duration : Jul-Sep 2016

  View Course

 Syllabus

 Enrollment : 23-May-2016 to 18-Jul-2016

 Exam registration : 02-Aug-2016 to 19-Aug-2016

 Exam Date : 18-Sep-2016, 25-Sep-2016

Enrolled

1401

Registered

540

Certificate Eligible

273

Certified Category Count

Gold

0

Elite

21

Successfully completed

252

Participation

210

Success

Elite

Gold





Legend

>=90 - Elite + Gold
60-89 - Elite
40-59 - Successfully Completed
<40 - No Certificate

Final Score Calculation Logic

  • Assignment Score = Average of best 6 out of 8 assignments.
  • Final Score(Score on Certificate)= 75% of Exam Score + 25% of Assignment Score.
Symbolic Logic - Toppers list
Top 1 % of Certified Candidates

AMBIKA P 85%

M A M COLLEGE OF ENGINEERING AND TECHNOLOGY

ASMITA SENGUPTA 85%

MCKV INSTITUTE OF ENGINEERING

ANAHITA GORDON GARRAD 84%

RAJIV GANDHI INSTITUTE OF TECHNOLOGY


Top 2 % of Certified Candidates

P SANDHYA 83%

M A M COLLEGE OF ENGINEERING AND TECHNOLOGY

AKASH GHOSH 80%

UNIVERSITY OF ENGINEERING & MANAGEMENT (UEM)


Top 5 % of Certified Candidates

ADITYA BIKRAM CHAKRABORTY 72%

UNIVERSITY OF ENGINEERING & MANAGEMENT (UEM)

MOUNADEEP PODDAR 72%

UNIVERSITY OF ENGINEERING & MANAGEMENT (UEM)

ANKITA SINGH 72%

UNIVERSITY OF ENGINEERING & MANAGEMENT (UEM)

SUDESHNA BISWAS 70%

UNIVERSITY OF ENGINEERING & MANAGEMENT (UEM)

AKANSHA SINGHAL 67%

HINDU COLLEGE

RAYA CHOWDHURY 66%

UNIVERSITY OF ENGINEERING & MANAGEMENT (UEM)

SHIPRA SHAND 66%

MCKV INSTITUTE OF ENGINEERING

SUPRIYA CHOUDHARY 64%

UNIVERSITY OF ENGINEERING & MANAGEMENT (UEM)

SRIDIPTA SINHA 64%

UNIVERSITY OF ENGINEERING & MANAGEMENT (UEM)

Assignment

Exam score

Final score

Score Distribution Graph - Legend

Assignment Score: Distribution of average scores garnered by students per assignment.
Exam Score : Distribution of the final exam score of students.
Final Score : Distribution of the combined score of assignments and final exam, based on the score logic.