x : es gibt ein oder mehrere x, auf die zutrifft, dass...

Größe: px
Ab Seite anzeigen:

Download "x : es gibt ein oder mehrere x, auf die zutrifft, dass..."

Transkript

1 Björn Wiemer WS 2005/2005 Vorlesung: Einführung in die Linguistik Teil III: Semantik Pragmatik 3. Referenzsemantik: Quantoren, Skopus, Negation etc. Quantoren sind (meta- oder objektsprachliche) Ausdrücke, durch deren Zusatz sich für eine Aussage erst ein Wahrheitswert ergibt; vgl. (31a) Einige Säugetiere leben im Wasser. (31b)? Säugetiere leben im Wasser. (31b')? Alle Säugetiere leben im Wasser. Quantoren können quasi als Suchanweisungen verstanden werden, gemäß welcher an der Stelle der Variable (des Arguments) sukzessive Individuen (innerhalb eines Modells) eingesetzt werden sollen. Deshalb muß bei jedem Quantor vermerkt werden, auf welche Variable er sich bezieht (daher z.b. die Schreibweise: x, d.i. es gibt ein x, dass... ). Man sagt deshalb, dass Quantoren Variablen binden: wenn eine bestimmte Variable (z.b. x) im zu überprüfenden Ausdruck mehrmals vorkommt, muß an jeder Stelle jeweils dasselbe eingesetzt werden (s. Bsp. 21b und die Beispiele unten) Existenzaussagen x : es gibt ein oder mehrere x, auf die zutrifft, dass... x (Gans(x) & grinst(x)) (Mindestens) eine Gans grinst. x (Ente(x) & männlich(x)) kann entsprechen: Einige Enten sind männlich. Satz des Deutschen: Eine Gans grinst.? logische Form: x (Gans(x) & grinst(x)) 1 Eine Existenzaussage kann gedeutet werden als eine Aussage darüber, dass der Schnitt zweier Mengen nicht leer ist: (Mindestens) ein P ist Q : P (M') Q (M') { } Allaussagen x (Pfadfinder(x) Ente(x)) Alle Pfadfinder sind Enten. Man beachte: die logische Struktur der Allaussage entspricht der einer konditionalen Verknüpfung ( wenn..., dann... ). 1 Die Verknüpfung & ist aus dem Satz nicht ersichtlich, sondern ergibt sich prädikatenlogisch. Auch die logische Variable x ist als solche nur Bestandteil der logischen Form, nicht der natürlichsprachlichen Aussage. 1

2 In Quantifikationsstrukturen wie: x (Pfadfinder(x) Ente(x)) x (Gans(x) & grinst(x)) werden die Teile wie folgt benannt : Quantor Restriktion 2 Kernbereich (= Nukleus) Junktoren In natürlichsprachlichen Äußerungen (bzw. Sätzen mit natürlichsprachlicher Grammatik) werden Quantor und Restriktion praktisch in eine Konstituente zusammengezogen, und zwar in einfachen Sätzen im Regelfall ausgedrückt durch die NP/DP, die das grammatische Subjekt darstellt. Eine Illustration dieses Umstands stellt die Tatsache dar, dass Sätze wie (32) so interpretiert werden wie (32a), nicht jedoch wie (32b): (32) Alle Ingenieure grinsen. (32a) x [Ingenieur(x) grinst(x)] (32b) x [grinst(x) Ingenieur(x)] ; (3b) ist falsch, wenn z.b. Gustav auch grinst, aber kein Ingenieur ist. Vgl. (32c) x [Ingenieur(x) grinst(x)] [Alle Ingenieure] grinsen. Eine Allaussage kann als eine Teilmengenbeziehung dargestellt werden: Alle P sind Q : P (M) Q (M) 3.3. Kombination von Quantoren (33) Alle Männer lieben eine Frau. zwei Interpretationen möglich: (33a) x (Mann(x) y [Frau(y) & liebt(x,y)]) (33b) y (Frau(y) & (x) [Mann(x) liebt(x,y)]) jeder liebt seine eigene (distributiv) jeder liebt dieselbe 3.4. Negation Die Negation kann mit allem kombiniert werden, was einen Wahrheitswert hat. Man kann also auch bereits quantifizierte Aussagen insgesamt verneinen: (34a) Nicht alle Entenhausener sind Enten. (34b) x (Entenhausener(x) Ente(x)) = Negation des Satzes: 2 Anscheinend gibt es keine uneingeschränkte Quantifikation. Wenn manche Sätze doch so aussehen, bleibt die Restriktion implizit. Vgl. z.b. Es gibt keinen Wein mehr (geäußert auf einem Empfang): die Restriktion bezieht sich auf den Zeitraum und den Ort, an dem diese Aussage geäußert wird; schließlich soll nicht behauptet werden, daß es überall auf der Welt keinen Wein mehr gebe. 2

3 (35) Alle Entenhausener sind Enten. Mit anderen Worten: Es gibt mindestens ein Individuum i, für das gilt Entenhausener(i) & Ente(i). Daraus läßt sich die logische Äquivalenz ableiten: x (Entenhausener(x) Ente(x)) x (Entenhausener(x) & Ente(x)). Oder verallgemeinert: x (P(x) Q(x)) x (P(x) & Q(x)) Man erkennt außerdem, dass eine Negation sowohl extern wie intern anwendbar ist. Man sagt dazu auch, daß die Negation einen weiten oder einen engen Skopus hat. Unter Skopus ist allgemein die semantische und / oder syntaktische Reichweite eines Ausdrucks (insbesondere eines Quantors) zu verstehen, d.i. wie viele (und welche) Syntagmen (NPs, DPs etc., aber auch Gliedsätze) durch ihn modifiziert werden. Man spricht demgemäß davon, daß ein Quantor die Variablen, die sich in seinem Skopus befinden, bindet. Eine nicht durch einen Quantoren gebundene Variable wird als freie Variable bezeichnet. weitere Äquivalenzen: x [P(x) Q(x)] x [P(x) & Q(x)] Nicht alle Enten residieren in Entenhausen = 1 gdw. Es gibt mindestens eine Ente, die nicht in Entenhausen residiert. x [P(x) & Q(x)] x [P(x) Q(x)] Es gibt keine Gans, die in Entenhausen residiert = 1 gdw. Es gilt für alle Gänse, dass sie nicht in Entenhausen residieren. An der Schnittstelle zwischen Syntax und Semantik unterscheidet man zwischen Satznegation und Konstituenten-Negation. Bei ersterer befindet sich das Satzprädikat samt seiner Objekte im Skopus der Negation, bei letzterer nur jeweils eine Konstituente. Im Sinne der generativen Syntax kann man auch davon sprechen, dass die Satznegation die VP mitsamt den internen Argumenten in ihrem Skopus hat, aber unter Ausschluß des externen Arguments (= Subjekts). Letzteres repräsentiert wie in ** ausgeführt wurde in aller Regel die praesuppositio existentialis. Eine logisch relativ einfach darstellbare Negation findet nicht selten einen grammatisch opaken (undurchsichtigen) Ausdruck, der sich im Inneren von Sätzen befindet oder durch andere Ausdrücke lexikalisiert ist. Vgl. etwa: (36a) (36b) (36b') (p q): Es ist nicht der Fall, dass ich Kaffee oder Tee will.?ich will keinen Kaffee oder Tee. Ich will weder Kaffee noch Tee. Hier liegt ein Fall vor, wo sich der semantische Skopus (angegeben durch das Symbol vor der Klammerung) von seiner syntaktischen Realisierung (vom syntaktischen Skopus) unterscheidet: der semantische Skopus umfaßt die gesamte VP mitsamt den Objekt-NPs (Bsp. 3

4 36a), während die Negationsausdrücke entweder vor der koordinierten Objekt-NP stehen (weniger idiomatische Variante, Bsp. 36b) oder vor jeder der beiden Objekt-NPs (Bsp. 36'). Diese Diskrepanz zwischen semantischem und syntaktischem Skopus ist eine Eigenart der Satznegation im Deutschen. Übersetzt man z.b. die Sätze (36b) und (36b') ins Englische, erhält man (36Eng) I do not want (any) coffee or tea. Hier steht der Negator beim Auxiliar (Englisch, do), d.i. vor dem syntaktisch zentralen Bestandteil des Satzprädikats. Im Russischen wiederum wäre eine einfache Lokalisierung des Negators vor das finite Verb (choču) ebenso wenig idiomatisch wie im Deutschen die Negation vor einer koordinierten Objekt-NP (36'): (36Ru)?Ja ne choču kofe ili čaj. Idiomatischer wäre im Russischen eine verstärkende Negation der Art wie in (36Ru') Ja ne choču ni kofe ni čaja Das Quantoren-Viereck Man beachte nun folgende generelle Beziehungen zwischen quantifizierten Aussagen (und Quantoren): Affirmationen Negationen universal partikulär vgl. Horn (1989:208), nach Aristoteles (De Interpretatione) sowie Apuleius und Boethius Es gelten folgende logische Beziehungen: A, E: Aussagen A und E sind zueinander konträr (inkompatibel), d.i. sie können nicht gleichzeitig wahr sein; sie können aber gleichzeitig falsch sein (und eine dritte Aussage wahr). (37a) A: Alle Menschen haben Blutgruppe AB. (37b) E: Kein Mensch hat Blutgruppe AB. 4

5 A, O / I, E: Aussagen A und O bzw. I und E sind kontradiktorisch, d.i. sie können nicht gleichzeitig wahr oder gleichzeitig falsch sein. M.a.W.: zwischen A und O bzw. zwischen I und E erfolgt ein beidseitiges Entailment mit Negation der jeweils zweiten Aussage: [A O] [O A]. (38a) A: Alle Menschen haben Blutgruppe AB. (38b) O: Nicht alle Menschen haben Blutgruppe AB. (39a) I: Einige Menschen haben Blutgruppe AB. (39b) E: Kein Mensch hat Blutgruppe AB. A, I / E, O: Eine Aussage I ist zu A bzw. eine Aussage O ist zu E subaltern, da I notwendig wahr ist, wenn A wahr ist (bzw. O ist notwendig wahr, wenn E wahr ist); d.i. zwischen I und A und zwischen O und E besteht ein einseitiges Entailment (A I, E O). (40a) A: Alle Menschen haben Blutgruppe AB. (40b) I: Einige Menschen haben Blutgruppe AB. (41a) E: Kein Mensch hat Blutgruppe AB. (41b) O: Nicht alle Menschen haben Blutgruppe AB. I, O: Äußerungen I und O sind zueinander subkonträr, d.i. sie können nicht gleichzeitig falsch sein, können aber gleichzeitig wahr sein. (42a) I: Einige Menschen haben Blutgruppe AB. (42b) O: Nicht alle Menschen haben Blutgruppe AB. Lexikalisiert sind in der Regel (jedenfalls in europäischen Sprachen) die Quantoren- Relationen A (alle), E (keiner) und S (einige), nicht jedoch O (nicht alle). Vgl. die Reihen: A: alle alles jeder immer überall... S: einige etwas jemand manchmal irgendwo... E: keiner nichts niemand niemals nirgendwo... O: nicht alle nicht alles nicht jeder nicht immer nicht überall 3.6. Logische Relationen zwischen Sätzen (Aussagen) Die kontradiktorische und die konträre Beziehung stehen in einem allgemeineren Zusammenhang von logischen Relationen zwischen Aussagen. Kontrarietät (Inkompatibilität): Sie ist nicht nur zwischen Quantorenausdrücken (Quantifizierungen) möglich, sondern auch zwischen Aussagen anderer Art (z.b. bei graduierbaren Prädikaten, Reihenbeziehungen). (43) A: Das Wasser ist eiskalt. B: Das Wasser ist kochend heiß. (44) A: Heute ist die Generalprobe. 5

6 B: Heute ist die Erstaufführung. (45) A: Gestern war Montag. B: Gestern war Dienstag. (46) A: Annemarie ist jünger als Liselotte. B: Annemarie ist älter als Liselotte. In allen Fällen ist es möglich, dass beide Aussagen falsch sind und eine dritte Option wahr. Kontradiktorität: Im Gegensatz zur Kontrarietät gilt hier: tertium non datur. A und B sind zueinander komplementär, d.i. sie können nicht beide zugleich falsch sein. (47) A: Das Wasser ist eiskalt. B: Das Wasser ist nicht eiskalt. (48) A: Heute findet eine Generalprobe statt. Β: Heute findet keine Generalprobe statt. logisches Entailment ( ): Wenn A wahr ist, muß B notwendigerweise auch wahr sein. (49) A: Waldi ist ein Dackel. B: Waldi ist ein Hund. Entailments sind zunächst nur einseitig. Man kann diese Relation aber umkehren, denn aus einer Relation A B folgt: wenn B falsch ist, ist auch A falsch ( B A). Entailments sind transitiv: Wenn A B und B C, dann A C. Wichtig ist es zu beachten, dass aus der Negation von A ( A) nichts über den Wahrheitswert von B ausgesagt werden kann. Vgl.: Wenn Waldi ist ein Dackel falsch ist, folgt daraus weder, dass Waldi kein Hund ist, noch dass er ein Hund ist. Er könnte entweder einer anderen Hunderasse angehören (oder gar kein Rassehund, aber doch ein Hund sein) oder zur Gattung der Ponies (Alligatoren, Goldfische, Sittiche...) gehören. logische Äquivalenz ( ): De facto ein symmetrisches (beidseitiges) Entailment: A B B A. Beide Aussagen enthalten genau dieselbe (propositionale) Information. (50) A: Er ist der Bruder meiner Großmutter. B: Er ist mein Großonkel. (51) A: Heute ist Donnerstag. B: Morgen wird Freitag sein. (52) A: Das Glas ist halbleer. B: Das Glas ist halbvoll. (53) A: Jeder wird schlauer. B: Keiner bleibt so dumm, wie er war. 6

7 (54) A: Alle sind begeistert von Semantik. B: Keiner ist gelangweilt von Semantik. 7

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

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

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

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

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

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

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

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

4 Semantik von Nominalphrasen

4 Semantik von Nominalphrasen 4 Semantik von Nominalphrasen 4 Semantik von Nominalphrasen 4.1 Nominalphrasen und Determinatoren Eigennamen quantifizierende NPn und definite NPn die neben anderen natürlichsprachlichen Ausdrücken zur

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

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

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

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

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

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

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

Ontologisches. Dinge und Personen (Individuen) Stefan Engelberg, HS Semantik und Sprecherurteile, FS 2010, Universität Mannheim [Folie 1]

Ontologisches. Dinge und Personen (Individuen) Stefan Engelberg, HS Semantik und Sprecherurteile, FS 2010, Universität Mannheim [Folie 1] x ist blau. y ist eine schöne Vase. z ist eine hässliche blaue Vase. Ontologisches Eigenschaften Prädikationen Entitäten (zählbar) SCHÖN VASE BLAU HÄSSLICH (x) (z) (y) Grundlegende Entitätensorten (theorieabhängig)

Mehr

A Medial Topic Position for German W. Frey 2004

A Medial Topic Position for German W. Frey 2004 A Medial Topic Position for German W. Frey 2004 Ausgewählte Momente der deutschen Syntax 10.01.11 Dr. Fabian Heck Referentin: Nathalie Scherf, MA Linguistik 2 Gliederung 1. Definition des Begriffs Topik

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

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

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

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

Datum Wochen Band DVD Band eingelegt Protokoll kontr. Recovery kontr. Tag Nr. RW Sign. Sign. Sign.

Datum Wochen Band DVD Band eingelegt Protokoll kontr. Recovery kontr. Tag Nr. RW Sign. Sign. Sign. Monat: Januar Anzahl Bänder: 9 01.01.2015 Donnerstag Do DO 02.01.2015 Freitag Fr FR 03.01.2015 Samstag 04.01.2015 Sonntag 05.01.2015 Montag Mo1 MO 06.01.2015 Dienstag Di DI 07.01.2015 Mittwoch Mi MI 08.01.2015

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

Java Einführung Operatoren Kapitel 2 und 3

Java Einführung Operatoren Kapitel 2 und 3 Java Einführung Operatoren Kapitel 2 und 3 Inhalt dieser Einheit Operatoren (unär, binär, ternär) Rangfolge der Operatoren Zuweisungsoperatoren Vergleichsoperatoren Logische Operatoren 2 Operatoren Abhängig

Mehr

Einführung in die Computerlinguistik Statistische Grundlagen

Einführung in die Computerlinguistik Statistische Grundlagen Statistik 1 Sommer 2015 Einführung in die Computerlinguistik Statistische Grundlagen Laura Heinrich-Heine-Universität Düsseldorf Sommersemester 2015 Statistik 2 Sommer 2015 Überblick 1. Diskrete Wahrscheinlichkeitsräume

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

1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen. I.2. I.2. Grundlagen von von Programmiersprachen.

1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen. I.2. I.2. Grundlagen von von Programmiersprachen. 1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik

Mehr

Fersentalerisch: SVO SOV?

Fersentalerisch: SVO SOV? Linguistica tedesca- LS 44S - A.A. 07/08 - Das Fersentalerische, eine deutsche Sprachinsel in Norditalien 1 Birgit Alber, 7.4. 2008 Fersentalerisch: SVO SOV? SVO - Sprachen: Subjekt Verb Objekt SOV Sprachen:

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

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

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

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

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

Seminar Klassische Texte der Neuzeit und der Gegenwart Prof. Dr. Gianfranco Soldati. René Descartes Meditationen Erste Untersuchung

Seminar Klassische Texte der Neuzeit und der Gegenwart Prof. Dr. Gianfranco Soldati. René Descartes Meditationen Erste Untersuchung Seminar Klassische Texte der Neuzeit und der Gegenwart Prof. Dr. Gianfranco Soldati René Descartes Meditationen Erste Untersuchung INHALTSVERZEICHNIS 1 EINLEITUNG 3 1.1 PROBLEMSTELLUNG 3 1.2 ZIELSETZUNG

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

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

Nichtmonotones Schließen

Nichtmonotones Schließen Was bisher geschah Wissensrepräsentation und -verarbeitung in Zustandsübergangssystemen klassischer Aussagenlogik: Entscheidungstabellen, -bäume, -diagramme Wissensrepräsentation und -verarbeitung durch

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

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

Adverb Raum Beispielsatz

Adverb Raum Beispielsatz 1 A d v e r b i e n - A 1. Raum (Herkunft, Ort, Richtung, Ziel) Adverb Raum Beispielsatz abwärts aufwärts Richtung Die Gondel fährt aufwärts. Der Weg aufwärts ist rechts außen - innen Ort Ein alter Baum.

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

Klausur Formale Systeme Fakultät für Informatik WS 2009/2010

Klausur Formale Systeme Fakultät für Informatik WS 2009/2010 Klausur Formale Systeme Fakultät für Informatik WS 2009/2010 Prof. Dr. Bernhard Beckert 18. Februar 2010 Name: Mustermann Vorname: Peter Matrikel-Nr.: 0000000 Klausur-ID: 0000 A1 (15) A2 (10) A3 (10) A4

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

Kapitel DB:V (Fortsetzung)

Kapitel DB:V (Fortsetzung) Kapitel DB:V (Fortsetzung) V. Grundlagen relationaler Anfragesprachen Anfragen und Änderungen Relationale Algebra Anfragekalküle Relationaler Tupelkalkül Relationaler Domänenkalkül DB:V-67 Relational Algebra

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

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

II. Grundlagen der Programmierung. 9. Datenstrukturen. Daten zusammenfassen. In Java (Forts.): In Java:

II. Grundlagen der Programmierung. 9. Datenstrukturen. Daten zusammenfassen. In Java (Forts.): In Java: Technische Informatik für Ingenieure (TIfI) WS 2005/2006, Vorlesung 9 II. Grundlagen der Programmierung Ekkart Kindler Funktionen und Prozeduren Datenstrukturen 9. Datenstrukturen Daten zusammenfassen

Mehr

Einführung in PROLOG. Christian Stocker

Einführung in PROLOG. Christian Stocker Einführung in PROLOG Christian Stocker Inhalt Was ist PROLOG? Der PROLOG- Interpreter Welcher Interpreter? SWI-Prolog Syntax Einführung Fakten, Regeln, Anfragen Operatoren Rekursion Listen Cut Funktionsweise

Mehr

Beschreibungslogiken. Daniel Schradick 1schradi@informatik.uni-hamburg.de

Beschreibungslogiken. Daniel Schradick 1schradi@informatik.uni-hamburg.de Beschreibungslogiken Daniel Schradick 1schradi@informatik.uni-hamburg.de Was sind Beschreibungslogiken? Definition: Formalisms that represent knowledge of some problem domain (the world ) by first defining

Mehr

Grundbegriffe der Informatik

Grundbegriffe der Informatik Grundbegriffe der Informatik Einheit 15: Reguläre Ausdrücke und rechtslineare Grammatiken Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/25 Was kann man mit endlichen

Mehr

Grundlagen der Informatik I Informationsdarstellung

Grundlagen der Informatik I Informationsdarstellung Grundlagen der Informatik I Informationsdarstellung Einführung in die Informatik, Gumm, H.-P./Sommer, M. Themen der heutigen Veranstaltung. ASCIi Code 2. Zeichenketten 3. Logische Operationen 4. Zahlendarstellung

Mehr

Klausur für Studiengänge INF und IST

Klausur für Studiengänge INF und IST Familienname: Matrikelnummer: Studiengang: (bitte ankreuzen) INF IST MED Vorname: Email-Adresse: Immatrikulationsjahr: Klausur für Studiengänge INF und IST sowie Leistungsschein für Studiengang Medieninformatik

Mehr

Über semantische Konsistenzbedingungen deutscher Matrixprädikate Kerstin Schwabe & Robert Fittler

Über semantische Konsistenzbedingungen deutscher Matrixprädikate Kerstin Schwabe & Robert Fittler Über semantische Konsistenzbedingungen deutscher Matrixprädikate Kerstin Schwabe & Robert Fittler Abstract Previous accounts addressing the question what semantic properties of a matrix predicate determine

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

Grammatiken in Prolog

Grammatiken in Prolog 12. Grammatiken in Prolog 12-1 Grammatiken in Prolog Allgemeines: Gedacht zur Verarbeitung natürlicher Sprache. Dort braucht man kompliziertere Grammatiken als etwa im Compilerbau, andererseits sind die

Mehr

Einführung in die Linguistik, Teil 4

Einführung in die Linguistik, Teil 4 Einführung in die Linguistik, Teil 4 Syntax - Das Berechnen syntaktischer Strukturen beim menschlichen Sprachverstehen Markus Bader, Frans Plank, Henning Reetz, Björn Wiemer Einführung in die Linguistik,

Mehr

Kurstage IT Fachwirt(-in) IHK

Kurstage IT Fachwirt(-in) IHK Kurstage IT Fachwirt(-in) IHK 21.05.2016 Samstag H 23.09.2016 Freitag H Vertiefungstag 28.05.2016 Samstag H 24.09.2016 Samstag H Vertiefungstag 11.06.2016 Samstag H 25.09.2016 Sonntag H Vertiefungstag

Mehr

ONLINE - GRAMMATIK. Satzbau

ONLINE - GRAMMATIK. Satzbau Satzbau 1) Was man über den Satzbau wissen sollte. Ein Satz kann aus vielen einzelnen Wörtern bestehen. Diese Wörter können aber nicht beliebig irgendwo im Satz stehen. Sie werden geordnet und in Satzgliedern

