Oded Goldreich

This book offers a comprehensive perspective to modern topics in complexity theory, which is a central field of the theoretical foundations of computer science. It addresses the looming question of what can be achieved within a limited amount of time with or without other limited natural computational resources. Can be used as an introduction for advanced undergraduate and graduate students as either a textbook or for self-study, or to experts, since it provides expositions of the various sub-areas of complexity theory such as hardness amplification, pseudorandomness and probabilistic proof systems.

内容詳細

Computational Complexity: A Conceptual Perspective

Richard Bird

Pearls of Functional Algorithm Design

Okasaki

Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. The author includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages. All source code is given in Standard ML and Haskell, and most of the programs are easily adaptable to other functional languages. This handy reference for professional programmers working with functional languages can also be used as a tutorial or for self-study.

This book describes data structures and data structure design techniques for functional languages.

Purely Functional Data Structures

Raymond Murphy

An updated version of the world's best-selling grammar title.

English Grammar in Use with Answers and CD-ROM: A Self-Study Reference and Practice Book for Intermediate Learners of English

Graham Hutton

Haskell is a purely functional language that allows programmers to rapidly develop clear, concise, and correct software. The language has grown in popularity in recent years, both in teaching and in industry. This book is based on the author's experience of teaching Haskell for more than twenty years. All concepts are explained from first principles and no programming experience is required, making this book accessible to a broad spectrum of readers. While Part I focuses on basic concepts, Part II introduces the reader to more advanced topics. This new edition has been extensively updated and expanded to include recent and more advanced features of Haskell, new examples and exercises, selected solutions, and freely downloadable lecture slides and example code. The presentation is clean and simple, while also being fully compliant with the latest version of the language, including recent changes concerning applicative, monadic, foldable, and traversable types.

Programming in Haskell

Professor Graham Hutton

Introduces fundamental techniques for reasoning mathematically about functional programs. Ideal for a first- or second-year undergraduate course.

Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them more efficient. The book has been designed to fit a first- or second-year undergraduate course and is a thorough overhaul and replacement of his earlier textbooks. It features case studies in Sudoku and pretty-printing, and over 100 carefully selected exercises with solutions. This engaging text will be welcomed by students and teachers alike.

Thinking Functionally with Haskell

Paul Hudak

This book teaches functional programming using Haskell and examples drawn from multimedia applications.

The Haskell School of Expression: Learning Functional Programming through Multimedia

Mark S. Joshi

Shows how to combine mathematical finance and object-oriented programming to practical effect.

Explains how to create well-designed, structured, reusable C++ code, particularly for financial applications.

C++ Design Patterns and Derivatives Pricing (Mathematics, Finance and Risk)

William R. Smalzer

This highly successful two-level grammar series is known for its clear explanations and innovative two-page format.

The world's best-selling grammar series for learners of English. Basic Grammar in Use Fourth Edition is an American English self-study reference and practice book for beginner level learners (A1-B1). With simple explanations, clear examples, and easy to understand exercises, it is perfect for students who are learning on their own, but can also be used in the classroom. It comes with an easy to use answer key in the back of the book.

Basic Grammar in Use Student's Book with Answers and CD-ROM: Self-study reference and practice for students of North American English

Grammar in Use Intermediate is a highly successful grammar text known for its clear, concise explanations and innovative format. Ideal for students preparing for the TOEFL ® test or other standard examinations, the new edition of this popular North American English grammar title offers even more support, with a larger format to include more explanation and practice, eight new units on phrasal verbs, and 10 pages of Additional Exercises. This edition, with answers, can be used in the classroom or for self-study. It includes a CD-ROM featuring additional practice exercises, progress reports, interactive games, and a link to the Cambridge Dictionaries Online. You can even create your own tests to review the language learned.

Grammar in Use Intermediate is a highly successful grammar text known for its clear, concise explanations and innovative format.

Grammar in Use Intermediate Student's Book with answers: Self-study Reference and Practice for Students of North American English

Richard P. Stanley

