Skip to main content

Main menu

  • Diaries
    • 50 years ago
    • 40 years ago
    • 30 years ago
    • Turing centenary
    • Category Mistakes
    • Self-driving cars
  • Dijkstra's library
  • EWD1000
  • Pictures
  • Videos
  • About

Dijkstra's Rallying Cry for Generalization

You are here

  1. `History of Comp. Science' course :: Lecture A

A

PDF icon A.optional.3.pdf
 
« Back to galleryItem 4 of 5« Previous | Next »
 

Recent posts

An Exercise in Unplugging the Church-Turing Thesis [Part 2]
An Exercise in Unplugging the Church-Turing Thesis [Part 1]
Freely Available: 2015 paper on Turing's legacy
Book Announcement :: Arthur C. Fleck :: 2018
Not enough citations in the Comm. of the ACM
Cars and Automatic Programming
FUTURE CRIMES
Writing Assignment at Siegen University
Reading Assignments at Siegen University
J. Somers: The Coming Software Apocalypse
Strachey and ApSimon, 1965
Hopcroft and Ullman
`Plato and the Nerd,' Part 2b: Computer Science & Descriptions vs. Software Engineering & Prescriptions
`Plato and the Nerd,' Part 2a: Penrose et al.
`Plato and the Nerd,' Part 1
  •  
  • 1 of 10
  • next ›

Recent comments

McCarthy and Shapiro (1987)
waking up
Common Sense on Self-Driving Cars
Dijkstra and 100% correctness (1993)
corner cases remain problematic, also with deep learning
liminal artifacts
Good point
what do you think I'm going to say? :-)
Boyer & Moore
Fetzer and finiteness
  •  
  • 1 of 8
  • next ›

Turing Tales

Turing Tales front cover

Algorithmic Barriers Falling: P=NP?

Algorithmic Barriers Falling: P=NP? front cover

The Dawn of Software Engineering

The Dawn of Software Engineering front cover

The Essential Knuth

The Essential Knuth front cover

  • Home
  • About