3. Sätze und Formeln

Größe: px
Ab Seite anzeigen:

Download "3. Sätze und Formeln"

Transkript

1 Klaus Mainzer, Die Berechnung der Welt. Von der Weltformel zu Big Data, München (Verlag C.H. Beck, mit zahlreichen farbigen Abbildungen, geb. 24,95, S.352) (empfohlene Zitierweise: Detlef Zöllner zu Klaus Mainzer, Die Berechnung der Welt. Von der Weltformel zu Big Data, München 2014, , in: 1. Methode und These I 2. Methode und These II 3. Sätze und Formeln 4. Zelluläre Automaten und der Strukturalismus 5. Superpositionen, Metaphern und Intuitionen 6. Semantik 7. Anthropologie Sätze sind immer schon welthaltig. Die Wörter, aus denen sie bestehen, bilden Prädikate, die auf eine Außenwelt verweisen, die das Subjekt zu diesen Prädikaten ist. Aufgrund dieser Subjekt-Prädikat-Struktur brauchen Sätze auch nicht vollständig zu sein, weil sie in unserer Alltagskommunikation immer schon in einen Kontext eingebettet sind, der unsere Sprechakte ergänzt und vervollständigt. (Vgl. meinen Post vom ) Formeln hingegen sind weltlos. Sie basieren zumeist nicht auf Wörtern, sondern auf Zahlen. Wenn sie nicht auf Zahlen basieren, sondern aus Wörtern zusammengesetzt sind, müssen sie vollständig und widerspruchsfrei sein und auf Axiome zurückgeführt werden können, die nicht auf Intuition, Evidenz oder Anschauung beruhen, sondern drei formale Kriterien erfüllen müssen: dazu zählt neben der gerade eben erwähnten Vollständigkeit und Widerspruchsfreiheit noch die Unabhängigkeit. Unabhängigkeit bedeutet, daß die Axiome aus keinem anderen Axiom ableitbar sind und noch nicht einmal von den anderen Axiomen desselben mathematischen Systems abhängig sein dürfen. So ist das Parallelaxiom der Euklidischen Geometrie nicht auf die sphärische Geometrie übertragbar, die meisten anderen Axiome der Euklidischen Geometrie hingegen schon. (Vgl. Mainzer 2014, S.60f.) Die Formeln und Sätze, die ich zu diesem ominösen Parallelaxiom zu lesen bekomme, ob nun von Klaus Mainzer oder bei Wikipedia, verstehe ich übrigens nicht und sind ein Beispiel für unnötig umständlich formulierte Definitionen. Ich

2 hatte bisher das Parallelaxiom immer als die Aussage verstanden, daß sich zwei parallele Geraden im Unendlichen treffen. Und diese Formulierung trifft gleichermaßen für die sphärische und die Euklidische Geometrie zu. Bei Wikipedia gibt es dazu noch komplizierte Winkelangaben, die für mein Empfinden gar nichts mit Parallelen zu tun haben. Als umständlich empfinde ich auch Mainzers Definition des einfachste(n) Gesetz(es) der Arithmetik, das dem Zählen zugrunde liegt : (a) Beginne mit 1. (b) Wenn bis zur Zahl n gezählt ist, addiere 1 zu n hinzu. Durch sukzessive Anwendung dieser Regel entsteht die unendliche Folge 1, 1+1, 1+1+1,... die den bekannten Symbolen der natürlichen Zahlen 1, 2, 3,... entspricht. (Mainzer 2014, S.22; Auslassungen von Mainzer) Warum diese umständliche Ausdrucksweise? Der zweite Teil (b) der Definition läßt sich auch einfacher ausdrücken: (b) Füge in der Folge fortlaufend 1 hinzu. Ich habe ziemlich lange über Mainzers Erläuterungen zum Gödelschen Unvollständigkeitsbeweis gebrütet, bis ich endlich verstanden habe, wo das Problem liegt. (Vgl. Mainzer 2014, S.69ff.) Die Formel selbst habe ich selbstverständlich überhaupt nicht verstanden, weshalb ich auch nicht lange darüber nachgedacht habe. Wirkliche Verstehensprobleme hatte ich hingegen mit dem Beispiel, das Mainzer zur Erläuterung der Formel verwendet. Dabei geht es darum, daß Gödel mathematisch bewiesen hat, daß es kein logisches System gibt, das vollständig ist, weil sich immer Sätze finden bzw. einfügen lassen, die sich nicht als wahr oder falsch entscheiden lassen. Wenn sich aber nicht alle Sätze als wahr oder falsch entscheiden lassen, dann ist ein logisches System auch nicht vollständig. Nun kann man anscheinend jedes logische System mit selbstbezüglichen Aussagen von der Art des Lügnerparadoxons sturmreif schießen: Selbstbezügliche Aussagen sind Aussagen über Aussagen, die über sich selbst etwas aussagen. Ein Beispiel ist die Antinomie vom Lügner, wonach die Aussage Ich spreche jetzt nicht die Wahrheit weder wahr noch falsch sein kann: Wäre sie wahr, so würde ich jetzt nicht die Wahrheit sprechen. Da das aber ein Lügner sagt, würde ich doch die Wahrheit sagen und die Aussage wäre falsch. Wäre die Aussage aber falsch, dann würde ich die Wahrheit sagen. Da das aber ein Lügner sagt, würde ich doch nicht die Wahrheit sagen und die Aussage wäre wahr. (Mainzer 2014, S.70) Schon die Formulierung Selbstbezügliche Aussagen sind Aussagen über Aussagen, die über sich selbst etwas aussagen, ist unnötig iterativ. Selbstbezügliche

3 Aussagen sind einfach Aussagen über sich selbst. Mehr nicht. Was mich aber an diesem Beispiel, so oft ich es las und mit Freunden diskutierte, immer wieder besonders irritierte, war, daß der Lügner in diesem Beispiel völlig überflüssig ist, da die Aussage für sich schon unentscheidbar ist. Wenn eine Aussage über sich selbst die Unwahrheit behauptet, dann ist ihre Wahrheit oder Falschheit als solche schon unentscheidbar, unabhängig davon, ob es ein Lügner oder Wahrheitsfreund ist, der sie macht. Da Mainzer aber in diesem Beispiel gleich zweimal darauf hinweist, daß es genau auf diesen Lügner ankommt Da das aber ein Lügner sagt..., muß seine Funktion in diesem Beispiel wohl mehr sein als bloß eine narrative Zutat. Zwischenzeitlich behalf ich mir dann mit der Hypothese, daß der Lügner für eine andere logische Ebene steht, von der aus die Unentscheidbarkeit von wahren Aussagen nachweisbar wird, im Sinne der von Mainzer an späterer Stelle angesprochenen Theorieprogression. (Vgl. Mainzer 2014, S.85) Mainzer zufolge hatte Gödels Unvollständigkeitsbeweis eine Revision von Beweisverfahren bewirkt. Von nun an galten mathematische Beweise nicht mehr als absolut, sondern nur noch als relativ wahr; relativ nämlich zum jeweiligen Stand der Theorieentwicklung. Da sich für jede Theorie unentscheidbare Sätze finden lassen, müssen sie ständig erweitert werden und in neue stärkere bzw. reichhaltigere Theorien überführt werden, ad infinitum. Ich vermutete also, daß Mainzer mit dem Beharren darauf, daß ein Lügner diese Aussage macht, einen Hinweis darauf geben will, daß mathematische Theorien immer nur von anderen formalen Ebenen ( Erweiterungen ) aus widerlegt werden können. Aber auch diese Vermutung half mir nicht viel weiter. Denn wenn ein logisches System aus sich selbst heraus nicht widerlegbar ist, so ist es meinem laienhaften Verständnis nach widerspruchsfrei und vollständig. Denn logische Systeme gelten immer nur für sich selbst und können eigentlich nicht von anderen logischen Systemen her widerlegt werden. Aber letztlich hätte ich mir alle diese Verwirrungen ersparen können. Denn endlich begriff ich, daß die Aussage des Lügners noch gar nicht als Aussage gemeint ist, sondern als Ankündigung einer Aussage. Mit jetzt ist nicht das Jetzt der aktuellen Aussage gemeint, sondern das Gleich einer in dieser Beispielerzählung noch ausstehenden Aussage! Die Probleme, die ich mit diesem Lügnerparadoxon hatte, sind ein Beispiel dafür, wie Sätze funktionieren. Sätze sind immer vieldeutig. Manchmal sind sie

4 auch unnötig umständlich und verleiten einen dazu, dieser Umständlichkeit noch einmal einen besonderen Sinn zu geben. Sätze sind letztlich relativ ungeeignet, um sie als Formeln zu verwenden. Hätte Mainzer es einfach bei der Ankündigung des Lügners belassen und sie selbst schon als Aussage genommen, ohne den Lügner zu erwähnen, hätte ich nicht diese Probleme damit gehabt. Ich vermute, ich leide an einer Art Formelblindheit, die der Gesichtsblindheit entspricht. Auch Menschen, die gesichtsblind sind, können Gegenstände erkennen. Sie erkennen also Gestalten und Muster, nur eben nicht Gesichter. So ergeht es mir mit Formeln. Was Formeln beschreiben, die Muster und Gesetzmässigkeiten also, verstehe ich durchaus, wenn sie nur in wohlgeformten, d.h. nicht unnötig umständlich formulierten Sätzen dargestellt werden. Nur die Formeln verstehe ich einfach nicht. Mainzers Verdikt ist in diesem Zusammenhang eindeutig: Wer die Sprache der Mathematik nicht versteht, kann diese Welt nicht verstehen. (Mainzer 2014, S.260) Dem halte ich entgegen: Beweisverfahren, die ich nicht verstehe, sind keine Beweisverfahren! Die ihnen zugrundeliegenden Thesen bleiben prinzipiell so lange unbewiesen, bis ich sie auf irgendeine Weise verstehe. Kurz: Beweisverfahren sind nicht an Formeln gebunden, sondern an meinen Verstand. Beim Lesen von Mainzers Buch bin ich deshalb so vorgegangen, daß ich in Formeln dargestellte Beweisverfahren als eine Art Orakelmaschine hinnahm, die ich, soweit sie in dieser Welt technisch angewendet werden, gelten lasse, ohne sie glauben zu müssen. In dieser Welt gelten die Formeln aber eben nur, weil sie, wie schon erwähnt, auf Zahlen basieren. Auch Mainzer fragt sich, wie es kommt, daß die Mathematik so gut auf die Welt (passt)? (Vgl. Mainzer 2014, S.275ff.) Er liefert eine verblüffende Antwort: Gerade weil sie so abstrakt ist und deshalb die welthaltige Mannigfaltigkeit nicht berücksichtigt! So zumindestens verstehe ich Mainzers diesbezüglichen Äußerungen zum Zahlbegriff. (Vgl. Mainzer 2014, S.276) Zahlen abstrahieren von Symbolen und Gegenständen. Anders als Wörter verweisen Zahlen nicht auf die Äpfel und Birnen, die sie zählen: Eine (natürliche) Zahl ist also eine Abstraktion. Sie umfasst alle Mengen von Dingen, die einander umkehrbar-eindeutig zugeordnet sind. (Mainzer 2014, S.276) Mainzer ergänzt, daß Zahlen sogar irreale Gegenstände zählen können, die nur in der Vorstellung existieren, wie z.b. Einhörner. Zum Zahlenraum gehören also auch gedankliche Vorstellungen, und es wird dabei kein Unterschied zwi-

5 schen fiktiv oder real, zwischen innen oder außen gemacht, eine Differenz, die für die Subjekt-Prädikat-Struktur von Sätzen unverzichtbar ist und auf der auch das menschliche Bewußtsein basiert. Plessner bezeichnet das als Doppelaspektivität, und sie bildet zusammen mit der exzentrischen Positionalität einen Grundbegriff seiner Anthropologie. Dann macht Mainzer noch eine weitere, für mich alles entscheidende Feststellung: Im strengen logischen Sinn einer Abstraktion sind sie (die Zahlen DZ) auch keine Gedanken, da wir auch davon abstrahieren. (Mainzer 2014, S.276) Wenn Zahlen also keine Gedanken sind, dann sind sie auch unabhängig vom menschlichen Bewußtsein. Und das ist der Grund, warum auch Maschinen mit ihnen rechnen können! Wir haben also allen Grund, nicht etwa unseren Intuitionen, sondern den Zahlen zu mißtrauen. Zumindestens dann, wenn sie den Bereich lebensweltlicher, anschaulicher Zuordnungen verlassen. Die Welt, in der Zahlen gültig sind, ist nicht die Lebenswelt des Menschen: Die Mathematik hat es mit Gegenständen zu tun, die buchstäblich nicht von dieser Welt (gemeint ist, die mit unseren Sinnen wahrnehmbare physische Welt) sind.... Zahlen mögen im Umgang mit Dingen der wahrnehmbaren Welt entstanden sein. Aber Wahrheiten über die Welt der Zahlen sind logisch unabhängig von Raum und Zeit der physischen Welt. (Mainzer 2014, S.276) Mainzers Satz Wer die Sprache der Mathematik nicht versteht, kann diese Welt nicht verstehen. bezieht sich also gar nicht auf die menschliche Lebenswelt, sondern auf eine Alien-Welt, die nur die verstehen, die den Zahlenraum jenseits menschlicher Erfahrung in Raum und Zeit miteinander teilen. (Vgl. Mainzer 2014, S.277)

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

Vorlesung Analysis I / Lehramt

Vorlesung Analysis I / Lehramt Vorlesung Analysis I / Lehramt TU Dortmund, Wintersemester 2012/ 13 Winfried Kaballo Die Vorlesung Analysis I für Lehramtsstudiengänge im Wintersemester 2012/13 an der TU Dortmund basiert auf meinem Buch

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

Rhetorik und Argumentationstheorie.

Rhetorik und Argumentationstheorie. Rhetorik und Argumentationstheorie 2 [frederik.gierlinger@univie.ac.at] Teil 2 Was ist ein Beweis? 2 Wichtige Grundlagen Tautologie nennt man eine zusammengesetzte Aussage, die wahr ist, unabhängig vom

Mehr

Semantik von Formeln und Sequenzen

Semantik von Formeln und Sequenzen Semantik von Formeln und Sequenzen 33 Grundidee der Verwendung von Logik im Software Entwurf Syntax: Menge von Formeln = Axiome Ax K ist beweisbar Formel ϕ beschreiben Korrektkeit Vollständigkeit beschreibt

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 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

Informationsblatt Induktionsbeweis

Informationsblatt Induktionsbeweis Sommer 015 Informationsblatt Induktionsbeweis 31. März 015 Motivation Die vollständige Induktion ist ein wichtiges Beweisverfahren in der Informatik. Sie wird häufig dazu gebraucht, um mathematische Formeln

Mehr

Essaypreis des Zentrums für Wissenschaftstheorie, Münster im Sommersemester 2011. 3. Platz. Tim Melkert

Essaypreis des Zentrums für Wissenschaftstheorie, Münster im Sommersemester 2011. 3. Platz. Tim Melkert Essaypreis des Zentrums für Wissenschaftstheorie, Münster im Sommersemester 2011 3. Platz Tim Melkert Weder wahr noch falsch? Formalismus und Intuitionismus in Mathematik und Philosophie verfasst im Rahmen

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

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

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

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

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

Schreiben. Prof. Dr. Fred Karl. Veranstaltung Wissenschaftliches Arbeiten

Schreiben. Prof. Dr. Fred Karl. Veranstaltung Wissenschaftliches Arbeiten Schreiben Prof Dr Fred Karl Veranstaltung Wissenschaftliches Arbeiten Schreiben Ihre Gedanken zusammenhängend, nachvollziehbar und verständlich zu Papier zu bringen Schreiben 1 Strukturieren 2 Rohfassung

Mehr

Jenseits der Endlichkeit. Eine Einführung in die cantorsche Unendlichkeitslehre. Diplom-Informatiker Peter Weigel

Jenseits der Endlichkeit. Eine Einführung in die cantorsche Unendlichkeitslehre. Diplom-Informatiker Peter Weigel Jenseits der Endlichkeit. Eine Einführung in die cantorsche Unendlichkeitslehre. Diplom-Informatiker Peter Weigel Januar 2010 Peter Weigel. Jenseits der Endlichkeit. Eine Einführung in die cantorsche Unendlichkeitslehre.

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

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

Primzahlen und RSA-Verschlüsselung

Primzahlen und RSA-Verschlüsselung Primzahlen und RSA-Verschlüsselung Michael Fütterer und Jonathan Zachhuber 1 Einiges zu Primzahlen Ein paar Definitionen: Wir bezeichnen mit Z die Menge der positiven und negativen ganzen Zahlen, also

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

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

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

Eine mathematische Reise ins Unendliche. Peter Koepke Universität Bonn

Eine mathematische Reise ins Unendliche. Peter Koepke Universität Bonn Eine mathematische Reise ins Unendliche Peter Koepke Universität Bonn Treffen sich die Schienen im Unendlichen? Gibt es unendlich ferne Punkte? Gibt es unendliche Zahlen? 1 Antwort: Nein! , so prostestire

Mehr

Logik für Informatiker

Logik für Informatiker Vorlesung Logik für Informatiker 3. Aussagenlogik Einführung: Logisches Schließen im Allgemeinen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Beispiel:

Mehr

Program = Logic + Control

Program = Logic + Control Program = Logic + Control Prozedurale/imperative Sprachen: Abläufe formulieren Computer führt aus von-neumann-maschine Idee von deklarativen/logischen/funktionalen Programmiersprachen: Zusammenhänge formulieren

Mehr

Lernstrategieinventar für Schülerinnen und Schüler

Lernstrategieinventar für Schülerinnen und Schüler WLI Schule Wie lerne Ich? Christoph Metzger, Claire E. Weinstein, David R. Palmer Lernstrategieinventar für Schülerinnen und Schüler Der Fragebogen ist beigelegt in : Metzger, C., 2006: WLI-Schule. Eine

Mehr

In der deutschsprachigen Hundeszene (ein unpassendes Wort, weil sich die Hunde ja nicht an den Diskussionen beteiligen können) herrscht heute ein

In der deutschsprachigen Hundeszene (ein unpassendes Wort, weil sich die Hunde ja nicht an den Diskussionen beteiligen können) herrscht heute ein Einleitung Hunde sind faszinierende Lebewesen. Ich glaube, es gibt kein anderes Tier, das derart viele Aufgaben und vor allem Ansprüche des Menschen erfüllt und erfüllen muss wie der Hund. Sie müssen für

Mehr

Was ist Mathematik? Eine Strukturwissenschaft, eine Geisteswissenschaft, aber keine Naturwissenschaft.

Was ist Mathematik? Eine Strukturwissenschaft, eine Geisteswissenschaft, aber keine Naturwissenschaft. Vorlesung 1 Einführung 1.1 Praktisches Zeiten: 10:00-12:00 Uhr Vorlesung 12:00-13:00 Uhr Mittagspause 13:00-14:30 Uhr Präsenzübung 14:30-16:00 Uhr Übungsgruppen Material: Papier und Stift wacher Verstand

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

Führungskräfteentwicklungsprogramms für einen Automobilzuliefererunternehmen mit über 240 Führungskräften.

Führungskräfteentwicklungsprogramms für einen Automobilzuliefererunternehmen mit über 240 Führungskräften. 1 2 3 Konzeptionierung und Durchführung eines Traineeprogramms für den zweitgrößten Energieversorger Bayerns. Konzeptionierung und Durchführung eines Führungskräfteentwicklungsprogramms für einen Automobilzuliefererunternehmen

Mehr

Kreativ visualisieren

Kreativ visualisieren Kreativ visualisieren Haben Sie schon einmal etwas von sogenannten»sich selbst erfüllenden Prophezeiungen«gehört? Damit ist gemeint, dass ein Ereignis mit hoher Wahrscheinlichkeit eintritt, wenn wir uns

Mehr

Weitere Beweistechniken und aussagenlogische Modellierung

Weitere Beweistechniken und aussagenlogische Modellierung Weitere Beweistechniken und aussagenlogische Modellierung Vorlesung Logik in der Informatik, HU Berlin 2. Übungsstunde Aussagenlogische Modellierung Die Mensa versucht ständig, ihr Angebot an die Wünsche

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

Primzahlzertifikat von Pratt

Primzahlzertifikat von Pratt Primzahlzertifikat von Pratt Daniela Steidl TU München 17. 04. 2008 Primzahltests in der Informatik "Dass das Problem, die Primzahlen von den Zusammengesetzten zu unterscheiden und letztere in ihre Primfaktoren

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

Ist das Marketing - Mix noch zeitgemäß?

Ist das Marketing - Mix noch zeitgemäß? Ist das Marketing - Mix noch zeitgemäß? Heinz Günther Münchner Straße 7 83539 Pfaffing Telefon: 08094 / 1703 Mobil: 0172 8333 884 mail@heinz-guenther.com www.divergenz-marketing.com 1. Allgemein / Hintergrund:

Mehr

Das erste Mal Erkenntnistheorie

Das erste Mal Erkenntnistheorie Das erste Mal... Das erste Mal...... Erkenntnistheorie Systemische Therapie hat nicht nur theoretische Grundlagen, sie hat sich in der letzten Dekade auch in verschiedene Richtungen und Ansätze aufgesplittert

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

Wenn dies tatsächlich der Anspruch dieser Fachbereiche sein sollte, so ist er mittels eines mathematischen Modells zwingend widerlegbar!

Wenn dies tatsächlich der Anspruch dieser Fachbereiche sein sollte, so ist er mittels eines mathematischen Modells zwingend widerlegbar! 5.1. Widerlegung der Wissenschaftlichkeit: Der kybernetische Beweis Nähere Untersuchungen des finanzwirtschaftlichen Modellansatzes haben uns zu äußerst beunruhigenden Erkenntnissen geführt, welche wir

Mehr

Logisches und Widersprüchliches

Logisches und Widersprüchliches Logisches und Widersprüchliches Manfred Dobrowolski Universität Würzburg Logisches und Widersprüchliches 1 Wahr oder falsch? 2 Antinomien 3 Logik-Rätsel 4 Paradoxien 5 Die Umkehr der Höflichkeit Aussagen

Mehr

Codierungstheorie Rudolf Scharlau, SoSe 2006 9

Codierungstheorie Rudolf Scharlau, SoSe 2006 9 Codierungstheorie Rudolf Scharlau, SoSe 2006 9 2 Optimale Codes Optimalität bezieht sich auf eine gegebene Quelle, d.h. eine Wahrscheinlichkeitsverteilung auf den Symbolen s 1,..., s q des Quellalphabets

Mehr

Richtig und fair argumentieren

Richtig und fair argumentieren Richtig und fair argumentieren Dieser Artikel zeigt warum Diskussionen sich oft im Kreis drehen. wie man so argumentieren kann, dass Diskussionen vom Fleck kommen. Inhaltsverzeichnis Das Enthymem... 1

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

JOHANNES BONNEKOH. Analysis. Allgemeine Hochschulreife und Fachabitur

JOHANNES BONNEKOH. Analysis. Allgemeine Hochschulreife und Fachabitur JOHANNES BONNEKOH Analysis Allgemeine Hochschulreife und Fachabitur Vorwort Vorwort Mathematik ist eine Sprache, die uns hilft die Natur und allgemeine naturwissenschaftliche Vorgänge zu beschreiben. Johannes

Mehr

Interpretationskurs: Das menschliche Wissen Zweifel und Sicherheit (Descartes; Übersicht zur Sitzung am 24.10.2011)

Interpretationskurs: Das menschliche Wissen Zweifel und Sicherheit (Descartes; Übersicht zur Sitzung am 24.10.2011) TU Dortmund, Wintersemester 2011/12 Institut für Philosophie und Politikwissenschaft C. Beisbart Interpretationskurs: Das menschliche Wissen Zweifel und Sicherheit (Descartes; Übersicht zur Sitzung am

Mehr

Skript und Aufgabensammlung Terme und Gleichungen Mathefritz Verlag Jörg Christmann Nur zum Privaten Gebrauch! Alle Rechte vorbehalten!

Skript und Aufgabensammlung Terme und Gleichungen Mathefritz Verlag Jörg Christmann Nur zum Privaten Gebrauch! Alle Rechte vorbehalten! Mathefritz 5 Terme und Gleichungen Meine Mathe-Seite im Internet kostenlose Matheaufgaben, Skripte, Mathebücher Lernspiele, Lerntipps, Quiz und noch viel mehr http:// www.mathefritz.de Seite 1 Copyright

Mehr

Lineare Gleichungssysteme

Lineare Gleichungssysteme Lineare Gleichungssysteme 1 Zwei Gleichungen mit zwei Unbekannten Es kommt häufig vor, dass man nicht mit einer Variablen alleine auskommt, um ein Problem zu lösen. Das folgende Beispiel soll dies verdeutlichen

Mehr

Weiterbildung und Zusatzausbildung der PHZ Luzern Interessantes und Spannendes aus der Welt der Mathematik September 2006, Dieter Ortner

Weiterbildung und Zusatzausbildung der PHZ Luzern Interessantes und Spannendes aus der Welt der Mathematik September 2006, Dieter Ortner Weiterbildung und Zusatzausbildung der PHZ Luzern Interessantes und Spannendes aus der Welt der Mathematik September 2006, Dieter Ortner Rechengesetze 1. Rechengesetze für natürliche Zahlen Es geht um

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

Einführung in Petri-Netze

Einführung in Petri-Netze Einführung in Petri-Netze Modellierung und Analysen von Workflows Vertretung: Stephan Mennicke, Reaktive Systeme SS 2012 Organisatorisches In der 24. KW (11.06. 17.06.): Vorlesung am Dienstag, 15:00 Uhr

Mehr

NINA DEISSLER. Flirten. Wie wirke ich? Was kann ich sagen? Wie spiele ich meine Stärken aus?

NINA DEISSLER. Flirten. Wie wirke ich? Was kann ich sagen? Wie spiele ich meine Stärken aus? NINA DEISSLER Flirten Wie wirke ich? Was kann ich sagen? Wie spiele ich meine Stärken aus? Die Steinzeit lässt grüßen 19 es sonst zu erklären, dass Männer bei einer Möglichkeit zum One-Night-Stand mit

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

Prolog basiert auf Prädikatenlogik

Prolog basiert auf Prädikatenlogik Software-Technologie Software-Systeme sind sehr komplex. Im Idealfall erfolgt die Programmierung problemorientiert, während die notwendige Übertragung in ausführbare Programme automatisch erfolgt. Prolog-Philosophie:

Mehr

Tarot - Karten der Seele

Tarot - Karten der Seele Tarot - Karten der Seele Das Wichtigste, das Sie sich merken sollten, wenn Sie Karten legen - egal, welche Karten - ist, dass Karten Wegweiser sind. Sie zeigen Tendenzen und Möglichkeiten auf, aber sie

Mehr

Womit beschäftigt sich Soziologie? (1) Verschiedene Antworten:

Womit beschäftigt sich Soziologie? (1) Verschiedene Antworten: (1) Verschiedene Antworten: Soziale Tatsachen Emile Durkheim Interaktion (soziale Wechselwirkungen Georg Simmel) (soziales) Handeln Max Weber Gruppen Strukturen Soziale Systeme Fazit: Mikro- und Makro-Ebene

Mehr

Was ist Mathematik? Prof. Dr. Gregor Nickel: Philosophie und Geschichte der Mathematik II. (Vorlesung im Sommersemester 2012) Stand: 17.04.

Was ist Mathematik? Prof. Dr. Gregor Nickel: Philosophie und Geschichte der Mathematik II. (Vorlesung im Sommersemester 2012) Stand: 17.04. Was ist Mathematik? Prof. Dr. Gregor Nickel: Philosophie und Geschichte der Mathematik II (Vorlesung im Sommersemester 2012) Stand: 17.04.12 Mathematik kommt aus dem Griechischen und bedeutet die Kunst

Mehr

Das Wunderbare am Tod ist, dass Sie ganz alleine sterben dürfen. Endlich dürfen Sie etwas ganz alleine tun!

Das Wunderbare am Tod ist, dass Sie ganz alleine sterben dürfen. Endlich dürfen Sie etwas ganz alleine tun! unseren Vorstellungen Angst. Ich liebe, was ist: Ich liebe Krankheit und Gesundheit, Kommen und Gehen, Leben und Tod. Für mich sind Leben und Tod gleich. Die Wirklichkeit ist gut. Deshalb muss auch der

Mehr

Kann ein Computer denken?

Kann ein Computer denken? Kann ein Computer denken? Fachbereich Betriebswirtschaft FH www.fh-koblenz.de/bw/komus www.komus.de www.fh-koblenz.de/bw/komus www.fh-koblenz.de/bw/komus 2 www.fh-koblenz.de/bw/komus 3 www.fh-koblenz.de/bw/komus

Mehr

9. Schätzen und Testen bei unbekannter Varianz

9. Schätzen und Testen bei unbekannter Varianz 9. Schätzen und Testen bei unbekannter Varianz Dr. Antje Kiesel Institut für Angewandte Mathematik WS 2011/2012 Schätzen und Testen bei unbekannter Varianz Wenn wir die Standardabweichung σ nicht kennen,

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

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

Induktion im Lexikon: logische Herleitung allgemeiner Regeln von Einzelfällen zu allgemeinen Gesetzen aufsteigen

Induktion im Lexikon: logische Herleitung allgemeiner Regeln von Einzelfällen zu allgemeinen Gesetzen aufsteigen Eine Induktionslogik gibt es nicht. Induktion im Lexikon: logische Herleitung allgemeiner Regeln von Einzelfällen zu allgemeinen Gesetzen aufsteigen Popper zitiert Einstein: Zu diesen Gesetzen führt kein

Mehr

1. Man schreibe die folgenden Aussagen jeweils in einen normalen Satz um. Zum Beispiel kann man die Aussage:

1. Man schreibe die folgenden Aussagen jeweils in einen normalen Satz um. Zum Beispiel kann man die Aussage: Zählen und Zahlbereiche Übungsblatt 1 1. Man schreibe die folgenden Aussagen jeweils in einen normalen Satz um. Zum Beispiel kann man die Aussage: Für alle m, n N gilt m + n = n + m. in den Satz umschreiben:

Mehr

Glücklich. Heute, morgen und für immer

Glücklich. Heute, morgen und für immer Kurt Tepperwein Glücklich Heute, morgen und für immer Teil 1 Wissen macht glücklich die Theorie Sind Sie glücklich? Ihr persönlicher momentaner Glücks-Ist-Zustand Zum Glück gehört, dass man irgendwann

Mehr

8. Grammatikentwicklung und kognitive Entwicklung- Die kognitive Entwicklung des Kleinkindes II. Domänenspezifische Fähigkeiten

8. Grammatikentwicklung und kognitive Entwicklung- Die kognitive Entwicklung des Kleinkindes II. Domänenspezifische Fähigkeiten 8. Grammatikentwicklung und kognitive Entwicklung- Die kognitive Entwicklung des Kleinkindes II Domänenspezifische Fähigkeiten Die kognitive Entwicklung des Kleinkindes II: Domänenspezifische Fähigkeiten

Mehr

Quadratwurzel. Wie lassen sich die Zahlen auf dem oberen und unteren Notizzettel einander sinnvoll zuordnen?

Quadratwurzel. Wie lassen sich die Zahlen auf dem oberen und unteren Notizzettel einander sinnvoll zuordnen? 1. Zahlenpartner Quadratwurzel Wie lassen sich die Zahlen auf dem oberen und unteren Notizzettel einander sinnvoll zuordnen? Quelle: Schnittpunkt 9 (1995) Variationen: (a) einfachere Zahlen (b) ein weiteres

Mehr

Sprechen wir über Zahlen (Karl-Heinz Wolff)

Sprechen wir über Zahlen (Karl-Heinz Wolff) Sprechen wir über Zahlen (Karl-Heinz Wolff) Die Überschrift ist insoweit irreführend, als der Autor ja schreibt und nicht mit dem Leser spricht. Was Mathematik im allgemeinen und Zahlen im besonderen betrifft,

Mehr

Satzlehre Satzglieder formal bestimmen Lösung

Satzlehre Satzglieder formal bestimmen Lösung Gymbasis Deutsch: Grammatik Satzlehre Satzglieder: formal bestimmen Lösung 1 Satzlehre Satzglieder formal bestimmen Lösung 1. Schritt: Unterstreiche in den folgenden Sätzen alle Satzglieder. Das Prädikat/die

Mehr

1. Wortschatz: Gefühle Ordnen Sie den Ausdrücken jeweils die passende Umschreibung zu. 2. Wut B man ist einer lustigen, gelösten Stimmung

1. Wortschatz: Gefühle Ordnen Sie den Ausdrücken jeweils die passende Umschreibung zu. 2. Wut B man ist einer lustigen, gelösten Stimmung 1. Wortschatz: Gefühle Ordnen Sie den Ausdrücken jeweils die passende Umschreibung zu. 1. Neid A ich ärgere mich über jemanden 2. Wut B man ist einer lustigen, gelösten Stimmung 3. Trauer C etwas ist einem

Mehr

Theoretische Grundlagen des Software Engineering

Theoretische Grundlagen des Software Engineering Theoretische Grundlagen des Software Engineering 0: Organisatorisches & Einführung schulz@eprover.org Software Systems Engineering Kurzvorstellung Studium der Informatik in Kaiserslautern Promotion an

Mehr

Der Prüfungsangst-Check

Der Prüfungsangst-Check Der Prüfungsangst-Check Mit dem Prüfungsangst-Check können Sie herausfinden, welcher Zeitraum im Zusammenhang mit der Prüfung entscheidend für das Ausmaß Ihrer Prüfungsangst ist: die mehrwöchige Vorbereitungsphase

Mehr

Semantische Analyse. Prof. Dr. Helmut Kromrey FU Berlin http://userpage.fu-berlin.de/~kromrey - email: kromrey@zedat.fu-berlin.de

Semantische Analyse. Prof. Dr. Helmut Kromrey FU Berlin http://userpage.fu-berlin.de/~kromrey - email: kromrey@zedat.fu-berlin.de Semantische Analyse Aufgabe: semantische Interpretation von Begriffen = Ermittlung der Dimensionen, auf denen die Begriffe Bedeutungen tragen können; Klärung, WELCHE Bedeutungen in welchen sprachlichen

Mehr

Erläuterung des Begriffs Plagiat

Erläuterung des Begriffs Plagiat Erläuterung des Begriffs Plagiat 1 Definition Plagiat Unter einem Plagiat versteht man allgemein die Wiedergabe eines Textteils ohne Herkunftsangabe. Besonders zu beachten ist, dass es unerheblich ist,

Mehr

Stefan Pfeiffer. Sinnes-Welten. Wunderwerk der Wahrnehmung

Stefan Pfeiffer. Sinnes-Welten. Wunderwerk der Wahrnehmung Stefan Pfeiffer Sinnes-Welten Wunderwerk der Wahrnehmung Wir nehmen die Welt mit unseren fünf Sinnen wahr. Sehen, Hören, Schmecken, Riechen, Fühlen. Unser Gehirn produziert ein Abbild der Welt in unserem

Mehr

Bin Packing oder Wie bekomme ich die Klamotten in die Kisten?

Bin Packing oder Wie bekomme ich die Klamotten in die Kisten? Bin Packing oder Wie bekomme ich die Klamotten in die Kisten? Ich habe diesen Sommer mein Abi gemacht und möchte zum Herbst mit dem Studium beginnen Informatik natürlich! Da es in meinem kleinen Ort keine

Mehr

Referat von Sonja Trotter Klasse: E2IT1 Datum Jan. 2003. Subnetting

Referat von Sonja Trotter Klasse: E2IT1 Datum Jan. 2003. Subnetting Referat von Sonja Trotter Klasse: E2IT1 Datum Jan. 2003 Subnetting Einleitung Thema dieser Ausarbeitung ist Subnetting Ganz zu Beginn werden die zum Verständnis der Ausführung notwendigen Fachbegriffe

Mehr

Vorwort. Liebe Leserin, lieber Leser,

Vorwort. Liebe Leserin, lieber Leser, Vorwort Liebe Leserin, lieber Leser, möge dieses Buch Sie eine Zeitlang als treuer Freund begleiten. Das mit dem Freund meine ich wörtlich. Meine mir nahestehenden Freunde duzen mich; Ihnen wird es mit

Mehr

RSA-Verschlüsselung. von Johannes Becker Gießen 2006/2008

RSA-Verschlüsselung. von Johannes Becker Gießen 2006/2008 RSA-Verschlüsselung von Johannes Becker Gießen 2006/2008 Zusammenfassung Es wird gezeigt, wieso das nach Ronald L. Rivest, Adi Shamir und Leonard Adleman genannte RSA-Krptosstem funktioniert, das mittlerweile

Mehr

Conversion Attribution

Conversion Attribution Conversion Attribution Eines der Trendthemen über das zurzeit jeder spricht ist Attribution. Das heißt allerdings nicht, dass auch jeder weiß was genau Attribution ist, was man damit machen kann und für

Mehr

Leibniz. (G.W.F. Hegel)

Leibniz. (G.W.F. Hegel) Leibniz 3. Der einzige Gedanke den die Philosophie mitbringt, ist aber der einfache Gedanke der Vernunft, dass die Vernunft die Welt beherrsche, dass es also auch in der Weltgeschichte vernünftig zugegangen

Mehr

Schwierig oder krank? Übergänge zwischen Pädagogik und Medizin am Beispiel der ADHS

Schwierig oder krank? Übergänge zwischen Pädagogik und Medizin am Beispiel der ADHS Schwierig oder krank? Übergänge zwischen Pädagogik und Medizin am Beispiel der ADHS Forschungsforum Biowissenschaftliches Wissen als Herausforderung für Theorie und Praxis auf dem 23. Kongress der Deutschen

Mehr

Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie

Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie Universität Dortmund, WS 2005/06 Institut für Philosophie C. Beisbart Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie Einführung in die Thematik anhand von Platon, Apologie des Sokrates Grundbegriffe

Mehr

Über Wittgensteins Logikbegriff in der Logischphilosophischen

Über Wittgensteins Logikbegriff in der Logischphilosophischen HU Berlin SS 06 Seminar Wittgensteins Tractatus Logico-Philosophicus von Uwe Scheffler und Ulrich Schlösser Essay von Johannes Stein Über Wittgensteins Logikbegriff in der Logischphilosophischen Abhandlung

Mehr

Basis und Dimension. Als nächstes wollen wir die wichtigen Begriffe Erzeugendensystem und Basis eines Vektorraums definieren.

Basis und Dimension. Als nächstes wollen wir die wichtigen Begriffe Erzeugendensystem und Basis eines Vektorraums definieren. Basis und Dimension Als nächstes wollen wir die wichtigen Begriffe Erzeugendensystem und Basis eines Vektorraums definieren. Definition. Sei V ein K-Vektorraum und (v i ) i I eine Familie von Vektoren

Mehr

Entwicklung der modernen Naturwissenschaft (speziell der Physik/Mechanik) in Abgrenzung von der mittelalterlich-scholastischen Naturphilosophie

Entwicklung der modernen Naturwissenschaft (speziell der Physik/Mechanik) in Abgrenzung von der mittelalterlich-scholastischen Naturphilosophie René Descartes (1596-1650) Meditationen über die Grundlagen der Philosophie (1641) Geistes- bzw. wissenschaftsgeschichtlicher Hintergrund Entwicklung der modernen Naturwissenschaft (speziell der Physik/Mechanik)

Mehr

Beispiel 4. Beispiel 5

Beispiel 4. Beispiel 5 Bearbeitungsstand:01.01.2007 11:31, Seite 1 von 10 (Positives Erkennen) Das Umformulieren in der Mediation Positiv Umformulieren bedeutet nicht das Negative schön zu färben. Es bedeutet auch nicht, das

Mehr

Seminar Business Intelligence Teil II. Data Mining & Knowledge Discovery

Seminar Business Intelligence Teil II. Data Mining & Knowledge Discovery Seminar Business Intelligence Teil II Data Mining & Knowledge Discovery Was ist Data Mining? Sabine Queckbörner Was ist Data Mining? Data Mining Was ist Data Mining? Nach welchen Mustern wird gesucht?

Mehr

1. Einleitung wichtige Begriffe

1. Einleitung wichtige Begriffe 1. Einleitung wichtige Begriffe Da sich meine besondere Lernleistung mit dem graziösen Färben (bzw. Nummerieren) von Graphen (speziell von Bäumen), einem Teilgebiet der Graphentheorie, beschäftigt, und

Mehr

Kapitel 2: Formale Sprachen Gliederung. 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie

Kapitel 2: Formale Sprachen Gliederung. 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie Gliederung 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie 2.1. 2.2. Reguläre Sprachen 2.3. Kontextfreie Sprachen 2/1, Folie 1 2015 Prof. Steffen

Mehr

Korrektheitsbegriffe für modellbasierte Codegeneratoren

Korrektheitsbegriffe für modellbasierte Codegeneratoren Korrektheitsbegriffe für modellbasierte Codegeneratoren Institut für Informatik Martin-Luther-Universität Halle-Wittenberg 9.IT 2 22.06.2006 Dr. Mirko Conrad The MathWorks München Prof. Dr. Wolf Zimmermann

Mehr

Bildaufbau. ciceri. veni vidi civi. Fotografie Bildaufbau

Bildaufbau. ciceri. veni vidi civi. Fotografie Bildaufbau Bildaufbau Mit dem Bildaufbau in der Fotografie sind vor allem die Proportionen und Verhältnisse der im Foto abgebildeten Objekte gemeint: die Grösse und der Stand von Motivteilen im Foto, die Aufteilung

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

Es gilt das gesprochene Wort. Anrede

Es gilt das gesprochene Wort. Anrede Sperrfrist: 28. November 2007, 13.00 Uhr Es gilt das gesprochene Wort Statement des Staatssekretärs im Bayerischen Staatsministerium für Unterricht und Kultus, Karl Freller, anlässlich des Pressegesprächs

Mehr

Phänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009

Phänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009 Phänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009 1. Arten von Konditionalsätzen Konditionalsätze drücken aus, dass ein Ereignis nur unter einer bestimmten

Mehr

3.3.5 Pflegeheim im Ausland

3.3.5 Pflegeheim im Ausland Pflege in neuen Wohn- und Versorgungsformen 47 Häufige Argumente für die Rund-um-die-Uhr-Pflege im eigenen Haushalt aus Sicht der befragten Bevölkerungsgruppe betonen vor allem die erwartete hohe Versorgungsqualität

Mehr

Freiherr-vom-Stein Schule Fach: Mathematik Herr Pfaffenbach. Logistisches Wachstum. am Beispiel einer Hefekultur

Freiherr-vom-Stein Schule Fach: Mathematik Herr Pfaffenbach. Logistisches Wachstum. am Beispiel einer Hefekultur Freiherr-vom-Stein Schule Fach: Mathematik Herr Pfaffenbach Logistisches Wachstum am Beispiel einer Hefekultur 16.04.2012 Inhaltsverzeichnis 1.0 Vorwort...3 2.0 Logistisches Wachstum allgemein...4 2.1

Mehr

Wenn andere Leute diesen Text sprechen, ist das für mich einfach gigantisch!

Wenn andere Leute diesen Text sprechen, ist das für mich einfach gigantisch! Wenn andere Leute diesen Text sprechen, ist das für mich einfach gigantisch! Ein Gespräch mit der Drüberleben-Autorin Kathrin Weßling Stehst du der Digitalisierung unseres Alltags eher skeptisch oder eher

Mehr

Hinweise zur Anfertigung von wissenschaftlichen Arbeiten

Hinweise zur Anfertigung von wissenschaftlichen Arbeiten UNIVERSITÄT HOHENHEIM INSTITUT FÜR BETRIEBSWIRTSCHAFTSLEHRE Fachgebiet Risikomanagement und Derivate Prof. Dr. Christian Koziol Hinweise zur Anfertigung von wissenschaftlichen Arbeiten Formale Richtlinien

Mehr

Themenkreise der Klasse 5

Themenkreise der Klasse 5 Mathematik Lernzielkatalog bzw. Inhalte in der MITTELSTUFE Am Ende der Mittelstufe sollten die Schüler - alle schriftlichen Rechenverfahren beherrschen. - Maßeinheiten umformen und mit ihnen rechnen können.

Mehr