Search results for ""logik""

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.

Read more less

Logik Von A wie Allquantor bis Z wie ZF-Axiom Für Schule, Studium und jeden, den es sonst noch interessiert Sie finden Logik nicht immer ganz logisch? Damit sind Sie nicht alleine, denn so einfach es auf den ersten Blick scheint, so anspruchsvoll ist dieses Teilgebiet aus Philosophie und Mathematik im Detail. Logik für Dummies erklärt Ihnen Schritt für Schritt die wichtigsten Begriffe und die Theorien der berühmtesten Logiker: Beweise, Prädikat, Implikation, die syllogistische Logik von Aristoteles, die Russelsche Antinomie und vieles mehr. Dabei verwendet Mark Zegarelli anschauliche Beispiele und schafft es so, dieses abstrakte Thema nicht nur verständlich zu erklären, sondern auch dessen Wert und Nutzen aufzuzeigen. Sie erfahren: Wie Sie mit Wahrheitstafeln Aussagen beurteilen Wie Sie mit einer Prädikatenlogik ein Argument beweisen Wie Sie logische Folgerungen ziehen Wie Sie Quanten- und Fuzzy-Logik begreifen

Read more less

Nach der Phänomenologie von Einbildungskraft (2010) legt John Sallis eine Logik der Imagination vor. Sallis stellt sich in die Tradition Hegels, Husserls und Heideggers, wenn er versucht, den Anspruch der Logik über den Bereich der Sprache zu erweitern. Wenn wir in der Einbildungskraft aber auch Widersprüche erfahren, muss eine Logik der Imagination auch diesen gerecht werden. Nicht nur die Logik des Traums, auch die Tiefe des Erinnerns und die Uneinholbarkeit unserer Geburt erfassen wir nur in den Widersprüchen der Einbildungskraft. Mit dem Entwurf einer phänomenologischen Kosmologie erweitert Sallis die Logik der Imagination bis in die Unendlichkeit des Weltalls.

Read more less

Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik. Für diese Neuauflage wurde der Text sachlich und stilistisch vollständig überarbeitet, er enthält verbesserte Beweise und Übungen mit Lösungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhängig von Vorlesungen aber auch zum Selbststudium genutzt werden.

Read more less