A first course in logic

著者

• Lawson, Mark V.

書誌事項

A first course in logic

Mark V. Lawson

CRC Press, c2019

• : hardback

注記

"A Chapman & Hall book"--Cover

Includes bibliographical references (p. 225-229) and index

内容説明・目次

内容説明

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics - how do we know what we say is true? - and also of computer science - how do I know this program will do what I think it will? Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.

目次

1. Propositional logic. 2. Boolean algebras. 3. First-order logic

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BB27506635
• ISBN:
  • 9780815386643
• LCCN: 2018024672
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boca Raton
• ページ数/冊数: xv, 233 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9
  • DC23 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Problems, exercises, etc
  • LCSH : Logic