Download advanced tutorial about computing explorations in Language, Logic, and Machines, free download ebook in creative commons license.
This book introduces the most important ideas in computing using the Scheme and Python programming languages. It focuses on how to describe information processes by defining procedures, how to analyze the costs required to carry out a procedure, and the fundamental limits of what can and cannot be computed mechanically.
Table of contents
- Processes, Procedures, and Computers
- Defining Procedures
- Language
- Surface Forms and Meanings
- Programming
- Problems with Natural Languages
- Programming Languages
- Problems and Procedures
- Solving Problems
- Composing Procedures
- Analyzing Procedures
- History of Computing Machines
- Mechanizing Logic
- Implementing Logic
- Composing Operations
- The Limits of Computing
- Computability
- Mechanizing Reasoning
| Size : | 4241.179 Kb |
| Downloads: | 109 |
| Created: | 2019-08-26 |