A Science of Operations Machines, Logic and the Invention of Programming /

• Κύριος συγγραφέας: Priestley, Mark (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2011.
• Σειρά: History of Computing,
• Θέματα: Computer science.; Computers.; Computer Science.; History of Computing.

Today, computers fulfil a dazzling array of roles, a flexibility resulting from the great range of programs that can be run on them. A Science of Operations examines the history of what we now call programming, defined not simply as computer programming, but more broadly as the definition of the ste...

Πίνακας περιεχομένων:

• Introduction
• Babbage’s Engines
• Semi-automatic Computing
• Logic, Computability and Formal Systems
• Automating Control
• Logic and the Invention of the Computer
• Machine Code Programming and Logic
• The Invention of Programming Languages
• The Algol Research Programme
• The Logic of Correctness in Software Engineering
• The Unification of Data and Algorithms
• Conclusions.