BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//project/author//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTEND:20220617T120000Z
UID:eec8218c1d92055ae6295b3e08751ad8-293
DTSTAMP:19700101T120015Z
DESCRIPTION:Why should we learn logic, and why should we learn logic?
URL;VALUE=URI:https://www.csa.iisc.ac.in/newweb/event/293/why-should-we-learn-logic-and-why-should-we-learn-logic/
SUMMARY: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.
DTSTART:20220617T120000Z
END:VEVENT
END:VCALENDAR