Logic and language models for computer science

著者

• Richards, Dana
• Hamburger, Henry

書誌事項

Logic and language models for computer science

Dana Richards, Henry Hamburger

World Scientific, c2018

3rd ed

• : pbk

注記

Includes bibliographical references (p. 329-332) and index

内容説明・目次

内容説明

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BC05533620
• ISBN:
  • 9789813230507
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New Jersey
• ページ数/冊数: xv, 451 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA267.3
  • DC23 : 005.131
• 件名:
  • LCSH : Formal languages
  • LCSH : Description logics
  • LCSH : Artificial intelligence