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...

Full description

Saved in:
Bibliographic Details
Main Author: Rus, Teodor, (Author)
Format: eBook
Language: English
Published: New Jersey : World Scientific, [2015]
Subjects:
Computer-aided engineering.
Problem solving > Data processing.
Mathematics > Data processing.
elektronické knihy
electronic books
ISBN: 9789814663748
9814663743
9781680158458
1680158457
9789814663731
9814663735
Physical Description: 1 online resource

Cover

Table of contents

LEADER 05463cam a2200469 i 4500
001 kn-ocn907289802
003 OCoLC
005 20240717213016.0
006 m o d
007 cr cn|||||||||
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  |d OCLCO  |d OCLCL 
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 
035 |a (OCoLC)907289802 
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. 
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. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
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 Knovel (All titles) 
650 0 |a Computer-aided engineering. 
650 0 |a Problem solving  |x Data processing. 
650 0 |a Mathematics  |x Data processing. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
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://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpCBPSP002/computer-based-problem?kpromoter=marc  |y Full text 

Similar Items