Welcome! Log In Create A New Profile


Q4(a) Oct 2010

Posted by slow_eddy 
Announcements Last Post
Announcement : Programming Students at UNISA School of Computing 06/19/2019 02:01PM
Announcement SoC Curricula 09/30/2017 01:08PM
Announcement Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
Announcement School of Computing Short Learning Programmes 11/24/2014 08:37AM
Announcement Unisa contact information 07/28/2011 01:28PM
avatar Q4(a) Oct 2010
May 28, 2011 10:28PM
(If any of you missed this one, it's under Announcements on myUnisa).

Does this look OK?

1. box1... ~p
2. .... box2 .... p (both those assumptions)
3. "bottom". ...................... ~e , 1, 2
4. p -> q ..........................."bottom" e, 3 .............. end of box 2.
5. p -> (p -> q) .................... -> i, 2-4 .................. end of box 1.
6. ~p -> (p -> (p -> q)) ........ -> i, 1-5
Re: Q4(a) Oct 2010
May 30, 2011 10:51AM
Ok mines a bit different
Line 1, and 2 are same bur my line 3

3...(Box) p assumption
4... Bottom ~e1,3
5...q. Bottom e 4 (close box 3)
6 p-->q.... --> I 3-5 (close box 2)
7..P-->(p-->q)...--> 2-7 (close box 1)
8...~p -->(p-->(p-->q)). --> I 1-7
avatar Re: Q4(a) Oct 2010
May 30, 2011 12:56PM
Yes, yee-hah! Indeed you're completely correct!

(Remember the Grade Grinder? It actually motivated me!)

We're both right. I hope. Please tell me if you think my variants are also correct, and the wrong line if not. Not much good going in there feeling good but being wrong eh?
Re: Q4(a) Oct 2010
May 30, 2011 01:43PM
Well, I'm not sure if yours is correct or not. But this is how I learnt the --> intro ...
I look at the question and as far as I know you need to write the p two times as it occurs twice before the --> in your method you state it once but use it twice.
I'm not sure if someone else could perhaps comment, but to be on the safe side, rather just state the p twice. Our exam tut letter says tht our paper will be of a different format as last years. I'm guessing we'll be subjected to much more theory than the previous years. Although I'm hoping not, I guess we might have to learn off some theorems and definitions..
avatar Re: Q4(a) Oct 2010
May 30, 2011 02:14PM
Different format?

I've got a TL which sets out "Q1 will be translations", "Q2 will be theory", "Q3 will be a parse tree" ... and so on. I'd better go and make sure I haven't got something mixed up.

(And we'll all hope that I really do have it all nicely laid out like that, while I do this.)
Re: Q4(a) Oct 2010
May 30, 2011 02:46PM
Its in the same tut letter in the note saying Dear cos3761 student... Last paragraph
avatar Re: Q4(a) Oct 2010
May 30, 2011 02:56PM
OK, I see there.

You're talking about TL104, though, right? So right under that it says what the questions will cover at least. Yes, I suppose there's guaranteed to be some variation in the forms of the questions. The ones that turned out to be too hard will be a bit easier, the ones that were too easy will be harder or replaced.

Anyway, off I go to beat my head against that brick wall hexium has offered for us to smash our brains on...
Sorry, only registered users may post in this forum.

Click here to login