This second volume of a two-volume basic introduction to enumerative combinatorics covers the composition of generating functions, trees, algebraic generating functions, D-finite generating functions, noncommutative generating functions, and symmetric functions. The chapter on symmetric functions provides the only available treatment of this subject suitable for an introductory graduate course on combinatorics, and includes the important Robinson-Schensted-Knuth algorithm. Also covered are connections between symmetric functions and representation theory. An appendix by Sergey Fomin covers some deeper aspects of symmetric function theory, including jeu de taquin and the Littlewood-Richardson rule. As in Volume 1, the exercises play a vital role in developing the material. There are over 250 exercises, all with solutions or references to solutions, many of which concern previously unpublished results. Graduate students and research mathematicians who wish to apply combinatorics to their work will find this an authoritative reference.

"Richard Stanley's two-volume basic introduction to enumerative combinatorics has become the standard guide to the topic for students and experts alike. This thoroughly revised second edition of Volume 1 includes ten new sections and more than 300 new exercises, most with solutions, reflecting numerous new developments since the publication of the first edition in 1986. The author brings the coverage up to date and includes a wide variety of additional applications and examples, as well as updated and expanded chapter bibliographies. Many of the less difficult new exercises have no solutions so that they can more easily be assigned to students. The material on P-partitions has been rearranged and generalized; the treatment of permutation statistics has been greatly enlarged; and there are also new sections on q-analogues of permutations, hyperplane arrangements, the cd-index, promotion and evacuation and differential posets"--

This book is the first of a two-volume basic introduction to enumerative combinatorics at a level suitable for graduate students and research mathematicians. It concentrates on the theory and application of generating functions, a fundamental tool in enumerative combinatorics. The book covers those parts of enumerative combinatorics of greatest applicability to other areas of mathematics. The four chapters are devoted to an introduction to enumeration (suitable for advanced undergraduates), sieve methods (including the Principle of Inclusion-Exclusion), partially ordered sets, and rational generating functions. There are a large number of exercises, almost all with solutions, which greatly augment the text and provide entry into many areas not covered directly. Graduate students and research mathematicians who wish to apply combinatorics to their work will find this an authoritative reference.

This book, the first of a two-volume basic introduction to enumerative combinatorics, concentrates on the theory and application of generating functions, a fundamental tool in enumerative combinatorics. Richard Stanley covers those parts of enumerative combinatorics with the greatest applications to other areas of mathematics. The four chapters are devoted to an accessible introduction to enumeration, sieve methods--including the Principle of Inclusion-Exclusion, partially ordered sets, and rational generating functions. A large number of exercises, almost all with solutions, augment the text and provide entry into many areas not covered directly. Graduate students and research mathematicians who wish to apply combinatorics to their work will find this an authoritative reference.

Richard Stanley's two-volume basic introduction to enumerative combinatorics has become the standard guide to the topic for students and experts alike. This thoroughly revised second edition of Volume 1 includes ten new sections and more than 300 new exercises, most with solutions, reflecting numerous new developments since the publication of the first edition in 1986. The author brings the coverage up to date and includes a wide variety of additional applications and examples, as well as updated and expanded chapter bibliographies. Many of the less difficult new exercises have no solutions so that they can more easily be assigned to students. The material on P-partitions has been rearranged and generalized; the treatment of permutation statistics has been greatly enlarged; and there are also new sections on q-analogues of permutations, hyperplane arrangements, the cd-index, promotion and evacuation and differential posets.

内容紹介

'… sure to become a standard as an introductory graduate text in combinatorics.' Bulletin of the American Mathematical Society '… will engage from start to finish the attention of any mathematician who will open it at page one.' Gian-Carlo Rota

レビュー

Richard P. Stanley is a Professor of Applied Mathematics at the Massachusetts Institute of Technology. He is universally recognized as a leading expert in the field of combinatorics and its applications to a variety of other mathematical disciplines. In addition to the seminal two-volume book Enumerative Combinatorics, he is the author of Combinatorics and Commutative Algebra (1983) as well as more than 100 research articles in mathematics. Among Stanley's many distinctions are membership in the National Academy of Sciences (elected in 1995), the 2001 Leroy P. Steele Prize for mathematical exposition and the 2003 Schock Prize.

