> 상세정보

# 상세정보

## Pearls of functional algorithm design

자료유형
단행본
개인저자
Bird, Richard, 1943-.
서명 / 저자사항
Pearls of functional algorithm design / Richard Bird.
발행사항
Cambridge ;   New York :   Cambridge University Press,   2010.
형태사항
xi, 277 p. : ill. ; 26 cm.
ISBN
9780521513388 (hardback) 0521513383 (hardback)
요약
"Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"--
내용주기
1. The smallest free number -- 2. A surpassing problem -- 3. Improving on saddleback search -- 4. A selection problem -- 5. Sorting pairwise sums -- 6. Making a century -- 7. Building a tree with minimum height -- 8. Unravelling greedy algorithms -- 9. Finding celebrities -- 10. Removing duplicates -- 11. Not the maximum segment sum -- 12. Ranking suffixes -- 13. The Burrows-Wheeler transform -- 14. The last tail -- 15. All the common prefixes -- 16. The Boyer-Moore algorithm -- 17. The Knuth-Morris-Pratt algorithm -- 18. Planning solves the rush hour problem -- 19. A simple Sudoku solver -- 20. The countdown problem -- 21. Hylomorphisms and nexuses -- 22. Three ways of computing determinants -- 23. Inside the convex hull -- 24. Rational arithmetic coding -- 25. Integer arithmetic coding -- 26. The Schorr-Waite algorithm -- 27. Orderly insertion -- 28. Loopless functional algorithms -- 29. The Johnson-Trotter algorithm -- 30. Spider spinning for dummies.
서지주기
Includes bibliographical references and index.
일반주제명
Functional programming (Computer science) Computer algorithms.
 000 03426camuu2200325 a 4500 001 000045687714 005 20120126180233 008 120126s2010 enka b 001 0 eng d 010 ▼a 2010022871 015 ▼a GBB067282 ▼2 bnb 020 ▼a 9780521513388 (hardback) 020 ▼a 0521513383 (hardback) 035 ▼a (KERIS)REF000016331249 040 ▼a DLC ▼c DLC ▼d YDX ▼d YDXCP ▼d CDX ▼d IUL ▼d UKM ▼d BTCTA ▼d CUD ▼d DLC ▼d 211009 050 0 0 ▼a QA76.62 ▼b .B57 2010 082 0 0 ▼a 006.3/1 ▼2 22 084 ▼a 006.31 ▼2 DDCK 090 ▼a 006.31 ▼b B618p 100 1 ▼a Bird, Richard, ▼d 1943-. 245 1 0 ▼a Pearls of functional algorithm design / ▼c Richard Bird. 260 ▼a Cambridge ; ▼a New York : ▼b Cambridge University Press, ▼c 2010. 300 ▼a xi, 277 p. : ▼b ill. ; ▼c 26 cm. 504 ▼a Includes bibliographical references and index. 505 0 ▼a 1. The smallest free number -- 2. A surpassing problem -- 3. Improving on saddleback search -- 4. A selection problem -- 5. Sorting pairwise sums -- 6. Making a century -- 7. Building a tree with minimum height -- 8. Unravelling greedy algorithms -- 9. Finding celebrities -- 10. Removing duplicates -- 11. Not the maximum segment sum -- 12. Ranking suffixes -- 13. The Burrows-Wheeler transform -- 14. The last tail -- 15. All the common prefixes -- 16. The Boyer-Moore algorithm -- 17. The Knuth-Morris-Pratt algorithm -- 18. Planning solves the rush hour problem -- 19. A simple Sudoku solver -- 20. The countdown problem -- 21. Hylomorphisms and nexuses -- 22. Three ways of computing determinants -- 23. Inside the convex hull -- 24. Rational arithmetic coding -- 25. Integer arithmetic coding -- 26. The Schorr-Waite algorithm -- 27. Orderly insertion -- 28. Loopless functional algorithms -- 29. The Johnson-Trotter algorithm -- 30. Spider spinning for dummies. 520 ▼a "Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- ▼c Provided by publisher. 520 ▼a "The novel aspect of the book is that each solution is calculated from the problem statement by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- ▼c Provided by publisher. 650 0 ▼a Functional programming (Computer science) 650 0 ▼a Computer algorithms. 945 ▼a KLPA

