blob is binary.
| index : tour | |
| touring some programming systems | elioat <elioat@tilde.institute> |
| about summary refs log blame commit diff stats |
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>