Create A New Profile
Demarcation or scoping of examinations and assessment
School of Computing Short Learning Programmes
Unisa contact information
September 03, 2008 05:51AM
Registered: 14 years ago
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?
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
is powered by