🚀 go-pugleaf

Date:         15 Sep 1987 11:41:46-EDT (Tuesday)
From: Steve Stevenson <STEVE@hubcap.clemson.edu>
Subject:      Request for suggestions in developing theory course

I am trying to put together a junior level class that would serve as a
basis for later computability and compiler classes. I would like some
help identifying the exact KNOWLEDGE that a junior should have when entring
the later classes (both of which are electives) and what SKILLS I should
assume/develop.  The subject class would be required of all CS folks.
     
Please send suggestions to me and I summarize:
    (1)  (~) Ten theorems/facts that every computer scientist should know.
         (e.g., Kleene's theorem, pumping lemma for context-free,...)
    (2)  (~) Ten canonical problems every computer scientist should know
         (e.g., halting problem, busy beaver,...).
    (3)  Proof techniques to emphasize.
    (4)  Suggestions concerning topics.
     
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906