Title Statements
- Full title :Computer-based problem solving process / Teodor Rus, the University of Iowa, USA.
Edition Statements
- Publication Date:©2015
Publication Statements
- Publisher(s):World Scientific Publishing Co Pte Ltd
- Place of Publication:Singapore
- Language:eng
- Publication Date:©2015
The Physical Object
- Description:1 online resource (367 pages)
Edition Identifiers
- ISBN:9789814663748, 9814663743
- oclc:ocn908071075
- LC Classification:TA345
- Dewey Decimal:006.3/33
Table of Contents
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 comp…
Subjects
Writers
No reviews yet. Be the first to rate this work.
Related Works
more →
Files & Downloads
-
Computer-Based Problem Solving Process -- (.pdf)
PDF · 2.8 MB · updated
Rate & Review