This course will provide students with a broad perspective of computer science and will acquaint them with various formal systems on which modern computer science is based.
Last modified 22/May/97