UWTV Program: Logic in Computer Science

Search:

Search for information by:

Note: Selected programs are available for streaming download per agreement with the original media source.

Sponsored by:

Logic in Computer Science

	During the past thirty years there has been extensive interaction between logic and computer science. The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. Moshe VardiÕs non-technical discussion will provide an overview of the unusual effectiveness of logic in computer science by surveying its history, dating back to the time of Aristotle and Euclid, and showing how logic actually gave rise to computer science.



	* Help?


Series Title:	CSE Colloquia - 2002
Subject(s):	Engineering and Computer Science
Speaker(s):	Moshe Vardi, Rice University
Related Link(s):	CSE web site
Production Date:	11/21/2002
Runtime:	00:59:10
Rating:	TV-G

Support for UWTV is provided by:

San Jose State @ UW
Watch 9/3 at 8 p.m.
Original Game: 11/16/96

Kansas State @ UW
Watch 9/6 at 7 p.m.
Original Game: 9/28/91

Email us with comments or questions or call 888-616-UWTV