Welcome! Log In Create A New Profile



Posted by chaospixel 
Announcements Last Post
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
September 03, 2008 05:51AM
The only diagonalization that I am familiar with is matrix diagonalization and I don't see how that can be use to enumerate all ground terms as in secion 7.1 on p141 where the countable set of function symbols are placed into a single list.

Would anyone like to enlighten me?
Anonymous User
Re: diagonalization
September 03, 2008 08:04AM
I did the subject twice and still don't know - sorry! I thin kthe best thign would be to contact Dr Britz directly
Sorry, only registered users may post in this forum.

Click here to login