Mehr

C++ - Operatoren. Eigene Klassen mit neuen Funktionen

C++ - Operatoren. Eigene Klassen mit neuen Funktionen C++ - Operatoren Eigene Klassen mit neuen Funktionen Übersicht Klassen bisher Eigene Operatoren definieren 2 Bisher Durch Kapselung, Vererbung und Polymorphy können nun eigene Klassen definiert werden,

Mehr

Warum Üben großer Mist ist

Warum Üben großer Mist ist Warum Üben großer Mist ist Kennst Du das? Dein Kind kommt aus der Schule. Der Ranzen fliegt in irgendeine Ecke. Das Gesicht drückt Frust aus. Schule ist doof! Und dann sitzt ihr beim Mittagessen. Und die

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

Kurstage Geprüfte(r) Technischer Fachwirt(-in) IHK

Kurstage Geprüfte(r) Technischer Fachwirt(-in) IHK Kurstage Geprüfte(r) Technischer Fachwirt(-in) IHK 16.04.2016 Samstag H 22.10.2016 Samstag H 23.04.2016 Samstag H 05.11.2016 Samstag H 24.04.2016 Sonntag H 19.11.2016 Samstag H 30.04.2016 Samstag H 26.11.2016

Mehr

Prädikatenlogik: Grundlagen

