Structure and interpretation of computer programs / (Registro nro. 10798)

Detalles MARC
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
Existencias
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