著者について

Enumerative Combinatorics: Volume 1 (Cambridge Studies in Advanced Mathematics)

表紙の改訂があり、旧版の流通在庫が終了次第、随時新板のものに切り替わります。ご了承ください。※商品の内容自体に変更点はございません。旧版には「includes eBook version」と記載がありますが、eBookとAudioどちらもご利用頂けます。

ご注意ください

Grammar in Use is the world's best-selling grammar series for learners of English. English Grammar in Use with Answers and Interactive eBook, authored by Raymond Murphy, is the first choice for intermediate (B1-B2) learners and covers all the grammar required at this level. It is a self-study book with simple explanations and lots of practice exercises, and has helped millions of people around the world to communicate in English. It is also trusted by teachers and can be used as a supplementary text in classrooms. This edition includes an eBook with the same grammar units as the printed book, plus audio. It can be accessed online or downloaded to iPads and Android tablets.

English Grammar in Use Book with Answers and Interactive eBook: Self-Study Reference and Practice Book for Intermediate Learners of English

Ronald Carter

Michael McCarthy

Geraldine Mark

Anne O'Keeffe

English Grammar Today Book with Workbook: An A–Z of Spoken and Written Grammar (2 Book Set)

Franz Baader

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

Term Rewriting & All That

Nicholas Carnevale

The authoritative reference on NEURON, the simulation environment for modeling biological neurons and neural networks that enjoys wide use in the experimental and computational neuroscience communities. This book shows how to use NEURON to construct and apply empirically based models. Written primarily for neuroscience investigators, teachers, and students, it assumes no previous knowledge of computer programming or numerical methods. Readers with a background in the physical sciences or mathematics, who have some knowledge about brain cells and circuits and are interested in computational modeling, will also find it helpful. The NEURON Book covers material that ranges from the inner workings of this program, to practical considerations involved in specifying the anatomical and biophysical properties that are to be represented in models. It uses a problem-solving approach, with many working examples that readers can try for themselves.

Nicholas T. Carnevale is Senior Research Scientist in the Department of Psychology at Yale University. He also directs the NEURON courses at the annual meetings of the Society of Neuroscience and the NEURON Summer Courses at the University of California, San Diego and University of Minnesota, Minneapolis.

Assuming no previous knowledge of computer programming or numerical methods, The NEURON Book provides practical advice on how to get the most out of the NEURON software program. Although written primarily for neuroscientists, teachers and students, readers with a background in the physical sciences or mathematics and some knowledge about brain cells and circuits, will also find it helpful. Covering details of NEURON's inner workings, and practical considerations specifying anatomical and biophysical properties to be represented in models, this book uses a problem-solving approach that includes many examples to challenge readers.

The NEURON Book

Stephen Boyd

Lieven Vandenberghe

Convex optimization problems arise frequently in many different fields. This book provides a comprehensive introduction to the subject, and shows in detail how such problems can be solved numerically with great efficiency. The book begins with the basic elements of convex sets and functions, and then describes various classes of convex optimization problems. Duality and approximation techniques are then covered, as are statistical estimation techniques. Various geometrical problems are then presented, and there is detailed discussion of unconstrained and constrained minimization problems, and interior-point methods. The focus of the book is on recognizing convex optimization problems and then finding the most appropriate technique for solving them. It contains many worked examples and homework exercises and will appeal to students, researchers and practitioners in fields such as engineering, computer science, mathematics, statistics, finance and economics.

