blob: 37a22ad7ddc0895d50352daf2efcaf9d394df608 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
|
<HTML>
<HEAD>
<TITLE>Beyond Programming contents</TITLE>
<link rel="shortcut icon" href="http://www.cs.berkeley.edu/~bh/csls3-tiny.png" type="image/png">
</HEAD>
<BODY>
<CITE>Computer Science Logo Style</CITE> volume 3:
<CITE>Beyond Programming</CITE> 2/e Copyright (C) 1997 MIT
<H1><EM>Computer Science Logo Style</EM><BR>
Volume 3: <EM>Beyond Programming</EM></H1>
<CITE>Brian Harvey<BR>University of California, Berkeley</CITE>
<P><TABLE width="100%"><TR>
<TD><IMG SRC="csls3.jpg">
<TD><TABLE>
<TR><TD align="right"><A HREF="v1-toc2.html">Volume 1: <CITE>Symbolic Computing</CITE></A>
<IMG SRC="csls1-tiny.jpg">
<TR><TD align="right"><A HREF="v2-toc2.html">Volume 2: <CITE>Advanced Techniques</CITE></A>
<IMG SRC="csls2-tiny.jpg">
<TR><TD align="right"><A HREF="logo.html">Download Berkeley Logo (UCBLogo)</A>
<IMG SRC="ucblogo2-tiny.gif">
<TR><TD align="right"><A HREF="index.html">Brian's home page</A>
<IMG SRC="bh-tiny.jpg">
<TR><TD align="right"> <A HREF="https://mitpress.mit.edu/books/computer-science-logo-style-second-edition-volume-3">MIT
Press web page for <CITE>Computer Science Logo Style</CITE></A>
<IMG SRC="mitp.jpg">
</TABLE></TABLE>
<HR>
<P>Below this short table of contents is an expanded table of contents
including sections within each chapter. Click on the chapter name
to jump down. You can also download the complete text of each chapter
in PDF format for elegant printing, or browse the HTML version.
<P><EM>Note: These books are still in copyright, and in print. They are
posted here for your personal use, not for resale or redistribution.
Thanks!</EM>
<p>
<a href="http://www.azoft.com/people/seremina/edu/v3-toc2-romanian.html">View
this
page in Romanian</a> courtesy of <a href="http://www.azoft.com/">azoft</a>.
<p>
<a href="http://cupegraf.com/blog/v3-toc2/">Slovakian translation</a>
courtesy of <a href="http://cupegraf.com">Gasper Halipovich</a>
<UL>
<LI>Preface
(<A HREF="pdf/v3ch00.pdf">frontmatter in PDF</A>)
(<A HREF="v3ch0/preface.html">HTML</A>)
<LI>Acknowledgments
(<A HREF="v3ch0/ack.html">HTML</A>)
<LI>1. <A HREF="v3-toc2.html#ch1">Automata Theory</A>
(<A HREF="pdf/v3ch01.pdf">PDF</A>)
(<A HREF="v3ch1/fsm.html">HTML</A>)
<LI>2. <A HREF="v3-toc2.html#ch2">Discrete Mathematics</A>
(<A HREF="pdf/v3ch02.pdf">PDF</A>)
(<A HREF="v3ch2/math.html">HTML</A>)
<LI>3. <A HREF="v3-toc2.html#ch3">Algorithms and Data Structures</A>
(<A HREF="pdf/v3ch03.pdf">PDF</A>)
(<A HREF="v3ch3/algs.html">HTML</A>)
<LI>4. <A HREF="v3-toc2.html#ch4">Programming Language Design</A>
(<A HREF="pdf/v3ch04.pdf">PDF</A>)
(<A HREF="v3ch4/langd.html">HTML</A>)
<LI>5. <A HREF="v3-toc2.html#ch5">Programming Language Implementation</A>
(<A HREF="pdf/v3ch05.pdf">PDF</A>)
(<A HREF="v3ch5/langi.html">HTML</A>)
<LI>6. <A HREF="v3-toc2.html#ch6">Artificial Intelligence</A>
(<A HREF="pdf/v3ch06.pdf">PDF</A>)
(<A HREF="v3ch6/ai.html">HTML</A>)
<LI>Bibliography
(<A HREF="pdf/v3ch07.pdf">backmatter in PDF</A>)
(<A HREF="v3ch7/biblio.html">HTML</A>)
<LI>Credits
(<A HREF="v3ch7/permissions.html">HTML</A>)
<LI>Index of Defined Procedures
(<A HREF="v3ch7/appuindex.html">HTML</A>)
<LI>General Index
(<A HREF="v3ch7/appindex.html">HTML</A>)
</UL>
<HR>
<H3>Preface</H3>
<UL>
<LI>About This Series
<LI>How to Read This Book
<LI>What Isn't Included
<LI>Computers and People
</UL>
<H3>Acknowledgments</H3>
<H3><A name="ch1">1. Automata Theory</A></H3>
<UL>
<LI>What is a Computation?
<LI>Finite-State Machines
<LI>Nondeterministic Machines
<LI>Representing Machines as Logo Lists
<LI>Text Editors: A Use for Acceptors
<LI>Regular Expressions
<LI>Rules That Aren't Regular
<LI>Regular Expressions and Finite-State Machines
<LI>How to Translate
<LI>Making the Machine Deterministic
<LI>Eliminating Redundant States
<LI>A Finite-State Adder
<LI>Counting and Finite-State Machines
<LI>Turing Machines
<LI>Turing's Thesis
<LI>The Halting Theorem
<LI>Proving the Halting Theorem in Logo
<LI>Program Listing
</UL>
<H3><A name="ch2">2. Discrete Mathematics</A></H3>
<UL>
<LI>Propositional Logic
<LI>An Inference System
<LI>Problems with Ordering
<LI>Data Structure
<LI>Program Structure: Recording Simple Propositions
<LI>Program Structure: Recording Implications
<LI>Using Implications to Represent Orderings
<LI>Backtracking
<LI>Generalized Inference Systems and Predicate Logic
<LI>Logic and Computer Hardware
<LI>Combinatorics
<LI>Inductive and Closed-Form Definition
<LI>Pascal's Triangle
<LI>Simulation
<LI>The Simplex Lock Problem
<LI>An Inductive Solution
<LI>Multinomial Coefficients
<LI>Program Listing
</UL>
<H3><A name="ch3">3. Algorithms and Data Structures</A></H3>
<UL>
<LI>Local Optimization vs. Efficient Algorithms
<LI>Memoization
<LI>Sorting Algorithms
<LI>Sorting by Selection
<LI>Sorting by Partition
<LI>Order of Growth
<LI>Data Structures
<LI>Data Structures in Real Life
<LI>Trees
<LI>Improving the Data Representation
<LI>Trees as an Abstract Data Type
<LI>Tree Modification
<LI>Searching Algorithms and Trees
<LI>Logo's Underlying Data Structures
<LI>Program Listing
</UL>
<H3><A name="ch4">4. Programming Language Design</A></H3>
<UL>
<LI>Programming paradigms
<LI>Interactive and Non-Interactive Languages
<LI>Block Structure
<LI>Statement Types
<LI>Shuffling a Deck Using Arrays
<LI>Lexical Scope
<LI>Typed Variables
<LI>Additional Types in Standard Pascal
<LI>Critique of Typed Variables
<LI>Procedures and Functions
<LI>Call by Value and Call by Reference
<LI>Parameters in Logo: Call by Binding
</UL>
<H3><A name="ch5">5. Programming Language Implementation</A></H3>
<UL>
<LI>Formal Syntax Definition
<LI>Tokenization
<LI>Lookahead
<LI>Parsing
<LI>Expressions and Precedence
<LI>The Two-Stack Algorithm for Expressions
<LI>The Simulated Machine
<LI>Stack Frames
<LI>Data Structures
<LI>Code Generation
<LI>Program Listing
</UL>
<H3><A name="ch6">6. Artificial Intelligence</A></H3>
<UL>
<LI>Microworlds: Student
<LI>How Student Translates English to Algebra
<LI>Pattern Matching
<LI>Solving the Equations
<LI>Age Problems
<LI>AI and Education
<LI>Combining Sentences Into One Equation
<LI>Allowing Flexible Phrasing
<LI>Using Background Knowledge
<LI>Optional Substitutions
<LI>If All Else Fails
<LI>Limitations of Pattern Matching
<LI>Context-Free Languages
<LI>Augmented Transition Networks
<LI>Program Listing
</UL>
<H2>Appendices</H2>
<H3>Bibliography</H3>
<UL>
<LI>Read These!
<LI>Chapter 1: Automata Theory
<LI>Chapter 2: Discrete Mathematics
<LI>Chapter 3: Algorithms and Data Structures
<LI>Chapter 4: Programming Language Design
<LI>Chapter 5: Programming Language Implementation
<LI>Chapter 6: Artificial Intelligence
<LI>Computers and People
</UL>
<H3>Credits</H3>
<H3>Index of Defined Procedures</H3>
<H3>General Index</H3>
<P><A HREF="https://mitpress.mit.edu/books/computer-science-logo-style-second-edition-volume-3">MIT
Press web page for <CITE>Computer Science Logo Style</CITE></A>
<P>
<ADDRESS>
<A HREF="index.html">Brian Harvey</A>,
<CODE>bh@cs.berkeley.edu</CODE>
</ADDRESS>
</BODY>
</HTML>
|