Prädikatenlogik: Grundlagen Prädikatenlogik: Grundlagen Vorversion der Folien des Kap. 9! Stand 15.05.2007 Im Verlauf der Vorlesungen zu diesem Kapitel werden Änderungen und Ergänzungen erfolgen. Sie sollten daher sorgfältig auf

Mehr

Übungen 19.01.2012 Programmieren 1 Felix Rohrer. Übungen

Übungen 19.01.2012 Programmieren 1 Felix Rohrer. Übungen Übungen if / else / else if... 2... 2 Aufgabe 2:... 2 Aufgabe 3:... 2 Aufgabe 4:... 2 Aufgabe 5:... 2 Aufgabe 6:... 2 Aufgabe 7:... 3 Aufgabe 8:... 3 Aufgabe 9:... 3 Aufgabe 10:... 3 switch... 4... 4 Aufgabe

Mehr

Grundlagen der Informatik II. Teil I: Formale Modelle der Informatik

Grundlagen der Informatik II. Teil I: Formale Modelle der Informatik Grundlagen der Informatik II Teil I: Formale Modelle der Informatik 1 Einführung GdInfoII 1-2 Ziele/Fragestellungen der Theoretischen Informatik 1. Einführung abstrakter Modelle für informationsverarbeitende

Mehr

