Readings: Sotirios Kotsopoulos
Lecture: Tuesday 2:30 – 5:30 pm
INTRODUCTION
Hamming R. W., “Mathematics on a Distant Planet”, Proceedings of the American Mathematical Society, pp, 640-650, August- September 1998
TURING MACHINES
Lewis H. R., Papadimitriou C. H. ‘Turing Machines’, from the Elements of the theory of computation, Prentice-Hall, 1998, pp. 179-200
Boolos G., Jeffrey R., ‘Turing machines’, from Computability and Logic, Cambridge University Press, pp. 19-33, (1974), 1989
Turing A. M., “Computing machinery and intelligence”, from Computers and Thought, ed. by E. Feigenbaum, 1963, pp. 11-35,
PRODUCTION SYSTEMS
Minsky M., ‘The symbol-manipulation systems of Post’, Computation: Finite and infinite machines, 1967, pp. 219-254, Prentice-Hall
Gips J., Stiny G., ‘Production systems and grammars: a uniform characterization’, Environment and Planning B, 1980, vol. 7, pp. 399-408
PHRASE STRUCTURE GRAMMARS
Chomsky N., ‘Formal Properties of Grammars’, from the Handbook of Mathematical Psychology, 1963, voll. II, ch., 12, pp. 323- 418
Lewis H. R., Papadimitriou C. H. ‘Context-Free Languages’, from the Elements of the theory of computation, Prentice-Hall, 1998, pp. 113-142
DESIGN THEORY
Stiny G., ‘The algebras of design’, Research in Engineering Design 2(3), 1991, pp. 171-181
March, L., ‘A boolean description of a class of built forms’, The Architecture of the Form, Cambridge University Press, 1976, pp. 41-73
Stiny G., and March L., ‘Design Machines’ Environment and Planning B 8 1981, pp. 91-104
Gero J. S., ‘Design Prototypes: A knowledge representation scheme in design’, AI Magazine, 1990, 11(4), pp. 26-36