Path: utzoo!attcan!uunet!cs.utexas.edu!helios!gordon
From: gordon@cs.tamu.edu (Dan Gordon)
Newsgroups: comp.theory
Subject: Re: "Models of Computation" course syllabus
Message-ID: <10060@helios.TAMU.EDU>
Date: 14 Nov 90 00:16:28 GMT
References: <18679.9011131440@olympus.cs.hull.ac.uk>
Sender: news@helios.TAMU.EDU
Organization: Computer Science Department, Texas A&M University
Lines: 19

In article <18679.9011131440@olympus.cs.hull.ac.uk> rst@cs.hull.ac.uk (Rob Turner) writes:
<
<We are trying to quickly put together a syllabus for a course entitled
<
<    "Models of Computation"
<
<It will include discussions of the various programming language
<paradigms, such as imperative, functional, logic, and object-oriented.
<It will also deal with semantics.
<
<Does anyone have any opinions about what should go into this course,
<and are there any books which cover all the areas I mentioned above.
<In particular, books should have adequate discussions of operational
<semantics, which seems to be largely ignored in many of the books I
<have seen in favour of denotational and axiomatic semantics (why?).

Hasn't the term "models of computation" been used traditionally to 
refer to different computational models, such as automata, push-down 
automata, Turing machines, Markov algorithms, RAM's, etc.?