Ben-Alexander Bohnke

Größe: px
Ab Seite anzeigen:

Download "Ben-Alexander Bohnke"

Transkript

1 Ben-Alexander Bohnke INTEGRALE LOGIK - die wichtigsten Themen und Theorien Ich habe ein vollständiges eigenes Logik-System die Integrale Logik entworfen, dadurch habe ich natürlich an sehr vielen logischen Themen gearbeitet. Ich will hier die wichtigsten Punkte herausheben, wobei ich an dieser Stelle weitgehend auf Formalisierungen verzichte, um den Text möglichst allgemeinverständlich zu halten (im Einzelnen sind diese Themen in meinen beiden Logik-Büchern abgehandelt, dort auch in formal-logischer Form). - Sprach-Orientierung Die Logik geht heute (nach dem linguistic turn ) normalerweise sprachlich von Aussagen aus, die wahr oder falsch sein kann. Ich gehe dagegen neutral von Relationen aus, die belegt sein können oder nicht. Relationen können Aussagen bzw. Sätze sein, aber auch Gedanken, Sachverhalte u. a. Der Einfachheit halber beschränke ich mich im Folgenden aber oft auf Aussagen bzw. Sätze. - Struktur eines Satzes Die Logik unterscheidet zwischen 1 stelligen Prädikaten ( ist Pfarrer), 2-stelligen Prädikaten ( ist Vater von ) usw. Erstens ist diese Unterscheidung ohnehin relativ (kontextabhängig), aber sie betrifft zweitens vor allem nur die syntaktische Oberflächenstruktur eines Satzes. In der entscheidenden semantischen Tiefenstruktur wäre der Satz a ist Pfarrer zu deuten als a ist Element der Klasse der Pfarrer, also mit 2-stelligem Prädikat ( ist Element von ). Auch andere, intensionale Deutungen verweisen auf eine 2-stellige Grundstruktur, d. h. auf eine Relation. - Extension und Intension Normalerweise wird bis heute bestimmt: Die Extension eines Wortes ist ein Individuum (Objekt) bzw. eine Klasse von Individuen (Objekten). So gilt als Extension des Wortes Mensch die reale Klasse der Menschen. Als Intension bezeichnet man einen Begriff (oder eine Eigenschaft). So wäre die Intension des Wortes Mensch der Begriff des Menschen. Das klingt zunächst überzeugend, ist aber bei genauer Analyse nicht aufrechtzuerhalten. In der Klasse der Menschen werden die einzelnen Menschen mit ihren konkreten, individuellen Eigenschaften erfasst. Diese reale Klasse kann man aber nicht als Extension bestimmen. Sonst wäre jeder Satz über Menschen analytisch bzw. redundant, denn in der Extension des Wortes Mensch wären bereits alle Informationen über jeden einzelnen Menschen enthalten. Man kann nur sagen, die Extension des Wortes Mensch ist die abstrakte Klasse Mensch, in der die einzelnen Menschen allein mit ihrer kollektiven Eigenschaft Mensch erfasst werden.

2 Ben-Alexander Bohnke: INTEGRALE LOGIK Themen und Theorien (2012) Als Extension eines Satzes wird in der Logik üblicherweise der Wahrheitswert des Satzes bestimmt, als Intension sein Wahrheitswert in allen möglichen Welten. Diese Theorie besitzt den Vorteil der Eleganz, nur leider den Nachteil, dass sie unbrauchbar ist. Denn danach besäßen ja alle wahren Sätze dieselbe Extension, eben den Wahrheitswert wahr. Ich habe dargelegt, dass vielmehr gilt: Die Extension eines Satzes ist ein Sachverhalt (eine Relation zwischen Sachen bzw. Objekten) oder eine Relation zwischen Sachverhalten. Als Extension des Satzes Sokrates ist Philosoph kann man den Sachverhalt bestimmen, dass Sokrates Element der Klasse der Philosophen ist. Die Intension eines Satzes ist eine Relation zwischen Begriffen ( Begriffsverhalt analog Sachverhalt) bzw. eine Relation zwischen Begriffsverhalten (wegen der Kompliziertheit verzichte ich hier auf ein Beispiel). - Konstanten und Variablen In der Logik unterscheidet man zwischen Konstanten und Variablen: Konstanten sind Wörter (Terme) mit feststehender Bedeutung, z. B. der Name Karl Raimund Popper für den bekannten Philosophen. Variablen sind quasi Leerstellen, für die man Konstanten einsetzen kann. So kann man für die Variable x in x ist Philosoph verschieden Namen einsetzen wie Sokrates, Aristoteles usw. Nun arbeitet die formale Logik ja ausschließlich mit formalen Termen, z. b. a, b und c für Konstanten und x und y für Variablen. Ich habe erstens gezeigt, dass die Unterscheidung zwischen Konstanten und Variablen bei formalen Termen letztlich willkürlich ist. Zweitens habe ich gezeigt, dass man nicht nur qualitativ zwischen Konstanten und Variablen unterscheiden sollte, sondern besser einen quantitativen Begriff der Konstanz (bzw. Variabilität) einführt; man kann ihn Bestimmtheitsgrad nennen. Der wird definiert als 1/durch Anzahl der erlaubten Möglichkeiten. Vereinfacht gesagt: Wenn man für einen Term nur eine Bedeutung einsetzen kann, ist es eine echte Konstante mit dem Bestimmtheitsgrad 1. Je mehr Bedeutungen man einsetzen kann, desto unbestimmter wird der Term, desto geringer der Bestimmtheitsgrad. - Aufbau der Logik Oft wird es in der Logik so dargestellt, als haben Aussagen-, Prädikaten- und Quantoren- Logik keinen inneren Zusammenhang, die eine beziehe sich eben auf Aussagen, die andere auf Quantoren bzw. Prädikate. Nach meinem Modell sind die Logiken dagegen nach ihrer quantitativen Ausdrucksmöglichkeit geordnet:. Aussagen-Logik: sie gibt nur implizit die (relativen) Werte 1(100%) oder 0 (0 %) an. Quantoren-Logik: sie kann normalerweise folgende Werte angeben: 1, < 1, 0, > 0 (die Prädikaten-Logik ist anders zu deuten) Die Quantoren-Logik und vor allem die Aussagen-Logik sind nur Grenzwerte einer quantitativen Logik, die alle Werte zwischen 1 und 0 ausdrücken kann. - Quantitative Logik Normal gibt es in der Aussagen-Logik nur wahr oder falsch: z. B. wenn A, dann B: A B. In meiner Logik kann p(a B) aber jeden beliebigen Wert zwischen 0 und 1 annehmen. Man könnte meinen, das sei mit einer wahrscheinlichkeitstheoretischen Deutung gleichzusetzen und somit nicht innovativ. Aber in der quantitativen Logik bleibt doch die logische Struktur erhalten: p(a B) = a+c+d / a+b+c+d

