Hakutulokset: Kirjoja kirjailijalta Hans Hermes
yhteensä 28 hakutulosta
Enumerability * Decidability Computability
Once we have accepted a precise replacement of the concept of algo- rithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which …
Introduction to Mathematical Logic
This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic …
Selecta Mathematica II
Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien
Einfuhrung in Die Verbandstheorie
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
In der Mathematik ist es immer als eine besonders interessante und wichtige Aufgabe angesehen worden, Algorithmen zur Lösung von Pro blemen zu entwickeln. Dabei ist ein …
Einführung in die Verbandstheorie
Term Logic with Choice Operator
Einführung in die Verbandstheorie
Die Verbandstheorie ist in neuerer Zeit in den Vordergrund des mathematischen Interesses getreten, weil sie ebenso wie die Gruppen theorie im Prinzip sehr einfache Zusammenhänge …