### 소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 청구기호 006.31 B618p 등록번호 121216535 도서상태 대출가능 반납예정일 예약 서비스

### 컨텐츠정보

#### 리처드 버드(지은이)

영국 왕립원예학회(Royal Horticultural Society, RHS)의 위원으로 30여 권에 달하는 다양한 원예학 관련 저서를 출간한 원예전문가이다. 내한성 다년생 식물이나 고산식물에 대한 강연을 주로 진행하며, 일반인도 알기 쉽게 배울 수 있는 정원 가꾸기 노하우를 전파하고자 활발히 활동 중이다. 지은 책으로 『일년생 초화류 활용하기(Making the Most of Annuals in the Garden)』, 『미니 정원 프로젝트 (Project for Small Gardens)』, 『고산식물 정원 가꾸기 완전 정복(The Complete Book of Alpine Gardening)』, 『허브와 텃밭 정원사(Kitchen and Herb Gardener)』, 『가지치기 실용가이드(Ultimate Practical Guide to Pruning and Training)』, 『허브 기르기(Growing Herbs)』, 『완두콩과 콩, 그리고 새싹 기르기(Growing Shoots, Peas and Beans)』, 『토마토 기르기(Growing Tomatoes)』, 『뿌리채소 기르기 (Growing Root Vegetables)』 등이 있다.

정보제공 :

#### 목차

`Preface; 1. The smallest free number; 2. A surpassing problem; 3. Improving on saddleback search; 4. A selection problem; 5. Sorting pairwise sums; 6. Making a century; 7. Building a tree with minimum height; 8. Unravelling greedy algorithms; 9. Finding celebrities; 10. Removing duplicates; 11. Not the maximum segment sum; 12. Ranking suffixes; 13. The Burrows-Wheeler transform; 14. The last tail; 15. All the common prefixes; 16. The Boyer-Moore algorithm; 17. The Knuth-Morris-Pratt algorithm; 18. Planning solves the rush hour problem; 19. A simple Sudoku solver; 20. The countdown problem; 21. Hylomorphisms and nexuses; 22. Three ways of computing determinants; 23. Inside the convex hull; 24. Rational arithmetic coding; 25. Integer arithmetic coding; 26. The Schorr-Waite algorithm; 27. Orderly insertion; 28. Loopless functional algorithms; 29. The Johnson-Trotter algorithm; 30. Spider spinning for dummies; Index.`

정보제공 :

### 관련분야 신착자료

최재영 (2022)

#### Neuro-symbolic artificial intelligence : the state of the art

Hitzler, Pascal (2022)

#### 레이 트레이싱 : DXR과 최신 API를 사용한 고품질 실시간 렌더링

Haines, Eric (2021)

#### Machine learning for time-series with Python : forecast, predict, and detect anomalies with state-of-the-art machine learning methods

Auffarth, Ben (2021)

정원준 (2022)

#### The political philosophy of AI : an introduction

Coeckelbergh, Mark (2022)

#### (데이터 과학을 위한) 파이썬과 R : 오픈소스를 활용한 데이터 분석, 시각화, 머신러닝

Scavetta, Rick J (2022)

정창훈 (2022)

문용석 (2022)

김현철 (2021)

강신천 (2021)

이철현 (2021)

임희석 (2021)

문가든 (2022)

#### Quantum computing : the transformative technology of the qubit revolution

Clegg, Brian (2021)

#### Fundamentals of quantum computing : theory and practice

Kasirajan, Venkateswaran (2021)

#### The myth of artificial intelligence : why computers can't think the way we do / 1st Harvard University Press pbk. ed

Larson, Erik J (2022)

#### 파이썬 라이브러리를 활용한 텍스트 분석

Albrecht, Jens (2022)