Logikkalküle by Michael Richter
In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü lisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten läßt. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheits begriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des Wahrheitsbegriffes führte auf die untersuchung der Hilberttypkalküle von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollständigkeitsbeweise in diesen Kalkülen läßt sich u. E. eigentlich nur algebraisch verstehen. Etwas überspitzt könnte man formulieren, daß die Vollständigkeitsbeweise in Hilberttypkal külen Korollare zu Betrachtungen über Kongruenzrelationen in ge wissen Boole'schen Algebren sind. Bei den modelltheoretischen Be trachtungen haben wir uns kurz ge faßt und nur einige grundlegende Begriffe vorgestellt.-
Differenzenapproximationen partieller Anfangswertaufgaben
-
Zuverlässigkeit und Verfügbarkeit
-
Stochastische Methoden des Operations Research
-
Einführung in die Dynamik
-
Systematisches Programmieren
-
Statistische Qualitätskontrolle
-
Mathematik für Naturwissenschaftler
-
Dynamik und Regelung mechanischer Systeme
-
Analysis für Ökonomen
-
Turbulente Strömungen
-
Lineare Algebra für Ökonomen
-
Schalentheorie
-
Systemanalyse und Regelkreissynthese
-
Iterative Lösung großer schwachbesetzter Gleichungssysteme
-
Integralgleichungen
-
Algorithmen in Zellularautomaten
-
Methoden der analytischen Störungsrechnung und ihre Anwendungen
-
Übungen zur Technischen Mechanik
-
Datenbanksysteme: Konzepte und Modelle
-
Methode der finiten Elemente
-
Analyse von Rechensystemen
-
Mathematische Methoden des Operations Research
-
Einführung in die Strömungsmeßtechnik
-
Fehlertolerante Systeme
-
No Prices No Games!: Four Economic Models
-
CSL'88
-
Prinzipien der Künstlichen Intelligenz
-
User-Centred Engineering
-
Regionalisierung und interkommunale Zusammenarbeit
-
Medieval Ireland
-
CSL '89
-
Computer Science Logic
-
Biblical Principles for Covenantal Prophets
-
Challenger Divine
-
Carlo Mierendorff und die nationalsozialistische Wählerforschung 1930/31. Die Thesen Mierendorffs in Kontroverse zu zeitgenössischen, soziologischen und aktuellen Erklärungsansätzen
-
Bayern in der Friedlichen Revolution 1989/90
-
Der zufallige Mensch
-
Das narrative Urteil
-
Weltanstaunung
-
Das Saladin Fragment
-
Modelling Natural Language with Claude Shannon’s Notion of Surprisal
Richter, Michael: -
Michael Richter taught medieval history at University College Dublin and the University of Konstanz, Germany. He published a number of works on the medieval period, including Medieval Ireland, Ireland and her Neighbours in the Seventh Century and Bobbio in the early Middle Ages.
| SKU | Unavailable |
| ISBN 13 | 9783519023456 |
| ISBN 10 | 3519023458 |
| Title | Logikkalküle |
| Author | Michael Richter |
| Series | Leitfäden Der Angewandten Mathematik Und Mechanik - Teubner Studienbücher |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Fachmedien Wiesbaden |
| Year published | 1978-06-01 |
| Number of pages | 232 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |