𝔖 Scriptorium
✦   LIBER   ✦
📁

Logik für Informatiker: Eine Einführung

✍ Scribed by Dr. rer. nat. Bernhard Heinemann, Prof. Dr. rer. nat. Klaus Weihrauch (auth.)

Publisher
Vieweg+Teubner Verlag
Year
1992
Tongue
German
Leaves
248
Series
Leitfäden und Monographien der Informatik
Edition
2
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

Front Matter....Pages I-VIII
Einführung und mathematische Grundlagen....Pages 1-21
Aussagenlogik....Pages 22-45
Prädikatenlogik....Pages 46-157
Grundlagen der Logischen Programmierung....Pages 158-189
Modale Aussagenlogik....Pages 190-219
Back Matter....Pages 220-240

✦ Subjects

Mathematical Logic and Formal Languages; Computer Science, general

📜 SIMILAR VOLUMES

Informatik für Ingenieure: Eine Einführu
📁 Informatik für Ingenieure: Eine Einführung
✍ Prof. Dr. rer. nat. Wolfgang Merzenich, Prof. Dr.-Ing. Hans Christoph Zeidler (a 📂 Library 📅 1997 🏛 Vieweg+Teubner Verlag 🌐 German

<p>Die Informatik hat sich in ihrer kurzen Geschichte zu einer selbständigen Ingenieurdisziplin entwickelt und ihre Grundlagen sind mittlerweile für jeden Studenten insbesondere der technischen Fachrichtungen unverzichtbar geworden. Das Buch ist mit seiner ausführlichen Art der Darstellung nicht nur

Logik und Algebra: Eine praxisbezogene E
📁 Logik und Algebra: Eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
✍ Frank Staab 📂 Library 📅 2012 🏛 Oldenbourg Wissenschaftsverlag 🌐 German

<p>Ein Computer ist letztendlich nichts anderes als in Hardware umgesetzte Boolesche Algebra. Ohne Verständnis dieser algebraischen Struktur kann man die Funktionsweise eines Rechners nie begreifen, und dazu sollte jeder Informatik- oder Wirtschaftsinformatikstudent in der Lage sein, auch dann, wenn

Rechnerarchitektur: Eine Einführung für
📁 Rechnerarchitektur: Eine Einführung für Ingenieure und Informatiker
✍ Helmut Malz (auth.) 📂 Library 📅 2004 🏛 Vieweg+Teubner Verlag 🌐 German

<p>Dieses Buch bietet eine kompakte Einführung in die Rechnerarchitektur. Sein Ziel ist es, Abläufe in einem Rechner verständlich zu machen. Dabei liegt der Schwerpunkt auf dem Verständnis von grundlegenden Zusammenhängen und weniger auf der Behandlung spezieller, oft kurzlebiger Details.<br></p>