Welcome!
Log In
Create A New Profile
Home
>
2009
>
COS407C
> Topic
Advanced
diagonalization
Posted by
chaospixel
Announcements
Last Post
SoC Curricula
09/30/2017 01:08PM
Demarcation or scoping of examinations and assessment
02/13/2017 07:59AM
School of Computing Short Learning Programmes
11/24/2014 08:37AM
Unisa contact information
07/28/2011 01:28PM
Forums
Messages
New
chaospixel
diagonalization
September 03, 2008 05:51AM
Registered: 18 years ago
Posts: 78
Rating: 0
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?
Reply
Quote
Anonymous User
Re: diagonalization
September 03, 2008 08:04AM
Rating: 0
I did the subject twice and still don't know - sorry! I thin kthe best thign would be to contact Dr Britz directly
Reply
Quote
Newer Topic
Older Topic
Print View
RSS
Sorry, only registered users may post in this forum.
Click here to login