𝔖 Scriptorium
✦   LIBER   ✦
📁

Mathematische Logik mit Informatik-Anwendungen

✍ Scribed by Eberhard Bergmann, Helga Noll (auth.)

Publisher
Springer-Verlag Berlin Heidelberg
Year
1977
Tongue
German
Leaves
339
Series
Heidelberger Taschenbücher 187
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

Front Matter....Pages I-XV
Vorbemerkungen....Pages 1-3
Einführung und Motivation....Pages 4-25
Syntax und Semantik der Prädikatenlogik....Pages 26-39
Eigenschaften der Prädikatenlogik....Pages 40-154
Logische Grundlagen des maschinellen Beweisens (Resolventenprinzip)....Pages 155-237
Die Methode der Formalisierang: zwei Beispiele....Pages 238-258
Probleme mit der Logik....Pages 259-278
Back Matter....Pages 279-324

✦ Subjects

Mathematical Logic and Foundations; Mathematical Logic and Formal Languages

📜 SIMILAR VOLUMES

Mathematische Grundlagen für die Informa
📁 Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion
✍ Kurt-Ulrich Witt (auth.) 📂 Library 📅 2013 🏛 Vieweg+Teubner Verlag 🌐 German

<p>Logiken, Mengen, Relationen, Funktionen, Induktion und Rekursion sind grundlegende mathematische Konzepte und Methoden, die in allen Bereichen der Informatik für die Beschreibung von Problemen und deren Lösung benötigt werden. Das Beherrschen dieser Konzepte und Methoden ist Voraussetzung für das

Statistik mit Mathematica®: Methoden und
📁 Statistik mit Mathematica®: Methoden und ihre Anwendungen
✍ Dipl.-Phys. Andreas H. Jäger (auth.) 📂 Library 📅 1997 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

<p>Anwender, die mit Hilfe statistischer Verfahren experimentell ermittelte Resultate auswerten und grafisch darstellen wollen, finden in diesem Buch ein nützliches Werkzeug. 15 Kernanwendungen aus den Bereichen Physik, Biologie, Chemie, Pharmazie, Medizin, Psychologie, Pharmakologie und Ökonomie si

Trioker mathematisch gespielt: Logik und
📁 Trioker mathematisch gespielt: Logik und Fantasie mit Dreiecken
✍ M. Odier, Y. Roussel (auth.) 📂 Library 📅 1979 🏛 Vieweg+Teubner Verlag 🌐 German

<p>2 Die 24 logischen Steine ........ . . . . .. . 11 3 Puzzles und Formen . . . . . . . . . . . .. . . . 12 . A Ganz einfache Puzzles . . . . . . . . . .. . . . 12 B Einfache Puzzles. . . . . . . . . . . . .. . . . 13 . C Schwierige Puzzles ................ 14 D Erste Puzzles mit 24 Steinen . . . .

Grundlagen der Theoretischen Informatik
📁 Grundlagen der Theoretischen Informatik mit Anwendungen: Eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und Technischen Informatik
✍ Prof. Dr. Gottfried Vossen, Prof. Dr. Kurt-Ulrich Witt (auth.) 📂 Library 📅 2002 🏛 Vieweg+Teubner Verlag 🌐 German

Dieses Buch gibt eine anwendungsorientierte Einf?hrung in Grundlagen der<br> Theoretischen Informatik, und es vermittelt Kompetenzen zur L?sung von<br> Problemen mit Hilfe formaler Konzepte. Es richtet sich an Studierende der<br> Informatik aller Hochschularten, und es ist wegen seiner inhaltlichen