Logic and Language Models for Computer Science (Fourth Edition)
暫譯: 計算機科學的邏輯與語言模型（第四版）

Richards, Dana, Hamburger, Henry

Logic and Language Models for Computer Science (Fourth Edition)
  • 出版商: World Scientific Pub
  • 出版日期: 2023-03-07
  • 售價: $4,400
  • 貴賓價: 9.5 折 $4,180
  • 語言: 英文
  • 頁數: 496
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 9811260664
  • ISBN-13: 9789811260667
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.

商品描述(中文翻譯)

這本獨特的彙編突顯了計算理論，特別是邏輯和自動機理論。特別強調計算機科學的應用，包括迴圈不變式、程式正確性、邏輯程式設計和算法證明技術。這本創新的著作與標準教科書不同，採用不同的順序建立概念，使用較少的定理和更簡單的證明。它增加了許多新的範例、問題和答案。可以作為大多數大學的本科教材使用。

類似商品