'Boyd and Vandenberghe have written a beautiful book that I strongly recommend to everyone interested in optimization and computational mathematics: Convex Optimization is a very readable introduction to this modern field of research.' Mathematics of Operations Research '… a beautiful book that I strongly recommend to everyone interested in optimization and computational mathematics … a very readable and inspiring introduction to this modern field of research. I recommend it as one of the best optimization textbooks that have appeared in the last years.' Mathematical Methods of Operations Research 'I highly recommend it either if you teach nonlinear optimization at the graduate level for a supplementary reading list and for your library, or if you solve optimization problems and wish to know more about solution methods and applications.' International Statistical institute '… the whole book is characterized by clarity. … a very good pedagogical book … excellent to grasp the important concepts of convex analysis [and] to develop an art in modelling optimization problems intelligently.' Matapli 'The book by Boyd and Vandenberghe reviewed here is one of … the best I have ever seen … it is a gentle, but rigorous, introduction to the basic concepts and methods of the field … this book is meant to be a 'first book' for the student or practitioner of optimization. However, I think that even the experienced researcher in the field has something to gain from reading this book: I have very much enjoyed the easy to follow presentation of many meaningful examples and suggestive interpretations meant to help the student's understanding penetrate beyond the surface of the formal description of the concepts and techniques. For teachers of convex optimization this book can be a gold mine of exercises. MathSciNet

Stephen Boyd received his PhD from the University of California, Berkeley. Since 1985 he has been a member of the Electrical Engineering Department at Stanford University, where he is now Professor and Director of the Information Systems Laboratory. He has won numerous awards for teaching and research, and is a Fellow of the IEEE. He was one of the co-founders of Barcelona Design, and is the co-author of two previous books Linear Controller Design: Limits of Performance and Linear Matrix Inequalities in System and Control Theory.

Convex Optimization

Jiannis K. Pachos

Ideal for graduate students and researchers from various sub-disciplines, this book provides an excellent introduction to topological quantum computation.

Introduction to Topological Quantum Computation

Michael A. Nielsen

Isaac L. Chuang

One of the most cited books in physics of all time, Quantum Computation and Quantum Information remains the best textbook in this exciting field of science. This 10th anniversary edition includes an introduction from the authors setting the work in context. This comprehensive textbook describes such remarkable effects as fast quantum algorithms, quantum teleportation, quantum cryptography and quantum error-correction. Quantum mechanics and computer science are introduced before moving on to describe what a quantum computer is, how it can be used to solve problems faster than 'classical' computers and its real-world implementation. It concludes with an in-depth treatment of quantum information. Containing a wealth of figures and exercises, this well-known textbook is ideal for courses on the subject, and will interest beginning graduate students and researchers in physics, computer science, mathematics, and electrical engineering.

Quantum Computation and Quantum Information: 10th Anniversary Edition

Grammar in Use Intermediate Student's Book with Answers and CD-ROM: Self-study Reference and Practice for Students of North American English (Book & CD Rom)

出版社：Cambridge University Pressの検索結果

Computational Complexity: A Conceptual Perspective

Pearls of Functional Algorithm Design

Purely Functional Data Structures

English Grammar in Use with Answers and CD-ROM: A Self-Study Reference and Practice Book for Intermediate Learners of English

Programming in Haskell

Programming in Haskell

Thinking Functionally with Haskell

The Haskell School of Expression: Learning Functional Programming through Multimedia

C++ Design Patterns and Derivatives Pricing (Mathematics, Finance and Risk)

Basic Grammar in Use Student's Book with Answers and CD-ROM: Self-study reference and practice for students of North American English

Grammar in Use Intermediate Student's Book with answers: Self-study Reference and Practice for Students of North American English

Enumerative Combinatorics: Volume 1 (Cambridge Studies in Advanced Mathematics)

English Grammar in Use Book with Answers and Interactive eBook: Self-Study Reference and Practice Book for Intermediate Learners of English

English Grammar Today Book with Workbook: An A–Z of Spoken and Written Grammar (2 Book Set)

Term Rewriting & All That

The NEURON Book

Convex Optimization

Introduction to Topological Quantum Computation

Quantum Computation and Quantum Information: 10th Anniversary Edition

Grammar in Use Intermediate Student's Book with Answers and CD-ROM: Self-study Reference and Practice for Students of North American English (Book & CD Rom)