3 Ben-Alexander Bohnke: INTEGRALE LOGIK Themen und Theorien (2012) (das ergibt sich aus der Wahrheitstafel, wie hier nicht erläutert werden soll) Der wahrscheinlichkeitstheoretische Ausdruck berechnet sich aber anders: p(b / A) = a / a+b Es geht zwar in beiden Fällen um relative Werte, als um Quotienten, die Anzahl der günstigen Fälle geteilt durch die Anzahl aller Fälle, aber die Berechnung ist doch sehr unterschiedlich. - Positiv-Implikation Ein zentraler Junktor in der Logik ist die Implikation (wenn dann). Nun wird ein Satz A B aber formal-logisch so interpretiert, dass er auch wahr ist, wenn der Vordersatz A falsch ist. Das widerspricht jedoch der Auffassung von Wenn-dann-Sätzen in der normalen Sprache bzw. Rede. Dort wird ein Wenn-dann-Satz wenn A, dann B so verstanden, dass er nur etwas für die Fälle aussagt, in denen A wahr ist, sonst bleibt der Satz unbestimmt. Entsprechend habe ich die Positiv-Implikation A* B konzipiert. Sie ist für die Fälle, in denen A falsch ist, nicht definiert bzw. unbestimmt. Die Positiv-Implikation soll die normale Implikation nicht ersetzen, sondern ergänzen. In der Quantifizierung entspricht die Positiv- Implikation p(a * B) weitgehend der wahrscheinlichkeitstheoretischen Berechnung p(b / A). Bei der Positiv-Implikation sind zumindest 2 Ansätze zu unterschieden, in denen unterschiedliche logische Grundgesetze gelten:. Symmetrie-Ansatz: (X * Y) * (X * Y). Asymmetrie-Ansatz: (X * Y) * (X * Y) - Asymmetrie zwischen All-Sätzen und Existenz-Sätzen In der herkömmlichen Logik ordnet man All-Sätzen und Partikulär-Sätzen eine unterschiedliche logische Struktur zu:. All-Satz: (z. B. alle Menschen sind sterblich ) wird analysiert als: Für alle x gilt: wenn sie Menschen sind, dann sind sie sterblich. Formal wird dabei der Implikator verwendet. Wie oben beschrieben, ist die Implikation auch wahr, wenn der Vordersatz falsch ist. Dies bedeutet im Beispiel: Der Satz alle Menschen sind sterblich gilt auch dann als wahr, wenn es gar keine Menschen gibt.. Partikulär-Satz (z. B. einige Menschen sind sterblich ) wird analysiert als: Es gibt mindestens einige x, für die gilt: sie sind Menschen und sterblich. Dieser Satz ist durch Verwendung der logischen Konjunktion und nur wahr, wenn auch wirklich einige sterbliche Menschen existieren. Man nennt einen solchen Satz daher auch Existenz-Satz. Meine Kritik ist, dass man diese logische Formalisierung abhängig gemacht hat von willkürlichen syntaktischen Asymmetrien in der normalen Sprache. Man sollte All-Sätze und Partikulär-Sätze aber logisch gleichbehandeln, z. B. so, dass sie beide Existenz implizieren. Das könnte man durch Verwendung der Positiv-Implikation in beiden Fällen erreichen.

4 Ben-Alexander Bohnke: INTEGRALE LOGIK Themen und Theorien (2012) Synthetische versus analytische Relationen Normal unterscheidet man zwischen analytischen und synthetischen Relationen bzw. Aussagen. Eine analytische Relation / Aussage kann sein:. Tautologie (immer wahr), z. B. alle Ehemänner sind verheiratet. Kontradiktion (immer falsch): z. B. alle Junggesellen sind verheiratet Ein synthetischer Satz kann wahr oder falsch sein: z. B. einige Junggesellen sind glücklich Nach meiner Theorie kann es aber auch partiell synthetische (bzw. partiell analytische oder semi-analytische) Aussagen geben: z. B. alle Ehemänner sind glücklich verheiratet. Das verheiratet ist dabei analytisch, doch das glücklich ist synthetisch. (Formal lässt sich das natürlich exakter zeigen als in der normalen Sprache.) - Tautologiegrad Normalerweise unterscheidet man in der Logik nur: eine Aussage ist tautologisch oder nicht. Ich ordne dagegen jedem Satz einen Tautologiegrad zu. Eine Tautologie hat einen Tautologiegrad von 1, eine Kontradiktion von 0. Synthetische und semi-analytische Sätze liegen dazwischen. Z. B. hat die synthetische Implikation (wenn A, dann B) A B einen Tautologiegrad von ¾, weil sie in 3 von 4 Möglichkeiten als wahr (belegt) gilt. - Theoretische Wahrscheinlichkeit und Informationswert Der Tautologie-Grad wird durch die theoretische Wahrscheinlichkeit berechnet. Die theoretische Wahrscheinlichkeit (oder Zufallswahrscheinlichkeit) gibt an, in wie vielen Welten (bzw. Fällen) eine Aussage wahr ist, im Verhältnis zu allen möglichen Welten (bzw. Fällen), unabhängig von den realen Verhältnissen. Z. B. hat ein einfacher Satz A eine Zufallswahrscheinlichkeit von ½, denn es gibt 2 mögliche Welten, A und nicht-a, und nur in der 1 Welt A ist A eben wahr. Die Aussagenverknüpfung A und B hat dagegen eine Zufallswahrscheinlichkeit von ¼, weil es 4 mögliche Welten (Kombinationen) gibt und nur in 1 Welt ist A und B wahr. Man kann die theoretische Wahrscheinlichkeit auch für quantitative logische Ausdrücke wie p(a B) = r/n berechnen, das zeige ich in meinen Logik-Büchern. Die theoretische Wahrscheinlichkeit ist umgekehrt proportional zum Informationsgehalt. Wie beschrieben, ist die theoretische Wahrscheinlichkeit (der Tautologiegrad) von A B genau ¾, weil A B in 3 von 4 möglichen Welten als wahr gilt. Die Bestätigung, dass A B wahr ist, liefert daher nur noch eine geringe Information, genau besitzt A B einen Informationsgehalt von ¼. Je theoretisch unwahrscheinlicher eine Aussage ist, desto größer ihr Informationsgehalt. - Schlüsse Üblichweise geht man in der Logik davon aus, dass ein Schluss entweder gültig ist oder nicht und ein ungültiger Schluss gilt eben gar nicht als Schluss. Man kann aber Schlüsse durchaus quantifizieren, das spielt eine große Rolle in meiner Integralen Logik. Dadurch wird die Logik natürlich extrem erweitert. Um zu berechnen, zu welchem Grad ein Schluss gilt, verwendet man wiederum die theoretische Wahrscheinlichkeit. Hie gilt es genau zu differenzieren:

