I thought it was a fair exam, most of the proof questions were straight from the last tutorial. What really irritated me though was that there wasn't a separate answer sheet. The one proof even went over to another page and I was constantly getting confused, probably lost 10 minutes just there.]]>

Clive]]>

~Vx Cube(x)

-----------------

...

...

Vx ~(Cube(x) & Small(x))

I don't even know where to start.]]>

If anyone's got an electronic copy of the solutions to assignment 2 and 3, can you please email them to me.

Thanks in advance]]>

LPL notes]]>

pdf Chapter 1 is relevant to us.]]>

I'm only stuck on question 2.4. I can get ~PVQ from P->Q but now I just need to get P->Q from ~PVQ. I just want a small hint, I want to be able to figure out as much of it on my own as possible.]]>

The first of my many issues, is exercise 6.20. Am I at least on the right track, any suggestion of how to move on?

]]>

I've come back to this question as I couldn't prove it before, but I still can't do it. Any ideas of how to approach it, its starting to drive me crazy. How do I get the Dodec(f) by itself?]]>

Please can someone give me some direction wrt assignment 2.

I completed question 1, tested it againt the different worlds, and fixed it up nicely. Feeling confident. Moved onto question 2.1, sorted it out. Got to question 2.2 and spend HOURS without making progress. Don't know if my strategy is right, but I need to know how to prove A->B and B->C as premises, can move to A->C. The book talks about this on page 200, but doesn't give it formally (that I can find). Looked at the link in a different posting, but not much help. Although I can see what I'm trying to do, I can't actually fet Fitch to accept my reasons for the steps.

PLEASE!!! Anything appreciated.

Thanks

Shaun]]>

~(Q & R) can be stated rather as ~ (Q V ~R) (De morgans)

Can we change the premise to this???

Thanks!]]>

to depend on unisa...]]>

Go to Download]]>

Are we allowed to redraw a grid representing the form and use that in an electronic submission?

Thanx

Reanie]]>

Is the sentence Ã‚Â¬Cube (b) a logical consequence of Ã‚Â¬(Tet (d) v b=d) and Cube (b) v Tet(d)?. Is it a tautological consequence? Justify your answers with reference to the truth table you construct.

My apologies.

Lecturer]]>

I don't understand how sentence 9 (b = e) could ever be true. Anyone?]]>

Do we have to send exercises to the grade grinder or only if we want to?]]>

Are we supposed to send all answers to the grade grinder or only if we wanto to?]]>

Does anyone know if tutorial letter COS261-101 is available to download yet? If anyone has it would they please mail it to me at ryuenzo [at] gmail [dot] com.

Thanks.

Regards,

Ren]]>

cell 084-701-9855

w:021-480-4845

email:ildsarria@mhg.co.za

(COS340)

Ã¢â‚¬Â¢ Publisher: Addison Wesley

Ã¢â‚¬Â¢ Publisher: Prentice Hall PTR;

email: ferdiel@absa.co.za]]>

COS214

Title: Object-Oriented Software Development Using Java. Second edition.

Author: Xiaoping Jia

Publisher: Addison Wesley

COS221

William Stallings. Computer Organization & Architecture, Seventh edition. Pearson Education,

New Jersey, 2006.

COS226

Dean, T.: Network + Guide to Networks. London: Course Technology (2005)

4th ed.

COS233

Gerald, Curtis F. & Wheatley, Patrick O.

Applied Numerical Analysis. Reading, Massachusetts: Addison-Wesley, seventh

edition, 2004.

COS261

Barwise, J. & J. Etchemendy.

1999, 2000, 2002, 2003. Language, proof and logic. Stanford:

Center for the Study of Language and Information.

MAT211

Bernard Kolman and David R. Hill: Introductory Linear Algebra

an Applied First Course, 8th Edition, 2005,

Pearson Prentice Hall, Upper Saddle River, New Jersey, 07458

MAT213

ROD HAGGARTY: Fundamentals of Mathematical Analysis,

Second Edition, AddisonÃ¢â‚¬â€œWesley, 1992.

Regards

Shaun

Email : shaunv@pdc.co.za]]>

I have a lot of textbooks for 1st, 2nd and 3rd year INF and COS modules that I no longer need. I'm hoping to get rid of all of them, so I'm willing to sell at 50% of whatever the current shop price is. (They're all in good condition too)

I believe I have books for INF120, INF206, INF320, INF307,INF303, COS101, COS161 COS221, COS261.

If you're interested, and live in Cape Town, email me which books you need so I can confirm that I have the right edition, since obviously the books do occasionally change.

cheers

Peter]]>