Joseph,
First, let me agree with Larry. Properly viewed SQL is certainly
predicate logic. Second, at least where I went to school it was
impossible to get ANY computer Science or Electrical engineering degree
without having taken at least one course which introduced Predicate
Logic. Even the Straight CS flack from the school of Literature Science
and the Arts (L.S. & Play) who didn't have to take the Engineering core
curriculum still had to take at least one course through the Comp eng
dept. they've changed the course since I was there, but here is the
current equivalent:
EECS 203. Discrete Mathematics
Prerequisite: Math 115. I, II (4 credits)
Introduction to the mathematical foundations of computer science. Topics
covered include: propositional and predicate logic, set theory, function
and relations, growth of functions and asymptotic notation, introduction
to algorithms, elementary combinatorics and graph theory, and discrete
probability theory.
Controlling complexity is the essence of computer programming. --- Brian
Kernigan
On Thu, 2006-02-09 at 11:27 -0800, larry price wrote:
> On 2/9/06, T. Joseph CARTER <[EMAIL PROTECTED]> wrote:
> > On Thu, Feb 09, 2006 at 10:58:55AM -0800, Mike Cherba wrote:
> > > "A logician trying to explain logic to a programmer is like a cat trying
> > > to explain to a fish what it's like to get wet." -- Unknown
> >
> > This is only true for syllogistic logic. The world doesn't work that way.
> > Predicate logic is beyond most programmers simply because they've never
> > studied it and do not use it when writing code.
>
> Does SQL not count as an instance of predicate logic?
>
>
> --
> http://Zoneverte.org -- information explained
> Do you know what your IT infrastructure does?
> _______________________________________________
> EUGLUG mailing list
> [email protected]
> http://www.euglug.org/mailman/listinfo/euglug
_______________________________________________
EUGLUG mailing list
[email protected]
http://www.euglug.org/mailman/listinfo/euglug
