Logic, problem solving, programs, and computers

書誌事項

Logic, problem solving, programs, and computers

Allen B. Tucker ... [et al.]

(McGraw-Hill computer science series, . Fundamentals of computing ; 1)

McGraw-Hill, c1995

C++ ed

大学図書館所蔵 件 / 4

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

This text covers problem-solving and programming in computing, integrating the use of logic and proof methods. A lab manual with many examples of C++ syntax and usage is provided. This text is part of a four-volume series of introductory computer science texts, based on the ACM/IEEE curriculum.

目次

  • Computing as a human enterprise
  • computers and problem-solving
  • logic and problem specification
  • problem-solving tools
  • problem-solving and programs
  • problem robustness and texting
  • logic, reasoning and program correctness
  • logic and computers
  • programs and computers
  • the social context of computing
  • computing as a discipline.

「Nielsen BookData」 より

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

詳細情報

ページトップへ