5 Ben-Alexander Bohnke: INTEGRALE LOGIK Themen und Theorien (2012) Einen Schluss, der (anders als der deduktive Schluss) nicht mit 100% Sicherheit erfolgt, nennt man induktiven oder induktiv-statistischen Schluss. - Wenn man aber, wie in meiner Logik, genau den Prozentsatz berechnen kann, mit dem der Schluss gilt, kann man indirekt doch von einem deduktiven Schluss sprechen, z. B.: Dass Y mit 53% Wahrscheinlichkeit aus X folgt, gilt mit 100%. - Modallogik Die Quantitätsstufen der Logik, insbesondere der Quantoren-Logik, lassen sich auf beliebige Wirklichkeitsbereiche anwenden und finden sich entsprechend in unserer Sprache. Z. B. findet sich der All-Quantor (alle = 100%) in immer (Zeit), überall (Ort), notwendig (Modalität), geboten (Norm), überzeugt (Epistemik) u. a. Von daher lässt sich z. B. eine Modal-Logik (mit Bestimmungen wie notwendig, möglich, unmöglich, zufällig u. a.) problemlos aus der Quantoren-Logik ableiten, auch wenn viele Logiker es vorziehen, (unnötig) komplizierte, eigenständige Modelle einer Modal-Logik zu konzipieren. Diese Quantitätsstufen sind aber nicht nur extensional, sondern auch intensional gegeben, in dem Ausmaß, in dem eine Eigenschaft zugesprochen wird. Wenn man z. B. sagt Georg ist intelligent, was meint man damit? Dass er zu 100% intelligent ist, zu über 75%, zu über 50% oder nur zu über 0%? Oder wird immer auf eine Vergleichsgruppe Bezug genommen, z. B. dass Georg intelligenter ist als der Durchschnitt? Diese sprach-logischen Verhältnisse sind sehr kompliziert und keineswegs für jedes Adjektiv bzw. jede Eigenschaft gleich. Ich verweise hierfür auf mein Buch Integrale Logik.

Formeln. Signatur. aussagenlogische Formeln: Aussagenlogische Signatur

Formeln. Signatur. aussagenlogische Formeln: Aussagenlogische Signatur Signatur Formeln Am Beispiel der Aussagenlogik erklären wir schrittweise wichtige Elemente eines logischen Systems. Zunächst benötigt ein logisches System ein Vokabular, d.h. eine Menge von Namen, die

Mehr

5. Aussagenlogik und Schaltalgebra

5. Aussagenlogik und Schaltalgebra 5. Aussagenlogik und Schaltalgebra Aussageformen und Aussagenlogik Boolesche Terme und Boolesche Funktionen Boolesche Algebra Schaltalgebra Schaltnetze und Schaltwerke R. Der 1 Aussagen Information oft

Mehr

Logik für Informatiker

Logik für Informatiker Logik für Informatiker 2. Aussagenlogik Teil 3 30.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Letztes Mal Aussagenlogik Syntax: welche Formeln? Semantik:

Mehr

Terme stehen für Namen von Objekten des Diskursbereichs (Subjekte, Objekte des natürlichsprachlichen Satzes)

Terme stehen für Namen von Objekten des Diskursbereichs (Subjekte, Objekte des natürlichsprachlichen Satzes) Prädikatenlogik Man kann den natürlichsprachlichen Satz Die Sonne scheint. in der Prädikatenlogik beispielsweise als logisches Atom scheint(sonne) darstellen. In der Sprache der Prädikatenlogik werden

Mehr

I. Aussagenlogik. Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen.

I. Aussagenlogik. Aussagenlogik untersucht Verknüpfungen wie und, oder, nicht, wenn... dann zwischen atomaren und komplexen Sätzen. I. Aussagenlogik 2.1 Syntax Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen. Sätze selbst sind entweder wahr oder falsch. Ansonsten

Mehr

Rhetorik und Argumentationstheorie. [frederik.gierlinger@univie.ac.at]

Rhetorik und Argumentationstheorie. [frederik.gierlinger@univie.ac.at] Rhetorik und Argumentationstheorie 1 [frederik.gierlinger@univie.ac.at] Ablauf der Veranstaltung Termine 1-6 Erarbeitung diverser Grundbegriffe Termine 7-12 Besprechung von philosophischen Aufsätzen Termin

Mehr

Formale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 8, 11. Juni 2008. Formale Methoden II p.1/30

Formale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 8, 11. Juni 2008. Formale Methoden II p.1/30 Formale Methoden II SS 2008 Universität Bielefeld Teil 8, 11. Juni 2008 Gerhard Jäger Formale Methoden II p.1/30 Beispiele Anmerkung: wenn der Wahrheitswert einer Formel in einem Modell nicht von der Belegungsfunktion

Mehr

der einzelnen Aussagen den Wahrheitswert der zusammengesetzten Aussage falsch falsch falsch falsch wahr falsch wahr falsch falsch wahr wahr wahr

der einzelnen Aussagen den Wahrheitswert der zusammengesetzten Aussage falsch falsch falsch falsch wahr falsch wahr falsch falsch wahr wahr wahr Kapitel 2 Grundbegriffe der Logik 2.1 Aussagen und deren Verknüpfungen Eine Aussage wie 4711 ist durch 3 teilbar oder 2 ist eine Primzahl, die nur wahr oder falsch sein kann, heißt logische Aussage. Ein

Mehr

Binäre Suchbäume (binary search trees, kurz: bst)

Binäre Suchbäume (binary search trees, kurz: bst) Binäre Suchbäume (binary search trees, kurz: bst) Datenstruktur zum Speichern einer endlichen Menge M von Zahlen. Genauer: Binärbaum T mit n := M Knoten Jeder Knoten v von T ist mit einer Zahl m v M markiert.

Mehr

Wissensbasierte Systeme/ Expertensysteme. Teil 2

Wissensbasierte Systeme/ Expertensysteme. Teil 2 Wissensbasierte Systeme/ Expertensysteme Teil 2 BiTS, Sommersemester 2004 Dr. Stefan Kooths KOOTHS BiTS: Wissensbasierte Systeme/Expertensysteme Teil 2 1 Gliederung 1. Einführung und Einordnung 2. Entscheidungsunterstützung(ssysteme)

Mehr

Logik und Mengenlehre. ... wenn man doch nur vernünftig mit Datenbanken umgehen können will?

Logik und Mengenlehre. ... wenn man doch nur vernünftig mit Datenbanken umgehen können will? Mengenlehre und Logik: iederholung Repetitorium: Grundlagen von Mengenlehre und Logik 2002 Prof. Dr. Rainer Manthey Informationssysteme 1 arum??? arum um alles in der elt muss man sich mit herumschlagen,......

Mehr

Ein kausaler Zusammenhang entspricht einer speziellen wahren Implikation. Beispiel: Wenn es regnet, dann wird die Erde nass.

Ein kausaler Zusammenhang entspricht einer speziellen wahren Implikation. Beispiel: Wenn es regnet, dann wird die Erde nass. Implikation Implikation Warum ist die Tabelle schwer zu schlucken? In der Umgangssprache benutzt man daraus folgt, also, impliziert, wenn dann, nur für kausale Zusammenhänge Eine Implikation der Form:

Mehr

Logische Folgerung. Definition 2.11

Logische Folgerung. Definition 2.11 Logische Folgerung Definition 2.11 Sei 2A eine aussagenlogische Formel und F eine endliche Menge aussagenlogischer Formeln aus A. heißt logische Folgerung von F genau dann, wenn I ( ) =1für jedes Modell

Mehr

Fixpunktsemantik logischer Programme Pascal Hitzler Juli 1997 Kurzuberblick im Rahmen der Vorlesung Einfuhrung in Prolog von T. Cornell im Sommersemester 1997 an der Universitat Tubingen. Beweise sind

Mehr

