Cargando…
Computer-based problem solving process /
"The author looks at the issues of how computing are used and taught, with a focus on embedding computers within problem solving process by making computer language part of natural language of the domain instead of embedding problem domain in the computer by programming. The book builds on prev...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New Jersey :
World Scientific,
[2015]
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Preface; Part 1 Systems Methodology; 1. Introduction to System Software; 1.1 Abstraction Manipulation; 1.2 Systems Methodology; 1.2.1 Problem solving; 1.2.2 Problem context; 1.3 System, Informally; 1.4 The Environment of a System; 1.5 Universe of Discourse; 2. Formal Systems; 2.1 Fundamentals of Set Theory; 2.1.1 Operations with sets; 2.1.2 Ordered pairs; 2.1.3 Relations on a set; 2.2 Formal Systems; 2.2.1 Abstract systems; 2.2.2 Homomorphisms and isomorphisms; 2.2.3 Deductive systems (Calculi); 2.2.3.1 Turing Machine; 2.2.3.2 Post Systems; 2.2.3.3 Normal Algorithms.
- 2.2.3.4 Grammars2.2.4 Constructing formal systems; 2.3 Characterizing a Formal System; 2.3.1 Algebraic systems; 2.3.2 Algebraic specification; 3. Ad Hoc Systems; 3.1 Systematic Approach for Ad Hoc System Construction; 3.2 Ad Hoc System Formalization; 3.3 Software System Specification; 3.4 Software System Implementation; 3.5 Software System Validation; 3.6 Ad Hoc System Characterization; 3.7 List Management System; 4. Common Systems in Software Development; 4.1 Transition Systems; 4.1.1 Transition characterization; 4.1.2 Computation; 4.2 Language of Actions; 4.2.1 Process.
- 4.3 Computing Systems4.3.1 Constructing a computing system; 4.4 Overview on Systems Methodology; 4.4.1 Terminology; 4.4.2 Users of a computer platform; Part 2 Computer Architecture and Functionality; 5. Hardware System; 5.1 Major Behavior of a Hardware System; 5.2 Memory; 5.2.1 The byte; 5.2.2 The half-word; 5.2.3 The word; 5.2.4 The long-word; 5.3 Processor Components; 5.3.1 Special data processors; 5.4 Communication Channels; 5.4.1 Direct link; 5.4.2 Channel link; 5.4.3 Bus interface; 5.5 Control Processor (CPU); 5.5.1 Machine instructions; 5.5.2 Address expressions.
- 5.5.3 Instruction set architecture5.6 Computer Architecture Classification; 5.6.1 Fixed-format instruction word computers; 5.6.2 Multiple-format instruction word computers; 5.6.3 Variable size instruction word computers; 5.6.4 Reduced-instruction-set computer; 6. Functional Behavior of Hardware Components; 6.1 Functional Behavior of Memory; 6.1.1 Memory control unit; 6.1.2 Memory simulation; 6.1.3 Memory hierarchy; 6.1.4 Sharing memory; 6.1.5 Fair server for memory simulation; 6.1.5.1 Processor Control Unit, PCU; 6.1.5.2 The Memory Control Unit, MCU.
- 6.2 Functional Behavior of Processor Components6.3 Functional Behavior of Control Processors; 6.4 I/O Devices; 6.4.1 Implicit TestDevice; 6.4.2 Explicit TestDevice; 6.4.3 Automatic TestDevice; 6.5 Multi-Programming; 6.5.1 Efficiency of a hardware system; 7. Algorithmic Expression of a Hardware System; 8. Using Computers to Solve Problems; 8.1 Using Computers to Solve Problems; 8.2 Mathematical Methodology; 8.3 Computer-Based Problem Solving Methodology; 8.4 Services Offered by Translators; 8.4.1 Macro-operations in C; 8.4.2 Controlling the preprocessing; 8.4.3 Subprograms.