History and Philosophy of Computing The mathematical foundation of CS
Exercise 1 Summarise the main intent of Floyd and Hoare in their formal works.
Exercise 2 Summarise the main positions of Dijkstra and Knuth in their interpretation of programs as mathematical objects and their understandings of the relation between CS and Mathematics.
Exercise 3 Summarise the main objections to the understanding of Com- puting as a mathematical discipline in the works of De Millo et al., Cantwell Smith and Fetzer.