Grundlagen der Informationverarbeitung

Grundlagen der Informationverarbeitung Grundlagen der Informationverarbeitung Information wird im Computer binär repräsentiert. Die binär dargestellten Daten sollen im Computer verarbeitet werden, d.h. es müssen Rechnerschaltungen existieren,

Mehr

Satzbedeutung. Ludwig Wittgenstein. Satzbedeutung. Satzbedeutung

Satzbedeutung. Ludwig Wittgenstein. Satzbedeutung. Satzbedeutung Was bisher geschah Semantik III Gerrit Kentner Semantik I lexikalische Semantik Ambiguitäten Sinnrelationen (vertikal und horizontal) Wortfelder / semantische Merkmale Semantik II Intension und Extension

Mehr

Mai 2006. Hauptseminar: Nichtrelationale Datenbanken Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln

Mai 2006. Hauptseminar: Nichtrelationale Datenbanken Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln Hauptseminar: Nichtrelationale Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln Mai 2006 Was ist eine Datenbank? Erweiterung relationaler um eine Deduktionskomponente Diese

Mehr

Universität Koblenz-Landau, Abteilung Koblenz FB 4 Informatik. Seminar Entscheidungsverfahren für logische Theorien. Endliche Modelle.

Universität Koblenz-Landau, Abteilung Koblenz FB 4 Informatik. Seminar Entscheidungsverfahren für logische Theorien. Endliche Modelle. Universität Koblenz-Landau, Abteilung Koblenz FB 4 Informatik Seminar Entscheidungsverfahren für logische Theorien Tobias Hebel Koblenz, am 18.02.2005 Inhaltsverzeichnis 1 Einleitung... 3 2 Grundlagen...

Mehr

Semantic Web Technologies I!

Semantic Web Technologies I! www.semantic-web-grundlagen.de Semantic Web Technologies I! Lehrveranstaltung im WS11/12! Dr. Elena Simperl! DP Dr. Sebastian Rudolph! M.Sc. Anees ul Mehdi! www.semantic-web-grundlagen.de Logik Grundlagen!

Mehr

y(p F x) gebunden und in den Formeln F xy

y(p F x) gebunden und in den Formeln F xy Wirkungsbereich (Skopus) eines Quantors i bzw. i nennen wir die unmittelbar auf i bzw. i folgende Formel. Wir sagen, eine IV i kommt in einer Formel A gebunden vor, wenn sie unmittelbar auf oder folgt

Mehr

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier fernau@uni-trier.de

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier fernau@uni-trier.de Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre

Mehr

Betragsgleichungen und die Methode der Fallunterscheidungen

Betragsgleichungen und die Methode der Fallunterscheidungen mathe online Skripten http://www.mathe-online.at/skripten/ Betragsgleichungen und die Methode der Fallunterscheidungen Franz Embacher Fakultät für Mathematik der Universität Wien E-mail: franz.embacher@univie.ac.at

Mehr

5 Logische Programmierung

5 Logische Programmierung 5 Logische Programmierung Logik wird als Programmiersprache benutzt Der logische Ansatz zu Programmierung ist (sowie der funktionale) deklarativ; Programme können mit Hilfe zweier abstrakten, maschinen-unabhängigen

Mehr

Theoretische Informatik

Theoretische Informatik Theoretische Informatik Einheit 1 Mathematische Methodik 1. Problemlösen 2. Beweistechniken 3. Wichtige Grundbegriffe Methodik des Problemlösens Klärung der Voraussetzungen Welche Begriffe sind zum Verständnis

Mehr

Theoretische Informatik

Theoretische Informatik Theoretische Informatik - das Quiz zur Vorlesung Teil I - Grundzüge der Logik In der Logik geht es um... (A) die Formen korrekten Folgerns (B) die Unterscheidung von wahr und falsch (C) das Finden von

Mehr

Grundbegriffe der Informatik

Grundbegriffe der Informatik Grundbegriffe der Informatik Einheit 3: Alphabete (und Relationen, Funktionen, Aussagenlogik) Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Oktober 2008 1/18 Überblick Alphabete ASCII Unicode

Mehr

1 Aussagenlogik und Mengenlehre

1 Aussagenlogik und Mengenlehre 1 Aussagenlogik und engenlehre 1.1 engenlehre Definition (Georg Cantor): nter einer enge verstehen wir jede Zusammenfassung von bestimmten wohl unterschiedenen Objekten (m) unserer Anschauung oder unseres

Mehr

Zusammenhänge präzisieren im Modell

Zusammenhänge präzisieren im Modell Zusammenhänge präzisieren im Modell Dr. Roland Poellinger Munich Center for Mathematical Philosophy Begriffsfeld Logik 1 Mathematik und Logik Die Mathematik basiert auf logisch gültigen Folgerungsschritten

Mehr

Wissensrepräsentation und -verarbeitung in Logiken. bereinigt Pränex Skolem ( -Eliminierung) Klausel (Menge von Klauseln, Notation ohne Quantoren)

Wissensrepräsentation und -verarbeitung in Logiken. bereinigt Pränex Skolem ( -Eliminierung) Klausel (Menge von Klauseln, Notation ohne Quantoren) Was bisher geschah Wissensrepräsentation und -verarbeitung in Logiken klassische Aussagenlogik klassische Prädikatenlogik: Wiederholung Syntax, Semantik Normalformen: bereinigt Pränex Skolem ( -Eliminierung)

Mehr

Modallogik (aussagenlogisch)

Modallogik (aussagenlogisch) Kapitel 2 Modallogik (aussagenlogisch) In diesem Abschnitt wird eine Erweiterung der Aussagenlogik um sogenannte Modalitäten behandelt. Damit erlangt man eine größere Aussagekraft der Sprache, allerdings

Mehr

Inhalt. SWP Logische Programme. Motivation. Formalisierung. Wissensbasis. Bsp (Bibel)Verwandtschaften. Motivation Sprache LP

Inhalt. SWP Logische Programme. Motivation. Formalisierung. Wissensbasis. Bsp (Bibel)Verwandtschaften. Motivation Sprache LP Inhalt SWP Logische Programme Franz Wotawa Institut für Softwaretechnologie wotawa@ist.tugraz.at Motivation Sprache LP Resolution Unifikation Datenbanken und logische Programme Semantik 2 Motivation Bsp

Mehr

Qualitative und Quantitative Forschungsmethoden

Qualitative und Quantitative Forschungsmethoden Qualitative und Quantitative Forschungsmethoden Unterschiede zwischen den Forschungsstrategien Überprüfendes vs. Entdeckendes Erkenntnisinteresse Ziel ist die Überprüfung von Theorieaussagen. Es werden

Mehr

Optimalitätskriterien

Optimalitätskriterien Kapitel 4 Optimalitätskriterien Als Optimalitätskriterien bezeichnet man notwendige oder hinreichende Bedingungen dafür, dass ein x 0 Ω R n Lösung eines Optimierungsproblems ist. Diese Kriterien besitzen

Mehr

Ernst-Moritz-Arndt-Universität Greifswald Fachbereich Physik Elektronikpraktikum

