Final key ready

The key for the final is now finished. You can get it here:

LX502 Fall 2006 Final Key

You need a username and password. The password is the same as it was for the homework and keys, but the username is the word that PG and DG had the discussion about in one of the problems on the final. Email me if you’ve already blocked it out of your memory.

If you’re interested in it, you can also get the final without the answers here (same username and password):

LX502 Fall 2006 Final

That’s it

With only moments to spare, I have managed to make it through all the computations and whatnot and have now posted your grades—they should be viewable on the Link at this point.

I have not fully updated the Courseinfo site yet with the details, but I plan to do that soon. If you want any of your papers back, I’ll be happy to return them after the break. I will be in the office at least starting the week of 1/8.

I also expect to post a couple more entries here with links to the key to the final, and possibly to the extra credit, so it might be worth checking back a bit later on.

Thanks, everyone, for a good semester. Have a good break! See some of you next semester, and for those I won’t, keep in touch!

Returning homeworks

Hmm. It seems that, in my office, I still have a folder of homeworks that I could return. I thought I had everything with me at the final today, but it appears that I mostly just had the ones that I graded myself, not the ones the grader saw. So if you’re mystified by why I didn’t hand back your homework #9, when I clearly appeared to be handing things back, this is why.

So, if you want them back, I guess just stopping by my office in the next couple of days is the way that happens. Or I give it to you next semester.

Practice final: problem 7

I’ve gotten a couple of questions on question #7 of the practice final. What it asks you to do is translate the following into English:

λp [ ∃x [ p = λw [ person(x) ∧ poisoned-the-vodka(x, w) ]]]

There is a sense in which this question isn’t really “fair” in that we’ve never really talked about these things in these terms.

But, here’s where that was going: p here is supposed to a proposition. A proposition is something that is true in some worlds, false in others. Although we haven’t been doing this, we can make the world dependence explicit by saying that a proposition is a function from possible worlds to truth values. So, e.g., John weeps is a function that, given a world w is either true (if John weeps in w) or false (otherwise).

That is: λw [ John weeps in w ]

So, now, suppose that you have the proposition λw [ person(w) ∧ poisoned-the-vodka(x, w) ] for some x. That will be one of the possible answers to the question Who poisoned the vodka?.

The idea in the formula in question 7 is that a proposition is in the set of propositions the formula is describing if there is an x such that the proposition is x poisoned the vodka.

I’ll try to stick to things we actually covered, on tomorrow’s test…

Courseinfo: All in

I think at this point I have graded everything I had left and gotten the scores I have into the Courseinfo site. So, if you check it and still see something missing that you expected to have a score for (remember, hw1-9 are the homeworks, xc-bucld and xc-vpe are the extra credits), please let me know.

Update on office week/afternoons

I did say that I’d be around all week in the afternoons, but I do have a few scheduled meetings—and in fact, they’re mostly today. For today, I kind of have meeting after meeting from 12 until 5, although there’s a chance if some end early there would be a couple of minutes before 2, 3, and 4:30. Feel free to come by whenever to pick up your homework, but I don’t think I’ll have time to talk through questions on the material unfortunately.

Monday, I know I won’t be around between 1-3, but I think that’s my only occupied time at the moment. I’ll post an update about that on Sunday night or Monday morning.

If it’s relevant, I’ll be around all afternoon on Tuesday too, and right now I don’t have anything scheduled in there.

I guess the best thing to do is, if you think you want to stop by to talk about the material, to email me and set up a specific time so I can block it off (rather than just coming by). Though, again, if you’re just picking up homework, you can do that whenever, even if I am in a meeting.

Reading Courseinfo

Just a quick note if you’re checking your scores on the Courseinfo site:

Homework #9 has been graded and the scores posted, if you stop by my office when I am around, you can pick it up, and I’ll bring it to the final otherwise.

The BUCLD extra credit problems are the content of the “xc-bucld” column.

If you turn in the VP ellipsis extra credit problem, that will go into the “xc-vpe” column.

As a reminder, to figure out what your actual homework score will be computed on, remove the lowest one altogether, then—if you have (or intend to have) an extra credit score—substitute it in for the lowest remaining score. If the extra credit score is actually somehow lower than your lowest remaining score, then just add the extra credit score to the lowest remaining score (maximum 5). Then, add up the eight numbers you have, divide by 8, and that’s the number I would use. See? Simple.

(See the previous post about the midterm for an estimate of what the homework numbers correspond to in terms of letter grades.)