LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)
暫譯: 計算機科學的邏輯與語言模型（第三版）

Dana Richards, Henry Hamburger

LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)

相關主題

商品描述

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:

  • it emphasizes the algorithmic nature of the proofs and the reliance on simulations;
  • it stresses the centrality of nondeterminism in generative models and the relationship to deterministic recognition models
  • The style is appropriate for both undergraduate and graduate classes.

    Readership: Students and professionals interested in theoretical computation and language models for computer science.

商品描述(中文翻譯)

這段文字介紹了計算機科學的基本概念。

它以廣泛的邏輯介紹開始，強調推理和證明，並包含有關程式驗證和 Prolog 的章節。

在可計算性方面，對自動機和形式語言的處理在幾個方面脫穎而出：

- 它強調證明的算法性質以及對模擬的依賴；
- 它強調非確定性在生成模型中的中心地位以及與確定性識別模型的關係；
- 這種風格適合本科生和研究生課程。

讀者對象：對計算理論和計算機科學的語言模型感興趣的學生和專業人士。

類似商品