Logik für die Informatik : Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie

Logik für die Informatik : Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Paperback:紙装版/ペーパーバック版／ページ数 254 p.
  • 言語 GER
  • 商品コード 9783662708248

Full Description

Dieses Lehrbuch bietet eine Einführung in die Aussagenlogik, die Prädikatenlogik erster Stufe und die Berechenbarkeitstheorie. Schwerpunkte liegen auf Aspekten der Formalen Logik, die für die Informatik interessant sind, z.B. verschiedene Verfahren zum Testen von Erfüllbarkeit, Turing-Maschinen und das Halteproblem, Satz von Cook.

最近チェックした商品

El puesto de frutas y otros relatos cortos : Nivel A2-B1. Lektüre mit Audio-Online. MP3 Download-Code （2011. 79 S. 196 mm）
  • 洋書
El puesto de frutas…
Enzyklopädie Philosophie und Wissenschaftstheorie : Bd. 5: Log-N （2ND）
  • 洋書
Enzyklopädie P…
Hsk Vocabulary Handbook : Level 1-3 (Second Edition) (Hsk Vocabulary Handbook)
  • 洋書
Hsk Vocabulary Hand…
Parallel and Distributed Computing: Applications and Technologies : 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings (Lecture Notes in Computer Science Vol.3320) （2004. XXIV, 891 p. 23,5 cm）
  • 洋書
Parallel and Distri…
Waste and Recycling Challenges (Can the Earth Survive?)
  • 洋書
Waste and Recycling…