Virginia Tech - CS 5104 Home Page
Computability and Formal Languages
First Summer Session, 1997
These pages provide minimal information in support
of the course.
Also available in LaTeX.
HANDOUTS
There may be some other handouts eventually.
RESOURCES IN THE LIBRARY
A number of books have been placed
on reserve in Newman library.
Also go to the library and browse the shelves near call numbers
QA267 to explore the richness and diversity
of these formal foundations of computer science.
SEARCH RESOURCES
-
Use
firstsearch
to find journal articles (INSPEC),
books (BOOKSINPRINT),
or dissertations (DISS).
-
Yahoo!
provides a general index to web resources.
-
Altavista
is a general tool for searching the web by keywords.
ANNOUNCEMENTS