From leavens@larch.cs.iastate.edu Mon Jan 23 23:40:09 2006 Date: Mon, 23 Jan 2006 23:40:09 -0600 (CST) From: Gary T. Leavens To: Kristina Boysen Subject: Re: 641 questions Hi Kristina, On Mon, 23 Jan 2006, Kristina Boysen wrote: > A couple of questions about the homework: > > 1. Do you want the extra credit problems at the back of the homework like you > wanted them in 541? On a separate piece of paper would be helpful for extra credit. > 2. For question 6 you only want us to do the first part of the question and not > the least solution as in the text? I see that isn't clear. Let's have you just show it's a solution. If you do the second part, showing that it's the least solution, to give you 10 points extra credit... Gary T. Leavens Department of Computer Science, Iowa State University 229 Atanasoff Hall, Ames, Iowa 50011-1041 USA http://www.cs.iastate.edu/~leavens phone: +1-515-294-1580 ------------------ From leavens@larch.cs.iastate.edu Sun Jan 29 14:33:08 2006 Date: Sun, 29 Jan 2006 14:33:08 -0600 (CST) From: Gary T. Leavens To: Robert Dyer Subject: Re: typo in problem 5 of HW 2 Hi Robert, On Sun, 29 Jan 2006, Robert Dyer wrote: > Dr Leavens, > > I believe problem 5 has a typeo. It states: > > What kind of languages would make the Reading Definitions analysis > less precise? > > This should be Reaching Definitions, correct? Yes, thanks. I've fixed that now. Gary T. Leavens Department of Computer Science, Iowa State University 229 Atanasoff Hall, Ames, Iowa 50011-1041 USA http://www.cs.iastate.edu/~leavens phone: +1-515-294-1580 ---------------------------------- From leavens@larch.cs.iastate.edu Sun Feb 12 21:33:31 2006 Date: Sun, 12 Feb 2006 21:33:31 -0600 (CST) From: Gary T. Leavens To: Ru He Subject: Re: Question in hk 2 of cs641 in 342 Hi Ru, On Sun, 12 Feb 2006 rhe@cs.iastate.edu wrote: > How are you? I have a question in Question 7 (Exercise 1.3) of cs 641? > > We can assume that Alpha and gamma have the definition as on the page 15 of the > book (2nd printing). E.g. Alpha(X) = {(x, SRD(tr)(x)) | ~E} Right? No, this should be done in general, for any adjunction (\alpha,\gamma). Gary T. Leavens Department of Computer Science, Iowa State University 229 Atanasoff Hall, Ames, Iowa 50011-1041 USA http://www.cs.iastate.edu/~leavens phone: +1-515-294-1580 -------------------