A logical approach to discrete math

書誌事項

A logical approach to discrete math

David Gries and Fred B. Schneider

(Texts and monographs in computer science)

Springer-Verlag, c1993

  • : us
  • : gw

大学図書館所蔵 件 / 全46件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

巻冊次

: us ISBN 9780387941158

内容説明

Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.

目次

0 Using Mathematics.- 1 Textual Substitution, Equality, and Assignment.- 2 Boolean Expressions.- 3 Propositional Calculus.- 4 Relaxing the Proof Style.- 5 Applications of Propositional Calculus.- 6 Hilbert-style Proofs.- 7 Formal Logic.- 8 Quantification.- 9 Predicate Calculus.- 10 Predicates and Programming.- 11 A Theory of Sets.- 12 Mathematical Induction.- 13 A Theory of Sequences.- 14 Relations and Functions.- 15 A Theory of Integers.- 16 Combinatorial Analysis.- 17 Recurrence Relations.- 18 Modern Algebra.- 19 A Theory of Graphs.- 20 Infinite Sets.- References.- Theorems of the propositional and predicate calculi.
巻冊次

: gw ISBN 9783540941156

内容説明

This text attempts to change the way logic and discrete mathematics are taught. While many books treat logic simply as another topic of study, this book treats logic as a basic tool to be applied in essentially every other area. The book is organized so that selected chapters can either be studied together or used as a reference. The core of the book consists of textual substitution, equality and assignment, Boolean expressions, propositional calculus, quantification and predicate calculus. The remaining chapters can be selected according to individual course outlines.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA21280204
  • ISBN
    • 0387941150
    • 3540941150
  • LCCN
    93027848
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    New York ; Tokyo
  • ページ数/冊数
    xvi, 497 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ

AltStyle によって変換されたページ (->オリジナル) /