Discrete Mathematics Using a Computer

Front Cover
Springer Science & Business Media, Jan 1, 2000 - Computers - 339 pages
1 Review
"Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, a simple functional language allows students to experiment with mathematical notations and concepts - a practical approach that provides students with instant feedback and allows lecturers to monitor progress easily." "Designed for 1st and 2nd year undergraduate students it is ideally suited to self-study. No prior knowledge of Functional Programming is required; everything the student needs is either provided or can be picked up easily as they go along." "Complete with an accompanying instructor's guide, available via the WWW, this volume is intended as the primary teaching text on Discrete Mathematics courses but will also provide useful reading for Conversion Masters and Formal Methods courses."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
2
III
4
V
6
VII
7
VIII
8
XI
9
XII
10
CXIII
154
CXIV
155
CXVI
156
CXVIII
158
CXIX
159
CXXII
163
CXXIII
164
CXXIV
165

XIV
12
XV
13
XVIII
14
XX
17
XXI
18
XXII
19
XXIV
20
XXV
21
XXVI
26
XXVII
29
XXVIII
31
XXX
35
XXXI
37
XXXII
38
XXXIII
39
XXXIV
40
XXXV
41
XXXVIII
43
XXXIX
44
XLI
46
XLIII
47
XLIV
48
XLVI
49
XLVII
50
XLIX
52
L
54
LI
56
LII
57
LIII
58
LIV
61
LV
62
LVI
63
LVIII
65
LIX
66
LX
67
LXI
68
LXII
72
LXIII
73
LXIV
74
LXV
76
LXVII
79
LXVIII
80
LXIX
81
LXXI
83
LXXII
84
LXXIII
86
LXXIV
89
LXXV
90
LXXVI
92
LXXVII
94
LXXVIII
95
LXXIX
98
LXXX
100
LXXXI
101
LXXXII
103
LXXXIII
104
LXXXIV
105
LXXXV
106
LXXXVI
109
LXXXVIII
111
LXXXIX
114
XCII
116
XCIII
117
XCIV
119
XCV
122
XCVI
123
XCVII
124
XCIX
125
CI
129
CII
130
CIII
136
CIV
139
CV
142
CVI
143
CVII
144
CIX
147
CX
150
CXI
152
CXII
153
CXXV
168
CXXVI
169
CXXVII
172
CXXVIII
177
CXXIX
179
CXXX
181
CXXXIII
183
CXXXV
185
CXXXVI
187
CXXXVII
188
CXXXVIII
190
CXL
191
CXLI
193
CXLII
195
CXLIII
197
CXLIV
199
CXLV
202
CXLVI
207
CXLVII
208
CXLVIII
210
CXLIX
211
CL
214
CLII
219
CLIII
220
CLIV
221
CLV
222
CLVI
223
CLVII
226
CLIX
229
CLX
230
CLXI
233
CLXII
234
CLXIII
235
CLXIV
236
CLXV
237
CLXVI
238
CLXVII
239
CLXVIII
240
CLXIX
242
CLXX
243
CLXXII
244
CLXXIII
249
CLXXIV
253
CLXXVI
255
CLXXVII
258
CLXXIX
259
CLXXX
261
CLXXXII
264
CLXXXIV
266
CLXXXVI
273
CLXXXVII
274
CLXXXVIII
275
CLXXXIX
276
CXC
277
CXCI
280
CXCII
281
CXCIII
284
CXCIV
285
CXCV
286
CXCVI
288
CXCVII
289
CXCVIII
290
CXCIX
292
CCI
295
CCII
297
CCIII
299
CCIV
302
CCV
308
CCVI
310
CCVII
312
CCVIII
316
CCIX
318
CCX
323
CCXI
325
CCXII
327
CCXIII
331
CCXIV
333
Copyright

Common terms and phrases

Popular passages

Page 333 - From transistors to computer architecture: Teaching functional circuit specification in Hydra.

References to this book

About the author (2000)

C. Hall with her author-sister A. Hall, share a love of exploring the realms of fantasy and science fiction, together building new worlds of adventure for readers to discover. They currently live in Southern Utah where they work at a local charter school.

John O'Donnell, a retired senior foreign service officer living in Great Falls, Virginia, spent thirty years with the Agency for International Development in Southeast Asia & Central & South America & continues his involvement in economic development as a consultant.

Bibliographic information