CIS 301, Logical Foundations of Programming, Fall 2011
tools to be used.
gives up-to-date information about what has been covered so far and what is expected to happen in the near future.
is used to report grades, to upload the slides used during the lectures, etc.
will be posted as needed.