Grundbegriffe der Informatik

Grundbegriffe der Informatik Grundbegriffe der Informatik Einheit 8: kontextfreie Grammatiken Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2009/2010 1/37 Überblick Kontextfreie Grammatiken

Mehr

Stolpersteine 1: Die Sache mit dem Kasus

Stolpersteine 1: Die Sache mit dem Kasus Stolpersteine 1: Die Sache mit dem Kasus Die Verwendung des richtigen Kasus (Falles) kann immer wieder Probleme bereiten. Lernen Sie hier die gängigsten Stolpersteine kennen, um auf darauf vorbereitet

Mehr

anfassen schlafen sprechen trinken fahren wohnen duschen geben

anfassen schlafen sprechen trinken fahren wohnen duschen geben Übung 1 Fülle die Lücken mit dem richtigen Infinitiv aus! 1. Möchtest du etwas, Nic? 2. Niemand darf mein Fahrrad 3. Das ist eine Klapp-Couch. Du kannst hier 4. Nic, du kannst ihm ja Deutsch-Unterricht

Mehr

ÜBERBLICK ÜBER DAS KURS-ANGEBOT

ÜBERBLICK ÜBER DAS KURS-ANGEBOT ÜBERBLICK ÜBER DAS KURS-ANGEBOT Alle aufgeführten Kurse sind 100 % kostenfrei und können unter http://www.unterricht.de abgerufen werden. SATZBAU & WORTSTELLUNG - WORD ORDER Aussagesätze / Affirmative

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

