Author: Brian Harvey
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 388
Book Description
Computer Science Logo Style
Author: Brian Harvey
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 388
Book Description
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 388
Book Description
Computer Algebra and Symbolic Computation
Author: Joel S. Cohen
Publisher: CRC Press
ISBN: 1439863695
Category : Computers
Languages : en
Pages : 342
Book Description
This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. The viewpoint is that mathematical expressions, represented by expression trees, are the data objects of computer algebra programs, and by using a few primitive operations that analyze and
Publisher: CRC Press
ISBN: 1439863695
Category : Computers
Languages : en
Pages : 342
Book Description
This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. The viewpoint is that mathematical expressions, represented by expression trees, are the data objects of computer algebra programs, and by using a few primitive operations that analyze and
The Architecture of Symbolic Computers
Author: Peter M. Kogge
Publisher: McGraw-Hill Companies
ISBN:
Category : Computers
Languages : en
Pages : 774
Book Description
Focuses on the design and implementation of two classes of non-von Neumann computer architecture: those designed for functional and logical language computing.
Publisher: McGraw-Hill Companies
ISBN:
Category : Computers
Languages : en
Pages : 774
Book Description
Focuses on the design and implementation of two classes of non-von Neumann computer architecture: those designed for functional and logical language computing.
Simply Scheme
Author: Brian Harvey
Publisher: MIT Press
ISBN: 9780262082815
Category : Computers
Languages : en
Pages : 620
Book Description
Showing off scheme - Functions - Expressions - Defining your own procedures - Words and sentences - True and false - Variables - Higher-order functions - Lambda - Introduction to recursion - The leap of faith - How recursion works - Common patterns in recursive procedures - Advanced recursion - Example : the functions program - Files - Vectors - Example : a spreadsheet program - Implementing the spreadsheet program - What's next?
Publisher: MIT Press
ISBN: 9780262082815
Category : Computers
Languages : en
Pages : 620
Book Description
Showing off scheme - Functions - Expressions - Defining your own procedures - Words and sentences - True and false - Variables - Higher-order functions - Lambda - Introduction to recursion - The leap of faith - How recursion works - Common patterns in recursive procedures - Advanced recursion - Example : the functions program - Files - Vectors - Example : a spreadsheet program - Implementing the spreadsheet program - What's next?
Computer Science Logo Style: Symbolic computing
Author: Brian Harvey
Publisher: MIT Press
ISBN: 9780262581486
Category : Biography & Autobiography
Languages : en
Pages : 348
Book Description
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, especially in artificial intelligence. Throughout the series, functional programming techniques (including higher order functions and recursion) are emphasized, but traditional sequential programming is also used when appropriate.In the second edition, the first two volumes have been rearranged so that illustrative case studies appear with the techniques they demonstrate. Volume 1 includes a new chapter about higher order functions, and the recursion chapters have been reorganized for greater clarity. Volume 2 includes a new tutorial chapter about macros, an exclusive capability of Berkeley Logo, and two new projects. Throughout the series, the larger program examples have been rewritten for greater readability by more extensive use of data abstraction.Volume 1 Symbolic Computing, is addressed to a reader who has used computers and wants to learn the ideas behind them. Symbolic computing is the manipulation of words and sentences, in contrast both to the graphics most people associate with Logo and to the numerical computation with which more traditional languages such as Pascal and C++ are most comfortable. This volume is well known for its clear and thorough presentation of recursion, a key idea in computer science that other texts treat as arcane and difficult.The Logo programs in these books and the author's free Berkeley Logo interpreter are available via the Internet or on diskette.
Publisher: MIT Press
ISBN: 9780262581486
Category : Biography & Autobiography
Languages : en
Pages : 348
Book Description
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, especially in artificial intelligence. Throughout the series, functional programming techniques (including higher order functions and recursion) are emphasized, but traditional sequential programming is also used when appropriate.In the second edition, the first two volumes have been rearranged so that illustrative case studies appear with the techniques they demonstrate. Volume 1 includes a new chapter about higher order functions, and the recursion chapters have been reorganized for greater clarity. Volume 2 includes a new tutorial chapter about macros, an exclusive capability of Berkeley Logo, and two new projects. Throughout the series, the larger program examples have been rewritten for greater readability by more extensive use of data abstraction.Volume 1 Symbolic Computing, is addressed to a reader who has used computers and wants to learn the ideas behind them. Symbolic computing is the manipulation of words and sentences, in contrast both to the graphics most people associate with Logo and to the numerical computation with which more traditional languages such as Pascal and C++ are most comfortable. This volume is well known for its clear and thorough presentation of recursion, a key idea in computer science that other texts treat as arcane and difficult.The Logo programs in these books and the author's free Berkeley Logo interpreter are available via the Internet or on diskette.
Computer Algebra and Symbolic Computation
Author: Joel S. Cohen
Publisher: CRC Press
ISBN: 1439863709
Category : Computers
Languages : en
Pages : 467
Book Description
Mathematica, Maple, and similar software packages provide programs that carry out sophisticated mathematical operations. Applying the ideas introduced in Computer Algebra and Symbolic Computation: Elementary Algorithms, this book explores the application of algorithms to such methods as automatic simplification, polynomial decomposition, and polyno
Publisher: CRC Press
ISBN: 1439863709
Category : Computers
Languages : en
Pages : 467
Book Description
Mathematica, Maple, and similar software packages provide programs that carry out sophisticated mathematical operations. Applying the ideas introduced in Computer Algebra and Symbolic Computation: Elementary Algorithms, this book explores the application of algorithms to such methods as automatic simplification, polynomial decomposition, and polyno
SymbolicC++:An Introduction to Computer Algebra using Object-Oriented Programming
Author: Kiat Shi Tan
Publisher: Springer Science & Business Media
ISBN: 1447104056
Category : Computers
Languages : en
Pages : 684
Book Description
Symbolic C++: An Introduction to Computer Algebra Using Object-Oriented Programming provides a concise introduction to C++ and object-oriented programming, using a step-by-step construction of a new object-oriented designed computer algebra system - Symbolic C++. It shows how object-oriented programming can be used to implement a symbolic algebra system and how this can then be applied to different areas in mathematics and physics. This second revised edition:- * Explains the new powerful classes that have been added to Symbolic C++. * Includes the Standard Template Library. * Extends the Java section. * Contains useful classes in scientific computation. * Contains extended coverage of Maple, Mathematica, Reduce and MuPAD.
Publisher: Springer Science & Business Media
ISBN: 1447104056
Category : Computers
Languages : en
Pages : 684
Book Description
Symbolic C++: An Introduction to Computer Algebra Using Object-Oriented Programming provides a concise introduction to C++ and object-oriented programming, using a step-by-step construction of a new object-oriented designed computer algebra system - Symbolic C++. It shows how object-oriented programming can be used to implement a symbolic algebra system and how this can then be applied to different areas in mathematics and physics. This second revised edition:- * Explains the new powerful classes that have been added to Symbolic C++. * Includes the Standard Template Library. * Extends the Java section. * Contains useful classes in scientific computation. * Contains extended coverage of Maple, Mathematica, Reduce and MuPAD.
Symbolic Computing with LISP and PROLOG
Author: Robert A. Mueller
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 494
Book Description
A practical introduction to symbolic computing and denotational programming. First part of the book covers programming. Second part addresses symbolic computing in such areas as game playing, language translation, and theorem proving. For each topic there are example problems, with proposed solutions, followed by working programs using the techniques presented earlier in the text. Two programs, using a denotational approach, accompany each of the applications in symbolic computing—one in Lisp and one in Prolog.
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 494
Book Description
A practical introduction to symbolic computing and denotational programming. First part of the book covers programming. Second part addresses symbolic computing in such areas as game playing, language translation, and theorem proving. For each topic there are example problems, with proposed solutions, followed by working programs using the techniques presented earlier in the text. Two programs, using a denotational approach, accompany each of the applications in symbolic computing—one in Lisp and one in Prolog.
How to Design Programs, second edition
Author: Matthias Felleisen
Publisher: MIT Press
ISBN: 0262344122
Category : Computers
Languages : en
Pages : 793
Book Description
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming. This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process, presenting program design guidelines that show the reader how to analyze a problem statement, how to formulate concise goals, how to make up examples, how to develop an outline of the solution, how to finish the program, and how to test it. Because learning to design programs is about the study of principles and the acquisition of transferable skills, the text does not use an off-the-shelf industrial language but presents a tailor-made teaching language. For the same reason, it offers DrRacket, a programming environment for novices that supports playful, feedback-oriented learning. The environment grows with readers as they master the material in the book until it supports a full-fledged language for the whole spectrum of programming tasks. This second edition has been completely revised. While the book continues to teach a systematic approach to program design, the second edition introduces different design recipes for interactive programs with graphical interfaces and batch programs. It also enriches its design recipes for functions with numerous new hints. Finally, the teaching languages and their IDE now come with support for images as plain values, testing, event-driven programming, and even distributed programming.
Publisher: MIT Press
ISBN: 0262344122
Category : Computers
Languages : en
Pages : 793
Book Description
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming. This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process, presenting program design guidelines that show the reader how to analyze a problem statement, how to formulate concise goals, how to make up examples, how to develop an outline of the solution, how to finish the program, and how to test it. Because learning to design programs is about the study of principles and the acquisition of transferable skills, the text does not use an off-the-shelf industrial language but presents a tailor-made teaching language. For the same reason, it offers DrRacket, a programming environment for novices that supports playful, feedback-oriented learning. The environment grows with readers as they master the material in the book until it supports a full-fledged language for the whole spectrum of programming tasks. This second edition has been completely revised. While the book continues to teach a systematic approach to program design, the second edition introduces different design recipes for interactive programs with graphical interfaces and batch programs. It also enriches its design recipes for functions with numerous new hints. Finally, the teaching languages and their IDE now come with support for images as plain values, testing, event-driven programming, and even distributed programming.
Common LISP
Author: David S. Touretzky
Publisher: Courier Corporation
ISBN: 048679170X
Category : Technology & Engineering
Languages : en
Pages : 602
Book Description
Highly accessible treatment covers cons cell structures, evaluation rules, programs as data, recursive and applicable programming styles. Nearly 400 illustrations, answers to exercises, "toolkit" sections, and a variety of complete programs. 1990 edition.
Publisher: Courier Corporation
ISBN: 048679170X
Category : Technology & Engineering
Languages : en
Pages : 602
Book Description
Highly accessible treatment covers cons cell structures, evaluation rules, programs as data, recursive and applicable programming styles. Nearly 400 illustrations, answers to exercises, "toolkit" sections, and a variety of complete programs. 1990 edition.