From 868cde79580d775e31cd606e412f84b2942349fe Mon Sep 17 00:00:00 2001 From: Daniel Ge Date: Sun, 28 Dec 2014 16:37:54 -0800 Subject: [PATCH] Add UPenn's CIS 500 in a separate CS Theory section --- README.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 947fe53..d4150f3 100644 --- a/README.md +++ b/README.md @@ -105,7 +105,13 @@ Courses *CUNY Hunter College* - This includes the introduction of hashes, heaps, various forms of trees, and graphs. It also revisits recursion and the sorting problem from a higher perspective than was presented in the prequels. On top of this, it is intended to introduce methods of algorithmic analysis. - [Lectures and Assignments](http://compsci.hunter.cuny.edu/~sweiss/course_materials/csci335/csci335_s14.php) - + +### CS Theory +- [CIS 500](http://www.seas.upenn.edu/~cis500/cis500-f14/index.html) **Software Foundations** *University of Pennsylvania* + - An introduction to formal verification of software using the Coq proof assistant. Topics include basic concepts of logic, computer-assisted theorem proving, functional programming, operational semantics, Hoare logic, and static type systems. + * [Lectures and Assignments](http://www.seas.upenn.edu/~cis500/cis500-f14/index.html#schedule) + - [Textbook](http://www.cis.upenn.edu/~bcpierce/sf/current/index.html) + ### Introduction to CS - [CS 50](https://cs50.harvard.edu/) **Introduction to Computer Science** *Harvard University* - CS50x is Harvard College's introduction to the intellectual enterprises of computer science and the art of programming for majors and non-majors alike, with or without prior programming experience. An entry-level course taught by David J. Malan.