Welcome! Log In Create A New Profile

diagonalization

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