Stichwortverzeichnis. A-Aussage. logisches Quadrat 42

Stichwortverzeichnis. A-Aussage. logisches Quadrat 42 A A-Aussage logisches Quadrat 43 Addition boolesche Algebra 46 Algebra boolesche 46 Algorithmus 306 Alle-Aussage alternative Schreibweise 253 f., 265 erkennen 256 Übersetzung 250 f. Allquantor 242 Definition

Mehr

Einführung in die Computerlinguistik

Einführung in die Computerlinguistik Einführung in die Computerlinguistik Syntax II WS 2012/2013 Manfred Pinkal Eigenschaften der syntaktischen Struktur [1] Er hat die Übungen gemacht. Der Student hat die Übungen gemacht. Der interessierte

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

4. Digitale Datendarstellung

4. Digitale Datendarstellung 4 Digitale Datendarstellung Daten und Codierung Textcodierung Codierung natürlicher Zahlen - Stellenwertsysteme - Konvertierung - Elementare Rechenoperationen Codierung ganzer Zahlen - Komplementdarstellung

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

Satzanfänge für WHS Deutsch Schüler Beispiel Sätze. Deutsch 1

Satzanfänge für WHS Deutsch Schüler Beispiel Sätze. Deutsch 1 Satzanfänge für WHS Deutsch Schüler Beispiel Sätze Deutsch 1 zuerst: Nach der Schule habe ich Training, aber zuerst muss ich meine Hausaufgaben machen. als Erstes: Als Erstes möchte ich sagen, dass ich

