This course introduces students to formal logic within the context of what computers are asked to do with natural language and human understanding of the world. This introductory course parallels the course designed by Professor Michael Genesereth, Ph.D. for the Stanford University Computer Science Department. Students will practice using logical formalism and various graphical organizers to explore the limitations of computer science today with respect to semantics, communicating human knowledge, and gaming. The class will receive instruction of modeling analysis of several cases and then apply their learning in how to toe the line of what computers cannot do well. These activities will generate fluency in how their digital worlds work from a logical viewpoint and will generate interesting discussions on the state of design in the digital realm.
Introduction to LogicComputer Science
Course is Full
at the time of application
on the first day of session