Mathematical structures for computer science
著者
書誌事項
Mathematical structures for computer science
W. H. Freeman, c1999
4th ed
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
内容説明・目次
内容説明
The algorithms in this text have been rewritten in a language-neutral pseudocode making the book useful to computer science students. Each chapter begins with a "motivating problem" which occurs later as an exercise. Tables and bullet notes have been added througout, with examples.
目次
- Formal logic
- proofs, recursion and analysis of algorithms
- sets and combinatorics
- relations, functions and matrices
- graphs and trees
- graph algorithms
- boolean algebra and computer logic
- modelling arithmetic, computation and languages.
「Nielsen BookData」 より