Mehr

3.Inferenzsysteme 3.4 Logische Programme und Antwortmengensemantik

3.Inferenzsysteme 3.4 Logische Programme und Antwortmengensemantik Darstellung, Verarbeitung und Erwerb von Wissen 3.Inferenzsysteme 3.4 Logische Programme und Antwortmengensemantik DVEW WS 2004/05 c Gabriele Kern-Isberner 1 Stratifizierte Programme (Whlg.) Sei P ein

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

Mathematische Grundlagen Kurseinheit 1: Grundlagen

Mathematische Grundlagen Kurseinheit 1: Grundlagen Mathematische Grundlagen Kurseinheit 1: Grundlagen Autorin: Luise Unger In L A TEX gesetzt von Luise Unger c 2007 Fernuniversität in Hagen Fachbereich Mathematik (10/05) Alle Rechte vorbehalten 01141-4-01-S

Mehr

Semantic Web Grundlagen

Semantic Web Grundlagen Birte Glimm Institut für Künstliche Intelligenz 7. Nov 2011 Semantic Web Grundlagen Semantik von RDF(S) 2/47 Birte Glimm Semantic Web Grundlagen 7. Nov 2011 Organisatorisches: Inhalt Einleitung und XML

Mehr

Grundlagen der Künstlichen Intelligenz

