From owner-cse584-sp07-list@LISTSERV.BUFFALO.EDU Wed Feb 14 11:43:55 2007 Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id l1EGhtk6004829 for ; Wed, 14 Feb 2007 11:43:55 -0500 (EST) Received: from front1.acsu.buffalo.edu (warmfront.acsu.buffalo.edu [128.205.6.88]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id l1EGhlx6083383 for ; Wed, 14 Feb 2007 11:43:47 -0500 (EST) Received: (qmail 3939 invoked from network); 14 Feb 2007 16:43:47 -0000 Received: from mailscan3.acsu.buffalo.edu (128.205.6.135) by front1.acsu.buffalo.edu with SMTP; 14 Feb 2007 16:43:47 -0000 Received: (qmail 7370 invoked from network); 14 Feb 2007 16:43:47 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front3.acsu.buffalo.edu with SMTP; 14 Feb 2007 16:43:47 -0000 Received: (qmail 29972 invoked from network); 14 Feb 2007 16:43:40 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 14 Feb 2007 16:43:40 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 3332144 for CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU; Wed, 14 Feb 2007 11:43:40 -0500 Delivered-To: cse584-sp07-list@listserv.buffalo.edu Received: (qmail 1283 invoked from network); 14 Feb 2007 16:43:39 -0000 Received: from mailscan6.acsu.buffalo.edu (128.205.7.95) by listserv.buffalo.edu with SMTP; 14 Feb 2007 16:43:39 -0000 Received: (qmail 20716 invoked from network); 14 Feb 2007 16:43:39 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp5.acsu.buffalo.edu with SMTP; 14 Feb 2007 16:43:39 -0000 Received: from castor.cse.Buffalo.EDU (rapaport@localhost [127.0.0.1]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id l1EGhdEa004782 for ; Wed, 14 Feb 2007 11:43:39 -0500 (EST) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id l1EGhceo004780 for cse584-sp07-list@listserv.buffalo.edu; Wed, 14 Feb 2007 11:43:38 -0500 (EST) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200702141643.l1EGhceo004780@castor.cse.Buffalo.EDU> Date: Wed, 14 Feb 2007 11:43:38 -0500 Reply-To: "William J. Rapaport" Sender: "Philosophy of Computer Science, Spring 2007" From: "William J. Rapaport" Subject: GREAT INSIGHTS IN C.S.; STRUCTURED PROG'G; HALTING PROB To: CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: X-UB-Relay: (castor.cse.buffalo.edu) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1335; Body=0 Fuz1=0 Fuz2=0 X-Spam-Status: No, score=-2.0 required=5.0 tests=AWL,BAYES_00,SUBJ_ALL_CAPS autolearn=no version=3.1.7 X-Spam-Checker-Version: SpamAssassin 3.1.7 (2006-10-05) on ares.cse.buffalo.edu X-Virus-Scanned: ClamAV 0.88.6/2568/Wed Feb 14 10:42:10 2007 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 1128 ------------------------------------------------------------------------ Subject: GREAT INSIGHTS IN C.S.; STRUCTURED PROG'G; HALTING PROB ------------------------------------------------------------------------ A student writes: | Although I write in details the material you mention in the lecture,I | would like to know whether these lecture notes are on the website and | where? Go to the "What is an algorithm? What is computation?" website, (*) scroll down to the last item "What is computation". (*)You can get to that website either from the Directory of Documents or directly at: http://www.cse.buffalo.edu/~rapaport/584/S07/whatisanalg.html My "What is computation" lecture notes can also be visited directly at: http://www.cse.buffalo.edu/~rapaport/computation.html >From there, you can get to my notes on "Structured Programming and Recursive Functions", or directly at: http://www.cse.buffalo.edu/~rapaport/584/S07/strdprogg.pdf And also from the "What is comptutation" notes, you can get to my "Halting Problem" notes, or directly at: http://www.cse.buffalo.edu/~rapaport/halting-problem.html