Computer Science: An OverviewGeneral literature -- Introductory and Survey. |
From inside the book
Results 1-3 of 80
Page 132
... collection of prim- itives so that any algorithm can be expressed as a combination of them and then expressing all algorithms in these terms . Such a collection of primitives along with the rules by which they can be combined to ...
... collection of prim- itives so that any algorithm can be expressed as a combination of them and then expressing all algorithms in these terms . Such a collection of primitives along with the rules by which they can be combined to ...
Page 232
... collection of statements that are inconsistent - that is , a collection of statements that contradict one another . The fact that the statements contradict one another implies that although some of the statements imply some result P ...
... collection of statements that are inconsistent - that is , a collection of statements that contradict one another . The fact that the statements contradict one another implies that although some of the statements imply some result P ...
Page 233
... collection . This in turn will tend to focus the resolution process on those statements involving P and thus produce a process geared toward the task at hand rather than the production of arbitrary consequences of the original collection ...
... collection . This in turn will tend to focus the resolution process on those statements involving P and thus produce a process geared toward the task at hand rather than the production of arbitrary consequences of the original collection ...
Other editions - View all
Common terms and phrases
abstract data type activities actually algorithm Alice application application software array assign binary bit patterns block bulk storage called Carol Chapter COBOL concept contains current entry Current Pointer data control block data flow diagram database declare search deleted diagram disk employee example execution Figure FILLED-BY FORTRAN hashed head pointer hexadecimal identify implemented input insertion sort instruction integer linked list loop machine language machine's memory main memory memory cells modified module move notation operating system password perform pivot entry problem produce program counter programming languages pseudocode Questions/Exercises queue record relation represented request result retrieve routines schedule search a failure search a success search tree sequence sequential file solution solving stack statement step storage system stored string subprogram syntax tape target value task technique terminal time-sharing translator Turing machine