Grundlagen der Künstlichen Intelligenz Grundlagen der Künstlichen Intelligenz 27. Aussagenlogik: Logisches Schliessen und Resolution Malte Helmert Universität Basel 28. April 2014 Aussagenlogik: Überblick Kapitelüberblick Aussagenlogik: 26.

Mehr

Einführung in die Computerlinguistik

Einführung in die Computerlinguistik Einführung in die Computerlinguistik Syntax WS 2006/2007 Manfred Pinkal Einführung in die Computerlinguistik 2006/2007 M. Pinkal UdS 1 Morphologie und Syntax Gegenstand der Morphologie ist die Struktur

Mehr

Montag, 14.3 Dienstag, 15.3 Mittwoch, 16.3 Donnerstag, 17.3 Freitag, 18.3 Samstag, 19.3 Sonntag, 20.3. Programmiertes Entwerfen 1 KG1 Götte

Montag, 14.3 Dienstag, 15.3 Mittwoch, 16.3 Donnerstag, 17.3 Freitag, 18.3 Samstag, 19.3 Sonntag, 20.3. Programmiertes Entwerfen 1 KG1 Götte 14.3. 0.3.016 1. Woche Montag, 14.3 Dienstag, 15.3 Mittwoch, 16.3 Donnerstag, 17.3 Freitag, 18.3 Samstag, 19.3 Sonntag, 0.3, IGErasmus Interface Design 1, IGErasmus WP Interface Design, KGErasmus4, KGErasmus6

Mehr

13. März 2011. Predigtgedanken zum Thema Zeit. Liebe Schwestern und Brüder,

13. März 2011. Predigtgedanken zum Thema Zeit. Liebe Schwestern und Brüder, 13. März 2011 Predigtgedanken zum Thema Zeit Liebe Schwestern und Brüder, über das Thema des diesjährigen Bibeltages bin ich nicht ganz glücklich, denn über das Thema habe ich noch nie gepredigt und musste

Mehr

1 Aussagenlogische Formeln

