From howiek at MIT.EDU  Mon May 10 12:52:03 2004
From: howiek at MIT.EDU (Howard Kleinwaks)
Date: Mon, 10 May 2004 12:52:03 -0400
Subject: [Unified-mailman] Reminder: Fill out survey for Pset credit
Message-ID: <v04020a02bcc562999669@[18.34.1.112]>

Students,
Please remember to fill out the online survey for unified.  Filling it out
gets you credit for one homework problem.  Not filling it out does not.
-Howie

From howiek at MIT.EDU  Mon May 10 13:59:36 2004
From: howiek at MIT.EDU (Howard Kleinwaks)
Date: Mon, 10 May 2004 13:59:36 -0400
Subject: [Unified-mailman] survey clarification
Message-ID: <v04020a04bcc57317d41d@[18.34.1.112]>

Students,
The survey I was referring to is the end-of-term survey, not the systems
problems surveys.  You can find the survey at http://paperairplane.mit.edu.
Please fill the survey out, as your feedback will be invaluable to us in
helping us to prepare for next year.
Thanks,
-Howie

From howiek at MIT.EDU  Mon May 10 14:19:56 2004
From: howiek at MIT.EDU (Howard Kleinwaks)
Date: Mon, 10 May 2004 14:19:56 -0400
Subject: [Unified-mailman] Fwd: COURSE 16 SURVEYS AVAILABLE 5/6/04-5/21/04
Message-ID: <v04020a05bcc578130016@[18.34.1.112]>

This should help clarify the surveys a little more (you all got this email
a while ago).  The site to go to is aerosurvey.mit.edu (which can be linked
from the paperairplane page).

Sorry for the confusion.
-Howie

>X-Sieve: CMU Sieve 2.2
>X-Sender: aerosurvey at hesiod (Unverified)
>X-Priority: 2 (High)
>Date: Thu, 06 May 2004 08:59:53 -0400
>To: aa-grad at mit.edu, aa-undergrad at mit.edu
>From: Mary Heckbert <heckbert at MIT.EDU>
>Subject: COURSE 16 SURVEYS AVAILABLE 5/6/04-5/21/04
>Cc: fjd at mit.edu, blechner at mit.edu, iaw at mit.edu, heckbert at mit.edu
>Mime-Version: 1.0
>X-Spam-Score: -9.413
>X-Spam-Flag: NO
>X-Scanned-By: MIMEDefang 2.28 (www . roaringpenguin . com / mimedefang)
>
>The spring semester Subject Evaluations Forms  for Course 16 classes are
>available on line at the following web link:
>
><http://aerosurvey.mit.edu/>http://aerosurvey.mit.edu
>
>When prompted for your name and password:
>Name: Your Athena id (eg. heckbert, not heckbert at mit.edu)
>Password: Your MIT ID
>
>We strongly encourage you to take the Course 16 survey(s) to provide
>valuable feedback for our faculty.
>
>The evaluations will be available on line starting today, May 6, through
>May 21. If you have any difficulty with the program, please contact Mary
>Heckbert, x3-0043 (heckbert.mit.edu) OR Fred Donovan, x3-3389
>(fjd at mit.edu).
>
>Thank you, in advance, for your participation in this important process!
>
>Sincerely,
>Mary Heckbert
>Student Coordinator
>Office of Student Services
>Aeronautics & Astronautics Department
>33-208
>heckbert at mit.edu
>617-253-0043
>
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/enriched
Size: 1971 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/unified-mailman/attachments/20040510/f1d3620a/attachment.bin

From kristina at MIT.EDU  Tue May 11 11:16:12 2004
From: kristina at MIT.EDU (Kristina Lundqvist)
Date: Tue, 11 May 2004 11:16:12 -0400
Subject: [Unified-mailman] Re: CP18-20 questions
In-Reply-To: <000801c43601$5485d260$cf066012@D8L5VN11>
Message-ID: <5.2.1.1.2.20040511111425.03527d30@po14.mit.edu>

Hello Unified,

Start with the following assumptions:
Statement                               Proposition

Joe is the killer                       KJ
George is the killer                    KG
Hannah is the killer                    KH
Joe touched the candlestick             CJ
Joe touched the wrench          WJ
George touched the candlestick  CJ
George touched the wrench               WG
Hannah touched the wrench               WH
Hannah touched the candle stick CH

You should be able to express all the English statements using these 
propositions. you should be able to show through resolution who the real 
killer is.

For the fibonacci number, you need to show through induction that the 
formula is true for n+1 given n is true.


..IKL


At 16:08 2004-05-09 -0400, you wrote:

