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 |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | KNOVEL_ocn907289802 | ||
| 003 | OCoLC | ||
| 005 | 20231027140348.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 150414s2015 nju ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IDEBK |d N$T |d CDX |d YDXCP |d EBLCP |d KNOVL |d DEBSZ |d OCLCQ |d VGM |d OCLCQ |d AU@ |d UKAHL |d OCLCQ |d OCLCO |d Y@Y |d OCLCQ | ||
| 020 | |a 9789814663748 |q (electronic bk.) | ||
| 020 | |a 9814663743 |q (electronic bk.) | ||
| 020 | |a 9781680158458 |q (electronic bk.) | ||
| 020 | |a 1680158457 |q (electronic bk.) | ||
| 020 | |z 9789814663731 | ||
| 020 | |z 9814663735 | ||
| 029 | 1 | |a AU@ |b 000056945446 | |
| 029 | 1 | |a DEBSZ |b 456609644 | |
| 029 | 1 | |a GBVCP |b 826424139 | |
| 029 | 1 | |a GBVCP |b 877499470 | |
| 029 | 1 | |a AU@ |b 000073143003 | |
| 035 | |a (OCoLC)907289802 | ||
| 050 | 4 | |a TA345 |b .R87 2015eb | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.3/33 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Rus, Teodor, |e author. | |
| 245 | 1 | 0 | |a Computer-based problem solving process / |c Teodor Rus, the University of Iowa, USA. |
| 264 | 1 | |a New Jersey : |b World Scientific, |c [2015] | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 520 | |a "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 previous editions of system software and software systems, concepts and methodology and develops a framework for software creation that supports domain-oriented problem solving process adapting Polya's four steps methodology for mathematical problem solving: Formalize the problem; Develop an algorithm to solve the problem; Perform the algorithm on the data characterizing the problem; Validate the solution."-- |c Provided by publisher | ||
| 590 | |a Knovel |b ACADEMIC - Software Engineering | ||
| 650 | 0 | |a Computer-aided engineering. | |
| 650 | 0 | |a Problem solving |x Data processing. | |
| 650 | 0 | |a Mathematics |x Data processing. | |
| 650 | 6 | |a Ingénierie assistée par ordinateur. | |
| 650 | 6 | |a Mathématiques |x Informatique. | |
| 650 | 7 | |a computer-aided engineering. |2 aat | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Computer-aided engineering. |2 fast |0 (OCoLC)fst00872718 | |
| 650 | 7 | |a Mathematics |x Data processing. |2 fast |0 (OCoLC)fst01012179 | |
| 650 | 7 | |a Problem solving |x Data processing. |2 fast |0 (OCoLC)fst01077897 | |
| 776 | 0 | 8 | |i Print version: |a Rus, Teodor. |t Computer-based problem solving process |z 9789814663731 |w (DLC) 2014047544 |w (OCoLC)898029334 |
| 856 | 4 | 0 | |u https://appknovel.uam.elogim.com/kn/resources/kpCBPSP002/toc |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH28554848 | ||
| 938 | |a Coutts Information Services |b COUT |n 31396695 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL3051562 | ||
| 938 | |a EBSCOhost |b EBSC |n 978113 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis31396695 | ||
| 938 | |a YBP Library Services |b YANK |n 12364206 | ||
| 994 | |a 92 |b IZTAP | ||