1 Aussagenlogische Formeln 1 Aussagenlogische Formeln Aufgabe 1.1 Transformieren Sie die Formel in disjunktive Normalform (DNF). ((:A! :B) ^ D)! ((A _ C) $ (:B ^ D)) Lösung 1.1 Schrittweise Transformation: Schritt 1: ((:A! :B) ^

Mehr

Prädikate zum Testen und Manipulieren der Struktur der Terme; Mehr meta-logische Prädikate z.b. zum Testen des Zustands der Ableitung;

Prädikate zum Testen und Manipulieren der Struktur der Terme; Mehr meta-logische Prädikate z.b. zum Testen des Zustands der Ableitung; Mehr Prolog Prolog bietet mehr an, z.b.: Prädikate zum Testen und Manipulieren der Struktur der Terme; Mehr meta-logische Prädikate z.b. zum Testen des Zustands der Ableitung; Mehr extra-logische Prädikate,

Mehr

Mathematik. UND/ODER Verknüpfung. Ungleichungen. Betrag. Intervall. Umgebung

Mathematik. UND/ODER Verknüpfung. Ungleichungen. Betrag. Intervall. Umgebung Mathematik UND/ODER Verknüpfung Ungleichungen Betrag Intervall Umgebung Stefan Gärtner 004 Gr Mathematik UND/ODER Seite UND Verknüpfung Kommentar Aussage Symbolform Die Aussagen Hans kann schwimmen p und

Mehr

Der Konjunktiv in der indirekten Rede.

Der Konjunktiv in der indirekten Rede. Anmerkungen: Diese Arbeitsblätter eignen sich zum Einsatz in der 7. und 8. Klasse zur Einführung oder Wiederholung des s in der indirekten Rede. Sinnvoll ist es sicherlich, den Text erst gemeinsam im Plenum

Mehr

Datenbanksysteme SS 2007

Datenbanksysteme SS 2007 Datenbanksysteme SS 2007 Frank Köster (Oliver Vornberger) Institut für Informatik Universität Osnabrück Kapitel 6b: Das relationale Modell Das Relationale Modell (vgl. Lerneinheit 6a) Wertebereiche (Domänen):

Mehr

Inhalt Vorwort Besser telefonieren warum eigentlich? Rhetorik am Telefon

Inhalt Vorwort Besser telefonieren warum eigentlich? Rhetorik am Telefon 4 Inhalt 6 Vorwort 7 Besser telefonieren - warum eigentlich? 8 Testen Sie Ihre Telefonkompetenz! 12 Das sind die Ziele 17 Welche Erfolgsfaktoren gibt es? 23 Rhetorik am Telefon 24 Positiv formulieren und

Mehr

Mathematische Grundlagen

Mathematische Grundlagen Luise Unger In LATEX gesetzt von Luise Unger Mathematische Grundlagen Kurseinheit 1: Grundlagen 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 77 7 7 777 7 77 7777777 77777 7 77 7 7 7 7 7 7 77777777777

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

Kapitel 4: (Einige) Andere Logiken

Kapitel 4: (Einige) Andere Logiken Kapitel 4: (Einige) Andere Logiken 4.1: Modale Logiken Grundgedanke Nicht alles stimmt unabhängig vom Zeitpunkt es schneit unabhängig vom Ort man kann das Meer sehen unabhängig vom Sprecher ich bin müde

Mehr

Duden Schülerhilfen. Englisch 5. Klasse Übungen zu Wortschatz und Wortlehre. Dudenverlag Mannheim Leipzig Wien Zürich

Duden Schülerhilfen. Englisch 5. Klasse Übungen zu Wortschatz und Wortlehre. Dudenverlag Mannheim Leipzig Wien Zürich Duden Schülerhilfen Englisch 5. Klasse Übungen zu Wortschatz und Wortlehre von Alois Mayer mit Illustrationen von Detlef Surrey 2., aktualisierte Auflage Dudenverlag Mannheim Leipzig Wien Zürich Inhalt

Mehr

2. Die Darstellung von Algorithmen

2. Die Darstellung von Algorithmen 2. Die Darstellung von Algorithmen Aus den Einführungsbeispielen und Übungsaufgaben ist erkennbar, dass zur Darstellung von Algorithmen Grundelemente notwendig sind. Neben der Notation einzelner elementarer

Mehr

Übungen zu Informatik 1

Übungen zu Informatik 1 Communication Systems Group (CSG) Prof. Dr. Burkhard Stiller, Universität Zürich, Binzmühlestrasse 14, CH-8050 Zürich Telefon: +41 44 635 6710, Fax: +41 44 635 6809, stiller@ifi.uzh.ch Fabio Hecht, Telefon:

Mehr

IT-Basics 2. DI Gerhard Fließ

IT-Basics 2. DI Gerhard Fließ IT-Basics 2 DI Gerhard Fließ Wer bin ich? DI Gerhard Fließ Telematik Studium an der TU Graz Softwareentwickler XiTrust www.xitrust.com www.tugraz.at Worum geht es? Objektorientierte Programmierung Konzepte

Mehr

Scrum Einführung. SWP: Spieleprogrammierung Fachbereich Mathematik und Informatik

Scrum Einführung. SWP: Spieleprogrammierung Fachbereich Mathematik und Informatik SWP: Spieleprogrammierung Fachbereich Mathematik und Informatik Scrum Einführung Do, Hoang Viet(do@mi.fu-berlin.de) Freie Universität Berlin, SoSe 2013 Rollen Product Owner Definiert die Ziele Product

Mehr