From: Aaron Chang (anc327@yahoo.com)
Date: Wed Apr 28 2004 - 01:48:56 PDT
review 4
cse544
1. inspired by the works of wigner and hamming and
their theories about the utility of math to the
sciences,
these authors seek to show that logic is central to
computer science
2. critical problems in CS: time and space required
for computation
3. complexity problems are rooted in proving existence
and optimizaton of solutions
4. the authors, in one example, run through a number
of NP completeness theorems based on the expressivity
of the solution space in first and secord order
logical terms
5.in the second example, they describe how a db query
language is centered on logical expressions, esp
the usage of FO logic manifest as SQL/relational
schemes
- primarily useful in that FO queries are SCALABLE,
and general ease of use
__________________________________
Do you Yahoo!?
Win a $20,000 Career Makeover at Yahoo! HotJobs
http://hotjobs.sweepstakes.yahoo.com/careermakeover
This archive was generated by hypermail 2.1.6 : Wed Apr 28 2004 - 01:49:02 PDT