>Hello Prof. Lundqvist,
>
>
>
>I am writing to ask you two questions regarding CP18-20. First, in part 3, 
>how do I convert those English statements into formal propositions, since 
>there are 3 things involved? Second, on part 5, what is it that we have to 
>prove? From reading the question I only get the definition of the 
>Fibonacci numbers. But that is a definition, which can not be proved, 
>because it is a definition. I had no trouble solving the other problems, 
>though.
>
>


From kristina at MIT.EDU  Tue May 11 21:51:02 2004
From: kristina at MIT.EDU (Kristina Lundqvist)
Date: Tue, 11 May 2004 21:51:02 -0400
Subject: [Unified-mailman] CP Wednesday: What Software Do You Need to Get to
	Mars?
Message-ID: <5.2.1.1.2.20040511214728.033e1350@po14.mit.edu>

Unified,

Just a remainder about tomorrow's CP lecture:

Time: 5/12/04, 9am
Room: 35-225
Speaker: Heidi C. Perry, Division Leader - Software Engineering, Draper 
Laboratories


Lecture Topic:  What Software Do You Need to Get to Mars?  A Look at Large 
Scale Software Development

Today's aerospace applications are extremely software intensive.   The
designs of all modern flight platforms, e.g., aircraft, rotorcraft,
submersibles, missiles and spacecraft, have been revolutionized because of
the integration of advanced microelectronics and complex sensor systems.
All of these systems extensively use information generated by a myriad of
sensor subsystems that are highly integrated into a real-time embedded
software architecture.  This lecture will explore what it takes to develop
large scale software for a number of examples of highly reliable, flight
critical software applications.


This lecture is going to be very exciting, and I look forward to seeing all 
of you there.

/Kristina Lundqvist



---
I. Kristina Lundqvist, Ph.D.
Charles S. Draper Assistant Professor of Aeronautics and Astronautics


Massachusetts Institute of Technology
77 Massachusetts Avenue, 33-406
Cambridge, MA 02139


phone: +1 617-452-2550    fax: +1 617-253-7397
kristina at mit.edu

http://www.mit.edu/~kristina
http://esl.mit.edu/index.html




-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/unified-mailman/attachments/20040511/92e70f50/attachment.htm

From srhall at MIT.EDU  Tue May 11 23:39:21 2004
From: srhall at MIT.EDU (Steven R. Hall)
Date: Tue, 11 May 2004 23:39:21 -0400
Subject: [Unified-mailman] Lecture S20 Mud is on the web
Message-ID: <F4A68C5A-A3C5-11D8-9756-000A956F082C@mit.edu>

Folks,

Mud from Lectures S20 is now on the web at

http://web.mit.edu/16.unified/www/SPRING/signals/

Steve Hall



From kristina at MIT.EDU  Wed May 12 14:08:17 2004
From: kristina at MIT.EDU (Kristina Lundqvist)
Date: Wed, 12 May 2004 14:08:17 -0400
Subject: [Unified-mailman] 
 CP Wednesday: What Software Do You Need to Get to Mars? --
  SLIDES
Message-ID: <5.2.1.1.2.20040512140459.034b8ad0@po14.mit.edu>

Students,

attached are the slides that Heidi Perry showed in class today.

Enjoy!

..IKL

---
I. Kristina Lundqvist, Ph.D.
Charles S. Draper Assistant Professor of Aeronautics and Astronautics


Massachusetts Institute of Technology
77 Massachusetts Avenue, 33-406
Cambridge, MA 02139


phone: +1 617-452-2550    fax: +1 617-253-7397
kristina at mit.edu

http://www.mit.edu/~kristina
http://esl.mit.edu/index.html




-------------- next part --------------
A non-text attachment was scrubbed...
Name: 23. Heidi Perry. Draper.pdf
Type: application/pdf
Size: 723999 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/unified-mailman/attachments/20040512/e879b568/attachment.pdf

From kristina at MIT.EDU  Wed May 12 14:08:17 2004
From: kristina at MIT.EDU (Kristina Lundqvist)
Date: Wed, 12 May 2004 14:08:17 -0400
Subject: [Unified-mailman] 
 CP Wednesday: What Software Do You Need to Get to Mars? --
  SLIDES
Message-ID: <5.2.1.1.2.20040512140459.034b8ad0@po14.mit.edu>

Students,

attached are the slides that Heidi Perry showed in class today.

Enjoy!

..IKL

---
I. Kristina Lundqvist, Ph.D.
Charles S. Draper Assistant Professor of Aeronautics and Astronautics


Massachusetts Institute of Technology
77 Massachusetts Avenue, 33-406
Cambridge, MA 02139


phone: +1 617-452-2550    fax: +1 617-253-7397
kristina at mit.edu

http://www.mit.edu/~kristina
http://esl.mit.edu/index.html




