Structure and interpretation of computer programs / (Registro nro. 10798)
[ vista simple ]
000 -Cabecera | |
---|---|
Campo de control de longitud fija | 05366nam a2200361 a 4500 |
003 - Identificador del Número de control | |
Identificador del número de control | AR-sfUTN |
008 - Códigos de información de longitud fija-Información general | |
Códigos de información de longitud fija | 170717s1996 ||||| |||| 00| 0 eng d |
020 ## - ISBN | |
ISBN | 0262510871 |
040 ## - Fuente de la catalogación | |
Centro transcriptor | AR-sfUTN |
041 ## - Código de lengua | |
Código de lengua del texto | eng |
080 ## - CDU | |
Clasificación Decimal Universal | 004.415.2 AB35 |
Edición de la CDU | 2000 |
100 1# - Punto de acceso principal-Nombre de persona | |
Nombre personal | Abelson, Harold |
245 10 - Mención de título | |
Título | Structure and interpretation of computer programs / |
Mención de responsabilidad | Harold Abelson, Gerald Jay Sussman, Julie Sussman. |
250 ## - Mención de edición | |
Mención de edición | 2da. |
260 ## - Publicación, distribución, etc. (pie de imprenta) | |
Lugar de publicación, distribución, etc. | Massachusetts : |
Nombre del editor, distribuidor, etc. | MIT, |
Fecha de publicación, distribución, etc. | 1996 |
300 ## - Descripción física | |
Extensión | 657 p. |
336 ## - Tipo de contenido | |
Fuente | rdacontent |
Término de tipo de contenido | texto |
Código de tipo de contenido | txt |
337 ## - Tipo de medio | |
Fuente | rdamedia |
Nombre del tipo de medio | sin mediación |
Código del tipo de medio | n |
338 ## - Tipo de soporte | |
Fuente | rdacarrier |
Nombre del tipo de soporte | volumen |
Código del tipo de soporte | nc |
505 80 - Nota de contenido con formato | |
Nota de contenido con formato | CONTENIDO<br/>Chapter 1. Building Abstractions with Procedures 1<br/>The Elements of Programming 4<br/>Expressions 5<br/>Naming and the Environment 7<br/>Evaluating Combinations 9<br/>Compound Procedures 11<br/>The Substitution Model for Procedure Application 13<br/>Conditional Expressions and Predicates 17<br/>Example: Square Roots by Newton's Method 21<br/>Procedures as Black-Box Abstractions 26<br/>Procedures and the Processes They Generate 31<br/>Linear Recursion and Iteration 32<br/>Tree Recursion 37<br/>Orders of Growth 42<br/>Exponentiation 44<br/>Greatest Common Divisors 48<br/>Example: Testing for Primality 50<br/>Formulating Abstractions with Higher-Order Procedures 56<br/>Procedures as Arguments 57<br/>Constructing Procedures Using Lambda 62<br/>Procedures as General Methods 66<br/>Procedures as Returned Values 72<br/>Chapter 2. Building Abstractions with Data 79<br/>Introduction to Data Abstraction 83<br/>Example: Arithmetic Operations for Rational Numbers 83<br/>Abstraction Barriers 87<br/>What Is Meant by Data? 90<br/>Extended Exercise: Interval Arithmetic 93<br/>Hierarchical Data and the Closure Property 97<br/>Representing Sequences 99<br/>Hierarchical Structures 107<br/>Sequences as Conventional Interfaces 113<br/>Example: A Picture Language 126<br/>Symbolic Data 142<br/>Quotation 142<br/>Example: Symbolic Differentiation 145<br/>Example: Representing Sets 151<br/>Example: Huffman Encoding Trees 161<br/>Multiple Representations for Abstract Data 169<br/>Representations for Complex Numbers 171<br/>Tagged data 175<br/>Data-Directed Programming and Additivity 179<br/>Systems with Generic Operations 187<br/>Generic Arithmetic Operations 189<br/>Combining Data of Different Types 193<br/>Example: Symbolic Algebra 202<br/>Chapter 3. Modularity, Objects, and State 217<br/>Assignment and Local State 218<br/>Local State Variables 219<br/>The Benefits of Introducing Assignment 225<br/>The Costs of Introducing Assignment 229<br/>The Environment Model of Evaluation 236<br/>The Rules for Evaluation 238<br/>Applying Simple Procedures 241<br/>Frames as the Repository of Local State 244<br/>Internal Definitions 249<br/>Modeling with Mutable Data 251<br/>Mutable List Structure 252<br/>Representing Queues 261<br/>Representing Tables 266<br/>A Simulator for Digital Circuits 273<br/>Propagation of Constraints 285<br/>Concurrency: Time Is of the Essence 297<br/>The Nature of Time in Concurrent Systems 298<br/>Mechanisms for Controlling Concurrency 303<br/>Streams 316<br/>Streams Are Delayed Lists 317<br/>Infinite Streams 326<br/>Exploiting the Stream Paradigm 334<br/>Streams and Delayed Evaluation 346<br/>Modularity of Functional Programs and Modularity of Objects 352<br/>Chapter 4. Metalinguistic Abstraction 359<br/>The Metacircular Evaluator 362<br/>The Core of the Evaluator 364<br/>Representing Expressions 368<br/>Evaluator Data Structures 376<br/>Running the Evaluator as a Program 381<br/>Data as Programs 384<br/>Internal Definitions 388<br/>Separating Syntactic Analysis from Execution 393<br/>Variations on a Scheme--Lazy Evaluation 398<br/>Normal Order and Applicative Order 399<br/>An Interpreter with Lazy Evaluation 401<br/>Streams as Lazy Lists 409<br/>Variations on a Scheme--Nondeterministic Computing 412<br/>Amb and Search 414<br/>Examples of Nondeterministic Programs 418<br/>Implementing the Amb Evaluator 426<br/>Logic Programming 438<br/>Deductive Information Retrieval 441<br/>How the Query System Works 453<br/>Is Logic Programming Mathematical Logic? 462<br/>Implementing the Query System 468<br/>Chapter 5. Computing with Register Machines 491<br/>Designing Register Machines 492<br/>A Language for Describing Register Machines 494<br/>Abstraction in Machine Design 499<br/>Subroutines 502<br/>Using a Stack to Implement Recursion 506<br/>Instruction Summary 512<br/>A Register-Machine Simulator 513<br/>The Machine Model 515<br/>The Assembler 520<br/>Generating Execution Procedures for Instructions 523<br/>Monitoring Machine Performance 530<br/>Storage Allocation and Garbage Collection 533<br/>Memory as Vectors 534<br/>Maintaining the Illusion of Infinite Memory 540<br/>The Explicit-Control Evaluator 547<br/>The Core of the Explicit-Control Evaluator 549<br/>Sequence Evaluation and Tail Recursion 555<br/>Conditionals, Assignments, and Definitions 558<br/>Running the Evaluator 560<br/>Compilation 566<br/>Structure of the Compiler 569<br/>Compiling Expressions 574<br/>Compiling Combinations 581<br/>Combining Instruction Sequences 587<br/>An Example of Compiled Code 591<br/>Lexical Addressing 600<br/>Interfacing Compiled Code to the Evaluator 603<br/>References 611<br/>List of Exercises 619<br/>Index 621 |
650 ## - Punto de acceso adicional de materia - Término de materia | |
Término de materia | DISEÑO DE SOFTWARE |
650 ## - Punto de acceso adicional de materia - Término de materia | |
Término de materia | ABSTRACCION |
650 ## - Punto de acceso adicional de materia - Término de materia | |
Término de materia | MODULACION |
650 ## - Punto de acceso adicional de materia - Término de materia | |
Término de materia | MICROPROGRAMACION |
650 ## - Punto de acceso adicional de materia - Término de materia | |
Término de materia | BUILDING ABSTRACTIONS |
650 ## - Punto de acceso adicional de materia - Término de materia | |
Término de materia | MODULARITY |
650 ## - Punto de acceso adicional de materia - Término de materia | |
Término de materia | METALINGUISTIC ABSTRACTION |
700 1# - Punto de acceso adicional - Nombre de persona | |
Nombre personal | Sussman, Gerald Jay |
700 1# - Punto de acceso adicional - Nombre de persona | |
Nombre personal | Sussman, Julie |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Tipo de ítem Koha | Libro |
Esquema de clasificación | Clasificación Decinal Universal |
Estado | Estado perdido | Estado de conservación | Tipo de préstamo | Biblioteca | Biblioteca | Fecha de adquisición | Número de inventario | Total Checkouts | Total Renewals | ST completa de Koha | Código de barras | Checked out | Date last seen | Date last checked out | Precio efectivo a partir de | Tipo de ítem Koha |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sólo Consulta | Facultad Regional Santa Fe - Biblioteca "Rector Comodoro Ing. Jorge Omar Conca" | Facultad Regional Santa Fe - Biblioteca "Rector Comodoro Ing. Jorge Omar Conca" | 02/02/2018 | 6538 | 4 | 1 | 004.415.2 AB35 | 6538 | 20/12/2024 | 13/06/2024 | 13/06/2024 | 02/02/2018 | Libro |