Seminars

View all Seminars  |  Download ICal for this event

Why should we learn logic, and why should we learn logic?

Series: IISc ACM student chapter invited talk

Speaker: Prof. R Ramanujam, Professor, Institute of Mathematical SciencesChennai

Date/Time: Jun 17 15:00:00

Location: CSA Seminar Hall (Room No. 254, First Floor)

Faculty Advisor:

Abstract:
Computer science curricula do not usually advertise the fact that computers, programming and models of computation all arose from trying to answer fundamental questions in logic. But is it only a matter of historical pride? Could learning logic actually be useful for those who actually do things (and not just theorize)? Even if that is true, should it not be sufficient for a few to write formulas and such, while most of us build "apps"? These are reasonable questions for a computer science student to ask, and the talk is an attempt to engage in a discussion with her.

Speaker Bio:

Host Faculty: Prof. R Govindarajan