-------------- next part --------------
A non-text attachment was scrubbed...
Name: 23. Heidi Perry. Draper.pdf
Type: application/pdf
Size: 723999 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/unified-mailman/attachments/20040512/e879b568/attachment-0001.pdf

From chipd at MIT.EDU  Wed May 12 15:33:30 2004
From: chipd at MIT.EDU (chipd)
Date: Wed, 12 May 2004 15:33:30 -0400
Subject: [Unified-mailman] Text Books and PRS clickers
Message-ID: <5.2.1.1.2.20040512152909.0147d490@po10.mit.edu>


Students,

If you borrowed a text book from the TA office, please don't forget to 
return it.  We are currently missing quite a few books.

-Carl

PS: Please make sure to bring your PRS clickers to the 1pm lecture tomorrow 
so we can collect them.  I know you all will miss them, but if you decide 
to keep your clicker, we will have to charge you $50.


From srhall at MIT.EDU  Thu May 13 08:56:26 2004
From: srhall at MIT.EDU (Steven R. Hall)
Date: Thu, 13 May 2004 08:56:26 -0400
Subject: [Unified-mailman] Penultimate Signals Mud
Message-ID: <F1947590-A4DC-11D8-9756-000A956F082C@mit.edu>

Folks,

Mud from Lecture S21 is now on the web at 
http://web.mit.edu/16.unified/www/SPRING/signals/. Enjoy.

Steven Hall


From howiek at MIT.EDU  Thu May 13 11:35:56 2004
From: howiek at MIT.EDU (Howard Kleinwaks)
Date: Thu, 13 May 2004 11:35:56 -0400
Subject: [Unified-mailman] office hours this weekend
Message-ID: <v04020a01bcc945a06d97@[18.34.1.112]>

Students,
Carl and I will be holding the following office hours this weekend/next week
1-5 on Sunday
12 - 2 on Monday
1 - 5 on Tuesday

Good luck on all your finals,
-Howie

From howiek at MIT.EDU  Thu May 13 11:50:12 2004
From: howiek at MIT.EDU (Howard Kleinwaks)
Date: Thu, 13 May 2004 11:50:12 -0400
Subject: [Unified-mailman] please read
Message-ID: <v04020a02bcc949775455@[18.34.1.112]>

Students,
Prof Pittinsky will have individualized reports for all of you in the SP
lecture today, so its important that you come.

Also, he will be available from 2-3 if you want to meet with him to discuss
anything.

-Howie

From chipd at MIT.EDU  Thu May 13 14:35:55 2004
From: chipd at MIT.EDU (chipd)
Date: Thu, 13 May 2004 14:35:55 -0400
Subject: [Unified-mailman] Conflicts
Message-ID: <5.2.1.1.2.20040513143402.014b0eb0@po10.mit.edu>


Students,

If you have a conflict with the Wednesday 9am final exam time for Unified, 
please contact Howie or me as soon as possible.

-Carl


From srhall at MIT.EDU  Thu May 13 18:57:51 2004
From: srhall at MIT.EDU (Steven R. Hall)
Date: Thu, 13 May 2004 18:57:51 -0400
Subject: [Unified-mailman] Today's System Problem Lecture
Message-ID: <F62367F4-A530-11D8-BA2E-000A956F082C@mit.edu>

Folks,

I'm sending this e-mail to share my thoughts on the events that took 
place in today's lecture, so that everyone understands why I and the 
other Unified staff consider the behavior seen today unacceptable.

First, the posters that were on the wall at the beginning of the 
lecture (which I removed before some of you came in) certainly appeared 
to be designed to indicate your displeasure with Prof. Pittinsky. I am 
well aware that many of you were unhappy about the on-line team 
surveys. The surveys have been a topic of concern for the Unified 
staff, and your input on this issue is important to us. Indeed, 
respectful input to Prof. Pittinsky on this point would have been 
appropriate. However, the nasty tone that was conveyed to Prof. 
Pittinsky in the posters has no place at MIT, where respect for 
individuals is a core value. Unfortunately, Prof. Pittinsky saw the 
posters before I had removed them, so the damage was done. I don't know 
whether he took offense at the posters, but a reasonable person 
certainly could take offense. Prof. Pittinsky is owed an apology on 
this point.

The projector hack is a somewhat different matter. Hacks at MIT have a 
long tradition, and all MIT men and women should take pleasure in a 
well-executed hack. Had the projector hack been stopped at the 
appropriate time, it would have fit well within the MIT tradition of 
hacking --- it was technically well executed, the slides were 
imaginative, and the slides poked gentle fun at the faculty, without 
being disrespectful. The problem, of course, was that the hack 
continued long after the gag was funny, after I had asked at least 
twice that we respect the speaker. The continuation of the hack showed 
great disrespect for Prof. Pittinsky, and to a lesser extent, Prof. 
Coleman, myself, and the class. On this point as well, Prof. Pittinsky 
is owed an apology.

