Theoretical Introduction to Programming

• Κύριος συγγραφέας: Mills, Bruce (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2006.
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Theory of Computation.

Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in a menu of 1001 others? Are you frustrated by the plethora of languages that ultimately do the same thing? Would you like your skills to give you lasting and intrinsic worth as an...

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

• The Abstract Rational Outlook
• A Grab Bag of Computational Models
• Some Formal Technology
• Limitations on Exact Knowledge
• Some Orthodox Languages
• Arithmetic Computation
• Repetitive Computation
• Temporal Interaction
• Container Datatypes.