Ernst-Moritz-Arndt-Universität Greifswald Fachbereich Physik Elektronikpraktikum Ernst-Moritz-Arndt-Universität Greifswald Fachbereich Physik Elektronikpraktikum Protokoll-Nr.: 11 Digitalschaltungen Protokollant: Jens Bernheiden Gruppe: 2 Aufgabe durchgeführt: 25.06.1997 Protokoll

Mehr

5.1 Drei wichtige Beweistechniken... 55 5.2 Erklärungen zu den Beweistechniken... 56

5.1 Drei wichtige Beweistechniken... 55 5.2 Erklärungen zu den Beweistechniken... 56 5 Beweistechniken Übersicht 5.1 Drei wichtige Beweistechniken................................. 55 5. Erklärungen zu den Beweistechniken............................ 56 Dieses Kapitel ist den drei wichtigsten

Mehr

2. Vorlesung. Slide 40

2. Vorlesung. Slide 40 2. Vorlesung Slide 40 Knobelaufgabe Was tut dieses Programm? Informell Formal Wie stellt man dies sicher? knobel(a,b) { Wenn a = 0 dann return b sonst { solange b 0 wenn a > b dann { a := a - b sonst b

Mehr

Sozialwissenschaftliche Methoden I

Sozialwissenschaftliche Methoden I Sozialwissenschaftliche Methoden I 4. Grundlagen der empirischen Sozialforschung Wintersemester 2008/09 Jr.-Prof. Dr. Thomas Behrends Internationales Institut für Management ABWL, insb. Personal und Organisation

Mehr

Theoretische Grundlagen des Software Engineering

Theoretische Grundlagen des Software Engineering Theoretische Grundlagen des Software Engineering 7: Einführung Aussagenlogik schulz@eprover.org Logisches Schließen 2 gold +1000, 1 per step, Beispiel: Jage den Wumpus Performance measure death 1000 10

Mehr

Datenstruktur zum Speichern einer endlichen Menge M von Zahlen. Genauer:

Datenstruktur zum Speichern einer endlichen Menge M von Zahlen. Genauer: Binäre Suchbäume (binary search trees, kurz: bst) Datenstruktur zum Speichern einer endlichen Menge M von Zahlen. Genauer: Binärbaum T mit n := M Knoten Jeder Knoten v von T ist mit einer Zahl m v M markiert.

Mehr

7. Formale Sprachen und Grammatiken

7. Formale Sprachen und Grammatiken 7. Formale Sprachen und Grammatiken Computer verwenden zur Verarbeitung von Daten und Informationen künstliche, formale Sprachen (Maschinenspr., Assemblerspachen, Programmierspr., Datenbankspr., Wissensrepräsentationsspr.,...)

Mehr

Abiturvorbereitung Mathematik -Dierentialrechnungc Max. Hoffmann

Abiturvorbereitung Mathematik -Dierentialrechnungc Max. Hoffmann Abiturvorbereitung Mathematik -Dierentialrechnungc Max Hoffmann 1 Ganzrationale Funktionen Im Folgenden wollen wir uns mit ganzrationale Funktionen und der Untersuchung solcher beschäftigen. Dabei werden

Mehr

25 kann ohne Rest durch 5 geteilt werden! ist wahr

25 kann ohne Rest durch 5 geteilt werden! ist wahr Lehrbrief 2: Lektion 8 - C -Praxis 4-1 - 5.2 Einfache Entscheidungen mit if und die Vergleichsoperatoren Nun tauchen wir immer tiefer in die Geheimnisse von C ein und beschäftigen uns mit einem sehr wichtigen

Mehr

x 2 2x + = 3 + Es gibt genau ein x R mit ax + b = 0, denn es gilt

x 2 2x + = 3 + Es gibt genau ein x R mit ax + b = 0, denn es gilt - 17 - Die Frage ist hier also: Für welche x R gilt x = x + 1? Das ist eine quadratische Gleichung für x. Es gilt x = x + 1 x x 3 = 0, und man kann quadratische Ergänzung machen:... ( ) ( ) x x + = 3 +

Mehr

WS 2009/10. Diskrete Strukturen

WS 2009/10. Diskrete Strukturen WS 29/ Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws9

Mehr

Satz. Für jede Herbrand-Struktur A für F und alle t D(F ) gilt offensichtlich

Satz. Für jede Herbrand-Struktur A für F und alle t D(F ) gilt offensichtlich Herbrand-Strukturen und Herbrand-Modelle Sei F eine Aussage in Skolemform. Dann heißt jede zu F passende Struktur A =(U A, I A )eineherbrand-struktur für F, falls folgendes gilt: 1 U A = D(F ), 2 für jedes

Mehr

Verständlich schreiben

Verständlich schreiben Verständlich schreiben Ein Genie kann alles A ansprechend K kurz G gegliedert E einfach Einfach schreiben Wortwahl: geläufige Wörter verwenden, Fremdwörter erklären konkrete Wörter wählen, abstrakte Wörter

Mehr

Hinweise zur Bewertung und Korrektur der Abiturarbeiten (2007)

Hinweise zur Bewertung und Korrektur der Abiturarbeiten (2007) Hinweise zur Bewertung und Korrektur der Abiturarbeiten (2007) Kriterien zur Bewertung von Aufgaben: s. EPA: Gesamtanforderung umfasst inhaltliche, methodische und sprachliche Leistung; die Bearbeitung

Mehr

Gelungene Präsentationen und Wissenschaftliches Schreiben

Gelungene Präsentationen und Wissenschaftliches Schreiben Gelungene Präsentationen und Wissenschaftliches Schreiben Johannes Muck Veit Böckers Düsseldorf, 26.05.2011 Wissenschaftliches Schreiben und gelungene Präsentationen Agenda Teil A: Überzeugendes Präsentieren

Mehr

SWP Logische Programme

SWP Logische Programme SWP Logische Programme Alexander Felfernig, Stephan Gspandl Institut für Softwaretechnologie {alexander.felfernig,sgspandl}@ist.tugraz.at Institute for Software Technology Inhalt Motivation Logische Programme

Mehr

9.2. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83

9.2. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83 9.. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83 Die Grundfrage bei der Anwendung des Satzes über implizite Funktionen betrifft immer die folgende Situation: Wir haben eine Funktion f : V W und eine Stelle x

Mehr

Künstliche Intelligenz Unsicherheit. Stephan Schwiebert WS 2009/2010 Sprachliche Informationsverarbeitung Institut für Linguistik Universität zu Köln

Künstliche Intelligenz Unsicherheit. Stephan Schwiebert WS 2009/2010 Sprachliche Informationsverarbeitung Institut für Linguistik Universität zu Köln Künstliche Intelligenz Unsicherheit Stephan Schwiebert WS 2009/2010 Sprachliche Informationsverarbeitung Institut für Linguistik Universität zu Köln Rückblick Agent in der Wumpuswelt konnte Entscheidungen

Mehr

Die klassische Beschäftigungstheorie und -politik Deutsche Sparkassenzeitung, Nr. 65, 09.09.1977, Seite 2

Die klassische Beschäftigungstheorie und -politik Deutsche Sparkassenzeitung, Nr. 65, 09.09.1977, Seite 2 Deutsche Sparkassenzeitung, Nr. 65, 09.09.1977, Seite 2 1 Die Beseitigung der nach allgemeiner Ansicht zu hohen Arbeitslosigkeit ist heute das wirtschaftspolitische Problem Nummer eins. Um dieses Problem

Mehr

7 Rechnen mit Polynomen

7 Rechnen mit Polynomen 7 Rechnen mit Polynomen Zu Polynomfunktionen Satz. Zwei Polynomfunktionen und f : R R, x a n x n + a n 1 x n 1 + a 1 x + a 0 g : R R, x b n x n + b n 1 x n 1 + b 1 x + b 0 sind genau dann gleich, wenn

Mehr

Requirements Engineering Die Dinge von Anfang an richtig machen

Requirements Engineering Die Dinge von Anfang an richtig machen Requirements Engineering Die Dinge von Anfang an richtig machen Martin Glinz www.ifi.uzh.ch/~glinz Erstes Requirements Engineering Forum Zürich, 13. November 2008 Universität Zürich Institut für Informatik

Mehr

Folie 1: Fehlerbaumanalyse (FTA) Kurzbeschreibung und Ziel Die Fehlerbaumanalyse im Englischen als Fault Tree Analysis bezeichnet und mit FTA

Folie 1: Fehlerbaumanalyse (FTA) Kurzbeschreibung und Ziel Die Fehlerbaumanalyse im Englischen als Fault Tree Analysis bezeichnet und mit FTA Folie 1: Fehlerbaumanalyse (FTA) Kurzbeschreibung und Ziel Die Fehlerbaumanalyse im Englischen als Fault Tree Analysis bezeichnet und mit FTA abgekürzt dient der systematischen Untersuchung von Komponenten

Mehr

Zusammenfassung. Satz. 1 Seien F, G Boolesche Ausdrücke (in den Variablen x 1,..., x n ) 2 Seien f : B n B, g : B n B ihre Booleschen Funktionen

Zusammenfassung. Satz. 1 Seien F, G Boolesche Ausdrücke (in den Variablen x 1,..., x n ) 2 Seien f : B n B, g : B n B ihre Booleschen Funktionen Zusammenfassung Zusammenfassung der letzten LV Einführung in die Theoretische Informatik Woche 6 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Satz 1 Seien F, G Boolesche Ausdrücke

Mehr

Beispiel. Bsp.: Betrachte Schlussweise in: (3) folgt aus (1) und (2), siehe z.b. Resolutionsregel. was ist mit folgender Schlußweise:

Beispiel. Bsp.: Betrachte Schlussweise in: (3) folgt aus (1) und (2), siehe z.b. Resolutionsregel. was ist mit folgender Schlußweise: Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 5.4 Prädikatenlogik mit Gleichheit Resolution 192 Beispiel Bsp.: Betrachte Schlussweise in: 1 Wenn es regnet, dann wird die Straße nass. R N

Mehr

Künstliche Intelligenz Maschinelles Lernen

Künstliche Intelligenz Maschinelles Lernen Künstliche Intelligenz Maschinelles Lernen Stephan Schwiebert Sommersemester 2009 Sprachliche Informationsverarbeitung Institut für Linguistik Universität zu Köln Maschinelles Lernen Überwachtes Lernen

Mehr

Der Kapitän n ist heute nüchternn

Der Kapitän n ist heute nüchternn Konversationelle Implikaturen: : Bedeutungen der der anderen Art Art Martin Jung cognitas GmbH, Ottobrunn www.cognitas.de martin.jung@cognitas.de November 2003 Bedeutungen der anderen Art? Semantische

Mehr

Kapitel 4. Euklidische Ringe und die Jordansche Normalform. 4.1 Euklidische Ringe

Kapitel 4. Euklidische Ringe und die Jordansche Normalform. 4.1 Euklidische Ringe Kapitel 4 Euklidische Ringe und die Jordansche Normalform 4.1 Euklidische Ringe Die Ringe der ganzen Zahlen, Z, sowie Polynomringe über Körpern, K[X], wobei K ein Körper ist, haben die folgenden Gemeinsamheiten:

Mehr

Deduktive und induktive Aspekte statistischer Methoden

Deduktive und induktive Aspekte statistischer Methoden Deduktive und induktive Aspekte statistischer Methoden Wissenschaftshistorische und -philosophische Grundlagen Felix Günther Institut für Statistik Ludwig-Maximilians-Universität München Prof. Seising

Mehr

Lösungsmethoden gewöhnlicher Differentialgleichungen (Dgl.)

Lösungsmethoden gewöhnlicher Differentialgleichungen (Dgl.) Lösungsmethoden gewöhnlicher Dierentialgleichungen Dgl) Allgemeine und partikuläre Lösung einer gewöhnlichen Dierentialgleichung Eine Dierentialgleichung ist eine Gleichung! Zum Unterschied von den gewöhnlichen

Mehr

Informatik A ( Frank Hoffmann)

Informatik A ( Frank Hoffmann) Teillösungen zum 1. Aufgabenblatt zur Vorlesung Informatik A ( Frank Hoffmann) 1. Improvisieren Stellen Sie die Zahl 6 dar durch einen Ausdruck, der genau dreimal die Ziffer i enthält und ansonsten neben

Mehr

Theoretische Grundlagen des Software Engineering

Theoretische Grundlagen des Software Engineering Theoretische Grundlagen des Software Engineering 9: Prädikatenlogik schulz@eprover.org Rückblick 2 Rückblick: Vor- und Nachteile von Aussagenlogik Aussagenlogik ist deklarativ: Syntaxelemente entsprechen

Mehr

Die Einteilung nach Maßstabsgruppen kann sich auf folgende Grobgliederungen beschränken: Thematische Plankarten: größer 1 : 10 000

Die Einteilung nach Maßstabsgruppen kann sich auf folgende Grobgliederungen beschränken: Thematische Plankarten: größer 1 : 10 000 Maßstabsgruppen Die Einteilung nach Maßstabsgruppen kann sich auf folgende Grobgliederungen beschränken: Thematische Plankarten: größer 1 : 10 000 Thematische Karten Großer Maßstäbe 1 : 10 000 bis größer

Mehr

7. Das Spannungsfeld von Wissenschaft und Praxis

7. Das Spannungsfeld von Wissenschaft und Praxis Einführung in das Studium der Management- und Wirtschaftswissenschaften WS 2013/14 7. Das Spannungsfeld von Wissenschaft und Praxis Internationales Institut für Management und ökonomische Bildung Professur

Mehr

1 Einleitung. 1.1 Motivation. 1 Einleitung Seite 1

1 Einleitung. 1.1 Motivation. 1 Einleitung Seite 1 1 Einleitung Seite 1 1 Einleitung 1.1 Motivation Alle deutschen Unternehmen 1 sind gem. 264 (2) HGB verpflichtet, durch Aufstellung eines Jahresabschlusses ein den tatsächlichen Verhältnissen entsprechendes

Mehr

A.1 Schaltfunktionen und Schaltnetze

A.1 Schaltfunktionen und Schaltnetze Schaltfunktionen und Schaltnetze A. Schaltfunktionen und Schaltnetze 22 Prof. Dr. Rainer Manthey Informatik II Bedeutung des Binärsystems für den Rechneraufbau Seit Beginn der Entwicklung von Computerhardware

Mehr

ERGÄNZUNGEN ZUR ANALYSIS II MITTELWERTSATZ UND ANWENDUNGEN

ERGÄNZUNGEN ZUR ANALYSIS II MITTELWERTSATZ UND ANWENDUNGEN ERGÄNZUNGEN ZUR ANALYSIS II MITTELWERTSATZ UND ANWENDUNGEN CHRISTIAN HARTFELDT. Zweiter Mittelwertsatz Der Mittelwertsatz Satz VI.3.4) lässt sich verallgemeinern zu Satz.. Seien f, g : [a, b] R auf [a,

Mehr

Probeunterricht 2014 an Wirtschaftsschulen in Bayern Deutsch 8. Jahrgangsstufe Haupttermin

Probeunterricht 2014 an Wirtschaftsschulen in Bayern Deutsch 8. Jahrgangsstufe Haupttermin Probeunterricht 2014 an Wirtschaftsschulen in Bayern Deutsch 8. Jahrgangsstufe Haupttermin Name: Vorname:.... Aufsatz Arbeit am Text Textverständnis Sprachbetrachtung Datum... Erstkorrektur: Note: Punkte:

Mehr

Didaktik der Algebra Jürgen Roth Didaktik der Algebra 4.1

Didaktik der Algebra Jürgen Roth Didaktik der Algebra 4.1 Didaktik der Algebra 4.1 Didaktik der Algebra Didaktik der Algebra 4.2 Inhalte Didaktik der Algebra 1 Ziele und Inhalte 2 Terme 3 Funktionen 4 Gleichungen Didaktik der Algebra 4.3 Didaktik der Algebra

Mehr

2. Lernen von Entscheidungsbäumen

2. Lernen von Entscheidungsbäumen 2. Lernen von Entscheidungsbäumen Entscheidungsbäume 2. Lernen von Entscheidungsbäumen Gegeben sei eine Menge von Objekten, die durch Attribut/Wert- Paare beschrieben sind. Jedes Objekt kann einer Klasse

Mehr

Probleme beim Arbeiten mit Variablen, Termen und Gleichungen

Probleme beim Arbeiten mit Variablen, Termen und Gleichungen Probleme beim Arbeiten mit Variablen, Termen und Gleichungen Tage des Unterrichts in Mathematik, Naturwissenschaften und Technik Rostock 2010 Prof. Dr. Hans-Dieter Sill, Universität Rostock, http://www.math.uni-rostock.de/~sill/

Mehr

Gibt es verschiedene Arten unendlich? Dieter Wolke

Gibt es verschiedene Arten unendlich? Dieter Wolke Gibt es verschiedene Arten unendlich? Dieter Wolke 1 Zuerst zum Gebrauch des Wortes unendlich Es wird in der Mathematik in zwei unterschiedlichen Bedeutungen benutzt Erstens im Zusammenhang mit Funktionen

Mehr

Modellbildungssysteme: Pädagogische und didaktische Ziele

Modellbildungssysteme: Pädagogische und didaktische Ziele Modellbildungssysteme: Pädagogische und didaktische Ziele Was hat Modellbildung mit der Schule zu tun? Der Bildungsplan 1994 formuliert: "Die schnelle Zunahme des Wissens, die hohe Differenzierung und

Mehr

Baader Nutt 1: Basic Description Logics

Baader Nutt 1: Basic Description Logics Baader Nutt 1: Basic Description Logics Ludwig Maximilians Universität München Sommersemester 2009 Institut: CIS Hauptseminar: Beschreibungslogik Seminarleiter: Hans Leiß, Martin Hofmann Referentin: Natalia

Mehr

Bisher angenommen: jeder Spieler kennt alle Teile des Spiels. - Diskontfaktor des Verhandlungspartners

Bisher angenommen: jeder Spieler kennt alle Teile des Spiels. - Diskontfaktor des Verhandlungspartners 1 KAP 15. Spiele unter unvollständiger Information Bisher angenommen: jeder Spieler kennt alle Teile des Spiels seine Gegenspieler, deren Aktionen, deren Nutzen, seinen eigenen Nutzen etc. Oft kennt man

Mehr

Zusammenfassung. 1 Wir betrachten die folgende Signatur F = {+,,, 0, 1} sodass. 3 Wir betrachten die Gleichungen E. 4 Dann gilt E 1 + x 1

Zusammenfassung. 1 Wir betrachten die folgende Signatur F = {+,,, 0, 1} sodass. 3 Wir betrachten die Gleichungen E. 4 Dann gilt E 1 + x 1 Zusammenfassung Zusammenfassung der letzten LV Einführung in die Theoretische Informatik Woche 7 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 1 Wir betrachten die folgende Signatur

Mehr

Ergänzungen zur Analysis I

Ergänzungen zur Analysis I 537. Ergänzungsstunde Logik, Mengen Ergänzungen zur Analysis I Die Behauptungen in Satz 0.2 über die Verknüpfung von Mengen werden auf die entsprechenden Regelnfür die Verknüpfung von Aussagen zurückgeführt.

Mehr

Darstellung von Assoziationen

Darstellung von Assoziationen Darstellung von Assoziationen Wie bereit aus Kapitel 1 bekannt, beschreiben Assoziationen Beziehungen zwischen Objekten, die zwischen Klassen modelliert werden. Zunächst soll die Modellierung binärer Assoziationen

Mehr

13 OOP MIT DELPHI. Records und Klassen Ein Vergleich

13 OOP MIT DELPHI. Records und Klassen Ein Vergleich 13 OOP MIT DELPHI Delphi war früher "Object Pascal". Dieser Name impliziert eine Funktionalität, welche in der Welt der Programmierung nicht mehr wegzudenken ist: die objektorientierte Programmierung,

Mehr

Zur Definition von Definition Albert J. J. Anglberger, Peter Brössel

Zur Definition von Definition Albert J. J. Anglberger, Peter Brössel Zur Definition von Definition Albert J. J. Anglberger, Peter Brössel Zusammenfassung Wir werden in dieser Arbeit zwei neue Definitionsvorschläge von Definition entwickeln, die folgende Eigenschaften aufweisen:

Mehr

Frühjahr 2000, Thema 2, Der elektrische Widerstand

Frühjahr 2000, Thema 2, Der elektrische Widerstand Frühjahr 2000, Thema 2, Der elektrische Widerstand Referentin: Dorothee Abele Dozent: Dr. Thomas Wilhelm Datum: 01.02.2007 1) Stellen Sie ein schülergemäßes Modell für einen elektrisch leitenden bzw. nichtleitenden

Mehr

Logik & Semantik 7. Vorlesung Prädikatenlogik 1. Syntax der Prädikatenlogik Semantik der Prädikatenlogik: Grundbegriffe (Variablen-)Substitutionen

Logik & Semantik 7. Vorlesung Prädikatenlogik 1. Syntax der Prädikatenlogik Semantik der Prädikatenlogik: Grundbegriffe (Variablen-)Substitutionen Logik & Semantik 7. Vorlesung Prädikatenlogik 1 Syntax der Prädikatenlogik Semantik der Prädikatenlogik: Grundbegriffe (Variablen-)Substitutionen 1 Definition eines logischen Systems: Generelles Schema

Mehr

Daten, Information, Wissen explizites und implizites Wissen Expertensysteme (Aufgaben, Aufbau, Komponenten) Diagnoseziel Klassifikation

Daten, Information, Wissen explizites und implizites Wissen Expertensysteme (Aufgaben, Aufbau, Komponenten) Diagnoseziel Klassifikation Was bisher geschah Daten, Information, Wissen explizites und implizites Wissen Expertensysteme (Aufgaben, Aufbau, Komponenten) Diagnoseziel Klassifikation sicher heuristisch überdeckend Entscheidungstabellen

Mehr

DIFFERENTIALGLEICHUNGEN

DIFFERENTIALGLEICHUNGEN DIFFERENTIALGLEICHUNGEN GRUNDBEGRIFFE Differentialgleichung Eine Gleichung, in der Ableitungen einer unbekannten Funktion y = y(x) bis zur n-ten Ordnung auftreten, heisst gewöhnliche Differentialgleichung

Mehr

Was bisher geschah. Aufgaben: Diagnose, Entscheidungsunterstützung Aufbau Komponenten und Funktion

Was bisher geschah. Aufgaben: Diagnose, Entscheidungsunterstützung Aufbau Komponenten und Funktion Was bisher geschah Daten, Information, Wissen explizites und implizites Wissen Wissensrepräsentation und -verarbeitung: Wissensbasis Kontextwissen Problemdarstellung fallspezifisches Wissen repräsentiert

Mehr

Eigenwerte und Eigenvektoren von Matrizen

Eigenwerte und Eigenvektoren von Matrizen Eigenwerte und Eigenvektoren von Matrizen Das Eigenwertproblem Sei A eine quadratische Matrix vom Typ m,m. Die Aufgabe, eine Zahl λ und einen dazugehörigen Vektor x zu finden, damit Ax = λx ist, nennt

Mehr

Nichtlineare Optimierung ohne Nebenbedingungen

Nichtlineare Optimierung ohne Nebenbedingungen Kapitel 2 Nichtlineare Optimierung ohne Nebenbedingungen In diesem Abschnitt sollen im wesentlichen Verfahren zur Bestimmung des Minimums von nichtglatten Funktionen in einer Variablen im Detail vorgestellt

Mehr

1 Annehmen, Anziehen, Folgern, Ableiten

1 Annehmen, Anziehen, Folgern, Ableiten Eine Gebrauchsfassung des Redehandlungskalküls Oktober 2011 Moritz Cordes und Friedrich Reinmuth 1 ANNEHMEN, ANZIEHEN, FOLGERN, ABLEITEN... 1 2 TERME, FORMELN, SÄTZE UND SATZFOLGEN... 2 3 REGELN ZUM REDEHANDELN:

Mehr

Ist Gott eine Person?

Ist Gott eine Person? Lieferung 10 Hilfsgerüst zum Thema: Ist Gott eine Person? 1. Schwierigkeiten mit dem Begriff Person Karl Rahner: Die Aussage, daß Gott Person, daß er ein persönlicher Gott sei, gehört zu den grundlegenden

Mehr

Mathematische Grundlagen 2. Termrechnen

Mathematische Grundlagen 2. Termrechnen Inhaltsverzeichnis: 2. Termrechnen... 2 2.1. Bedeutung von Termen... 2 2.2. Terme mit Variablen... 4 2.3. Vereinfachen von Termen... 5 2.3.1. Zusammenfassen von gleichartigen Termen... 5 2.3.2. Vereinfachen

Mehr

Satz Ein Boolescher Term t ist eine Tautologie genau dann, wenn t unerfüllbar ist.

Satz Ein Boolescher Term t ist eine Tautologie genau dann, wenn t unerfüllbar ist. Erfüllbarkeit, Uerfüllbarkeit, Allgemeigültigkeit Defiitio Eie Belegug β ist passed zu eiem Boolesche Term t, falls β für alle atomare Terme i t defiiert ist. (Wird ab jetzt ageomme.) Ist β(t) = true,

Mehr

Wissensbasierte Systeme

Wissensbasierte Systeme WBS4 Slide 1 Wissensbasierte Systeme Vorlesung 4 vom 03.11.2004 Sebastian Iwanowski FH Wedel WBS4 Slide 2 Wissensbasierte Systeme 1. Motivation 2. Prinzipien und Anwendungen 3. Logische Grundlagen 4. Suchstrategien

Mehr

Wissen Konstrukt oder Rekonstruktion der Popperschen Welt 1? oder Warum sich die ISKO in International Society for Knowledge self-organization

Wissen Konstrukt oder Rekonstruktion der Popperschen Welt 1? oder Warum sich die ISKO in International Society for Knowledge self-organization Wissen Konstrukt oder Rekonstruktion der Popperschen Welt 1? oder Warum sich die ISKO in International Society for Knowledge self-organization umbenennen sollte. Walther Umstätter Humboldt-Universität

Mehr

Diana Lange. Generative Gestaltung Operatoren

Diana Lange. Generative Gestaltung Operatoren Diana Lange Generative Gestaltung Operatoren Begriffserklärung Verknüpfungsvorschrift im Rahmen logischer Kalküle. Quelle: google Operatoren sind Zeichen, die mit einer bestimmten Bedeutung versehen sind.

Mehr

Bestimmung einer ersten

Bestimmung einer ersten Kapitel 6 Bestimmung einer ersten zulässigen Basislösung Ein Problem, was man für die Durchführung der Simplexmethode lösen muss, ist die Bestimmung einer ersten zulässigen Basislösung. Wie gut das geht,

Mehr

Kapitel 15: Differentialgleichungen

Kapitel 15: Differentialgleichungen FernUNI Hagen WS 00/03 Kapitel 15: Differentialgleichungen Differentialgleichungen = Gleichungen die Beziehungen zwischen einer Funktion und mindestens einer ihrer Ableitungen herstellen. Kommen bei vielen

Mehr

50. Mathematik-Olympiade 2. Stufe (Regionalrunde) Klasse 11 13. 501322 Lösung 10 Punkte

50. Mathematik-Olympiade 2. Stufe (Regionalrunde) Klasse 11 13. 501322 Lösung 10 Punkte 50. Mathematik-Olympiade. Stufe (Regionalrunde) Klasse 3 Lösungen c 00 Aufgabenausschuss des Mathematik-Olympiaden e.v. www.mathematik-olympiaden.de. Alle Rechte vorbehalten. 503 Lösung 0 Punkte Es seien

Mehr

Von der Metaethik zur Moralphilosophie: R. M. Hare Der praktische Schluss/Prinzipien Überblick zum 26.10.2009

Von der Metaethik zur Moralphilosophie: R. M. Hare Der praktische Schluss/Prinzipien Überblick zum 26.10.2009 TU Dortmund, Wintersemester 2009/10 Institut für Philosophie und Politikwissenschaft C. Beisbart Von der Metaethik zur Moralphilosophie: R. M. Hare Der praktische Schluss/Prinzipien Überblick zum 26.10.2009

Mehr