I've said several times during the term that I think that this class is 
one the nicest Unified classes I've known, and I stand by that. I also 
said at the end of class that I was very disappointed in the class, 
which is not quite right.  I'm really disappointed in those members of 
the class who treated our guest with such disrespect, whether intended 
or not. The strong disappointment I expressed today reflects the shock 
that I felt that members of this class could treat a guest that way.

Today's lecture reflects badly on MIT, the Unified staff, and Unified 
students. I have already offered an apology to Prof. Pittinsky. I hope 
and expect that those who are responsible for today's unpleasant events 
will do the right thing, and offer their own apologies to Prof. 
Pittinsky as well.

Steven Hall


From howiek at MIT.EDU  Thu May 13 21:39:51 2004
From: howiek at MIT.EDU (Howard Kleinwaks)
Date: Thu, 13 May 2004 21:39:51 -0400
Subject: [Unified-mailman] computers tests ready
Message-ID: <5.2.1.1.2.20040513213856.00ba1560@po14.mit.edu>

Students,
The computers tests are available.  I'll be in the office from about 11-1 
or so tomorrow.  You can grab them then, or during our office hours later 
in the week.
-Howie


From srhall at MIT.EDU  Sat May 15 21:21:29 2004
From: srhall at MIT.EDU (Steven R. Hall)
Date: Sat, 15 May 2004 21:21:29 -0400
Subject: [Unified-mailman] Ultimate Signals Mud
Message-ID: <5C071A34-A6D7-11D8-BA2E-000A956F082C@mit.edu>

No, it's not the best mud ever, it's the last mud ever. Get it at 
http://web.mit.edu/16.unified/www/SPRING/signals/.

Steven Hall
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/enriched
Size: 164 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/unified-mailman/attachments/20040515/1cfc6a6a/attachment.bin

From kristina at MIT.EDU  Sun May 16 12:43:30 2004
From: kristina at MIT.EDU (Kristina Lundqvist)
Date: Sun, 16 May 2004 12:43:30 -0400
Subject: [Unified-mailman] CP: Proof theory handout with solutions
Message-ID: <5.2.1.1.2.20040516123639.033e2790@po14.mit.edu>

Students,

attached is a handout with some example proofs including solutions. The 
table on page 1 and 2 will be part of the cheat sheet, which I will send 
out in a final version later on today.

..IKL

---
I. Kristina Lundqvist, Ph.D.
Charles S. Draper Assistant Professor of Aeronautics and Astronautics


Massachusetts Institute of Technology
77 Massachusetts Avenue, 33-406
Cambridge, MA 02139


phone: +1 617-452-2550    fax: +1 617-253-7397
kristina at mit.edu

http://www.mit.edu/~kristina
http://esl.mit.edu/index.html




-------------- next part --------------
A non-text attachment was scrubbed...
Name: proof theory handout.doc
Type: application/msword
Size: 212480 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/unified-mailman/attachments/20040516/db93dd1b/attachment.doc

From kristina at MIT.EDU  Sun May 16 14:18:36 2004
From: kristina at MIT.EDU (Kristina Lundqvist)
Date: Sun, 16 May 2004 14:18:36 -0400
Subject: [Unified-mailman] Re: CP: Proof theory handout with solutions
In-Reply-To: <1084726200.40a79bb8a007f@webmail.mit.edu>
References: <5.2.1.1.2.20040516123639.033e2790@po14.mit.edu>
 <5.2.1.1.2.20040516123639.033e2790@po14.mit.edu>
Message-ID: <5.2.1.1.2.20040516135819.033b8e38@po14.mit.edu>


>
>Thank you for sending out the proof theory hand out. I have a couple of
>questions and was wondering if you will be in office hours at all tomorrow?
>Also, are we required to know material from lectures covered on the previous
>exam?

Students:

I will hold office hours on Monday between 4pm and 5:30pm.

As far as the material to cover, the split between material covered before 
the midterm and after the midterm is 40-60. If you have covered the 
material from the midterm problem sets (basic knowledge of graphs and 
trees, reading Ada code, algorithm analysis, tree traversals), you should 
be fine.

Do let me know if any of you/groups of you want to schedule a one-on-one 
session with me on Monday or Tuesday.

..IKL



---
I. Kristina Lundqvist, Ph.D.
Charles S. Draper Assistant Professor of Aeronautics and Astronautics


Massachusetts Institute of Technology
77 Massachusetts Avenue, 33-406
Cambridge, MA 02139


phone: +1 617-452-2550    fax: +1 617-253-7397
kristina at mit.edu

http://www.mit.edu/~kristina
http://esl.mit.edu/index.html