Wissenschaftliches Arbeiten Quantitative Methoden

Größe: px
Ab Seite anzeigen:

Download "Wissenschaftliches Arbeiten Quantitative Methoden"

Transkript

1 Wissenschaftliches Arbeiten Quantitative Methoden Prof. Dr. Stefan Nickel WS 2008 / 2009

2 Gliederung I. Motivation II. III. IV. Lesen mathematischer Symbole Wissenschaftliche Argumentation Matrizenrechnung V. Metriken VI. Algorithmen VII. Optimierungsprobleme & Optimierungsverfahren VIII. Praktischer Umgang mit Daten Seite 2

3 Gliederung I. Motivation Seite 3

4 I. Motivation: Ziel der Veranstaltung Was ist das Ziel dieser Veranstaltung? Das Ziel ist die Verbesserung der Fähigkeiten zum selbständigen wissenschaftlichen Arbeiten. Wie sieht die Zielgruppe aus? Der Kurs ist vor Allem auf Studierende ausgelegt, die gerade mit dem Hauptstudium beginnen / begonnen haben. Seite 4

5 I. Motivation: Ziel der Veranstaltung Wie wird das Ziel erreicht? Welche Vorteile bringt diese Veranstaltung mir, als Student? Im Rahmen des Kurses werden grundlegende mathematische Kenntnisse vermittelt und elementare Verfahrensweisen zum wissenschaftlichen Arbeiten vorgestellt. Diese erleichtern im weiteren Verlauf des Studiums das Verständnis des Vorlesungsstoffs das Lesen wissenschaftlicher Arbeiten (in Hinblick auf die zukünftige Seminararbeit) das eigenständige Erstellen wissenschaftlicher Texte (in Hinblick auf die zukünftige Diplomarbeit) Seite 5

6 I. Motivation: Ziel der Veranstaltung Am Ende des Semesters gibt es eine Abschlussprüfung. Jeder Kursteilnehmer, der diese Prüfung besteht, erhält einen Schein (mit Note) über die erfolgreiche Teilnahme am Kurs. Seite 6

7 Gliederung I. Motivation II. Lesen mathematischer Symbole i. Das griechische Alphabet ii. iii. iv. Aussagen Mengen Summen Seite 7

8 II. Lesen mathematischer Symbole: Das griechische Alphabet alpha lambda phi beta my chi gamma ny psi delta xi omega epsilon zeta eta theta iota kappa o pi rho sigma tau upsilon Seite 8

9 II. Lesen mathematischer Symbole: Das griechische Alphabet Gamma Delta Theta Lambda Pi Sigma Phi Psi Omega Seite 9

10 II. Lesen mathematischer Symbole: Aussagen Definition: Eine Aussage ist die gedankliche Widerspiegelung eines Sachverhalts in Form eines Satzes einer natürlichen oder künstlichen Sprache. Jede Aussage ist entweder wahr oder falsch. Man spricht vom Prinzip der Zweiwertigkeit. Man nennt wahr bzw. falsch den Wahrheitswert der Aussage und bezeichnet ihn mit W (oder 1) bzw. F (oder 0). [vgl. Bronstein, Semendjajew et al.: Taschenbuch der Mathematik. 2001] Eine Aussage ist die Zuerkennung eines n-stelligen Prädikates an n Subjekte. Jeder Aussage wird ein Wahrheitswert W = wahr oder F = falsch zugeordnet, und zwar nur einer von beiden. [vgl. Stöppler: Mathematik für Wirtschaftswissenschaftler: Lineare Algebra und ökonomische Anwendung. 1972] Seite 10

11 II. Lesen mathematischer Symbole: Aussagen Beispiele: Dieses Kind ist 7 Jahre alt. 1 Subjekt: Kind 1 Prädikat: ist 7 Jahre alt Max ist älter als Moritz 2 Subjekte: Max, Moritz 1 Prädikat: ist älter als Max ist größer als Moritz und kleiner als 1.80m 3 Subjekte: Max, Moritz, 1.80m 2 Prädikate: ist größer als, ist kleiner als Seite 11

12 II. Lesen mathematischer Symbole: Aussagen Operationen mit Aussagen Negation: Sei A eine Aussage, dann wird die Negation von A mit bzw. bezeichnet. Da A entweder wahr oder falsch ist, wird die Negation durch die folgende Wahrheitstafel definiert: Sprechweise: Nicht A Beispiele: Seite 12

13 II. Lesen mathematischer Symbole: Aussagen Operationen mit Aussagen Konjunktion: Sind A und B zwei Aussagen, so kann man eine zusammengesetzte Aussage bilden, die nur dann wahr ist, wenn A und B gleichzeitig wahr sind. und wird mit bezeichnet. Sprechweise: A und B Bemerkung: Seite 13

14 II. Lesen mathematischer Symbole: Aussagen Beispiele: Die nach dem Wirtschaftlichkeitsprinzip handelnden Unternehmen maximieren den Faktorertrag und minimieren den Faktoreinsatz. 5 ist gerade und 7 ist durch 2 teilbar. Heute habe ich Uni und morgen ist Freitag. Seite 14

15 II. Lesen mathematischer Symbole: Aussagen Operationen mit Aussagen Disjunktion: Für zwei Aussagen A und B heißt die Disjunktion A oder B:, d.h. ist wahr, wenn mindestens eine der Aussagen wahr ist. Sprechweise: A oder B Bemerkung: Seite 15

16 II. Lesen mathematischer Symbole: Aussagen Beispiele: Die nach dem Wirtschaftlichkeitsprinzip handelnden Unternehmen maximieren den Faktorertrag oder minimieren den Faktoreinsatz. 5 ist gerade oder 7 ist durch 2 teilbar. Heute habe ich Uni oder morgen ist Freitag. Seite 16

17 II. Lesen mathematischer Symbole: Aussagen Operationen mit Aussagen Implikation: Die Aussage A impliziert logisch die Aussage B. Sprechweise: Wenn A, dann B A impliziert B Aus A folgt B B ist notwendig für A A ist hinreichend für B Seite 17

18 II. Lesen mathematischer Symbole: Aussagen Beispiele: Die nach dem Wirtschaftlichkeitsprinzip handelnden Unternehmen minimieren den Faktoreinsatz, wenn sie den Faktorertrag maximieren. 5 ist gerade ist eine hinreichende Bedingung dafür, dass 7 durch 2 teilbar ist. Morgen ist Freitag ist eine notwendige Bedingung dafür, dass ich heute Uni habe. Seite 18

19 II. Lesen mathematischer Symbole: Aussagen Operationen mit Aussagen Äquivalenz: Die Aussagen A und B heißen logisch äquivalent, wenn entweder A und B wahr oder A und B falsch sind. Sprechweise: A ist äquivalent mit B A dann und nur dann, wenn B A genau dann, wenn B A ist notwendig und hinreichend für B Seite 19

20 II. Lesen mathematischer Symbole: Aussagen Beispiele: Die nach dem Wirtschaftlichkeitsprinzip handelnden Unternehmen maximieren den Faktorertrag genau dann, wenn sie den Faktoreinsatz minimieren. 5 ist gerade ist eine notwendige und hinreichende Bedingung dafür, dass 7 durch 2 teilbar ist. Ich habe heute Uni ist äquivalent mit der Aussage, dass morgen Freitag ist. Seite 20

21 II. Lesen mathematischer Symbole: Aussagen Beschränkte Quantifizierungen: Häufig ist es vorteilhaft, sich bei Quantifizierungen nur auf die Elemente einer vorgegebenen nichtleeren Menge zu beziehen: All-Quantor Existenz-Quantor für alle Elemente aus der Menge es gibt ein Element aus der Menge Bemerkung: Es ist nicht wahr, dass für alle Elemente in M die Aussage p(x) gilt. ist äquivalent zu Es existiert ein Element in M, für die die Aussage p(x) nicht gilt. Seite 21

22 II. Lesen mathematischer Symbole: Aussagen Beispiele: Für alle Zahlen aus der Menge der ganzen Zahlen gilt, dass sie gerade sind. Es existiert mindestens eine Zahlen aus der Menge der ganzen Zahlen für die gilt, dass sie gerade ist. Egal durch welche Zahl aus der Menge M man 10 dividiert, das Ergebnis ist immer kleiner als 3. In der Menge M gibt es Zahlen, durch die man 10 dividieren kann, um ein Ergebnis zu erhalten, das kleiner als 3 ist. Alle Zahlen zwischen 2 und 4 sind gleich 5 sind. Die Zahl 5 liegt zwischen 2 und 4. Seite 22

23 II. Lesen mathematischer Symbole: Mengen Definition: Eine Menge A ist eine Zusammenfassung bestimmter, wohldefinierter Objekte a unserer Anschauung oder unseres Denkens zu einem Ganzen. Diese Objekte heißen Elemente der Menge... Mengen können beschrieben werden durch Aufzählung aller ihrer Elemente in geschweiften Klammern oder durch eine definierende Eigenschaft, die genau den Elementen der Menge zukommt. [vgl. Bronstein, Semendjajew et al.: Taschenbuch der Mathematik. 2001] Eine Menge ist die Zusammenfassung wohldefinierter Objekte, die Elemente der Menge. Sie wird entweder durch Aufzählung oder durch Aussagen, die Zugehörigkeiten eindeutig festlegen, gegeben. [vgl. Stöppler: Mathematik für Wirtschaftswissenschaftler: Lineare Algebra und ökonomische Anwendung. 1972] Seite 23

24 II. Lesen mathematischer Symbole: Mengen Beispiele: 3 Elemente: 2, 4, 7 4 Elemente: Uwe, Gabi, Elke, Claudia Unendlich viele Elemente: alle reellen Zahlen 2 Elemente: 2, 4 Seite 24

25 II. Lesen mathematischer Symbole: Mengen Teilmenge: Sind A und B Mengen und gilt so heißt A Teilmenge von B:. Mit anderen Worten: A ist Teilmenge von B, wenn alle Elemente von A auch zu B gehören. Gibt es für in B weitere Elemente, die nicht in A vorkommen, so heißt A echte Teilmenge von B, und man schreibt: Beispiel:, C ist echte Teilmenge von A. Seite 25

26 II. Lesen mathematischer Symbole: Mengen Operationen mit Mengen Vereinigung: Seien A und B Mengen. Die Vereinigungsmenge oder Vereinigung ist definiert durch Sprechweise: A vereinigt mit B Bemerkung: Seite 26

27 II. Lesen mathematischer Symbole: Mengen Beispiele: Seite 27

28 II. Lesen mathematischer Symbole: Mengen Durchschnitt: Seien A und B Mengen. Die Schnittmenge oder der Durchschnitt ist definiert durch Sprechweise: A geschnitten mit B Bemerkung: Seite 28

29 II. Lesen mathematischer Symbole: Mengen Beispiele: Seite 29

30 II. Lesen mathematischer Symbole: Mengen Komplement: Das relative Komplement einer Menge B bzgl. einer Menge A oder die Differenz von A und B, bezeichnet mit, ist die Menge all der Elemente, die in A, aber nicht in B liegen: Das absolute Komplement einer Menge A, bezeichnet mit ist das relative Komplement von A bzgl. der universellen Menge U (auch häufig mit Grundgesamtheit G bezeichnet), nämlich die Menge all der Elemente, die nicht in A liegen (aber in U): Sprechweise: A ohne B Seite 30

31 II. Lesen mathematischer Symbole: Mengen Beispiele: Seite 31

32 II. Lesen mathematischer Symbole: Summen Die wichtigsten Summenformeln: Arithmetische Summen: Wichtiger Spezialfall: Seite 32

33 II. Lesen mathematischer Symbole: Summen Geometrische Summe: Wichtiger Spezialfall: Seite 33

34 II. Lesen mathematischer Symbole: Summen Sonstige wichtige Summen: Seite 34

Grundbegriffe Mengenlehre und Logik

Grundbegriffe Mengenlehre und Logik Grundbegriffe Mengenlehre und Logik Analysis für Informatiker und Lehramt Mathematik MS/GS/FS WS 2016/2017 Agnes Radl Mengen Georg Cantor (1895) Unter einer Menge verstehen wir jede Zusammenfassung M von

Mehr

Eine Aussage kann eine Eigenschaft für ein einzelnes, konkretes Objekt behaupten:

Eine Aussage kann eine Eigenschaft für ein einzelnes, konkretes Objekt behaupten: Aussagen Aussagen Eine Aussage kann eine Eigenschaft für ein einzelnes, konkretes Objekt behaupten: verbale Aussage formale Aussage Wahrheitswert 1) 201 ist teilbar durch 3 3 201 wahre Aussage (w.a.) 2)

Mehr

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16 Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16 15. Oktober 2015 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage veröffentlicht

Mehr

MatheBasics Teil 1 Grundlagen der Mathematik Version vom

MatheBasics Teil 1 Grundlagen der Mathematik Version vom MatheBasics Teil 1 Grundlagen der Mathematik Version vom 01.09.2016 Dieses Werk ist urheberrechtlich geschützt. Alle Rechte vorbehalten. FSGU AKADEMIE 2008-2016 1 Was haben wir vor? Mathe-Basics Teil 1

Mehr

Lineare Algebra 1. Detlev W. Hoffmann. WS 2013/14, TU Dortmund

Lineare Algebra 1. Detlev W. Hoffmann. WS 2013/14, TU Dortmund Lineare Algebra 1 Detlev W. Hoffmann WS 2013/14, TU Dortmund 1 Mengen und Zahlen 1.1 Mengen und Abbildungen Eine Menge ist eine Zusammenfassung wohlunterscheidbarer Objekte unserer Anschauung/unseres Denkens/unserer

Mehr

Tabellen erstellen mit Word 7 Computeria Rorschach. Wir erstellen mit Word 7/10 eigene Tabellen

Tabellen erstellen mit Word 7 Computeria Rorschach. Wir erstellen mit Word 7/10 eigene Tabellen Tabellen erstellen mit Word 7 Computeria Rorschach Wir erstellen mit Word 7/10 eigene Tabellen Roland Liebing 10.02.2012 Tabellen erstellen mit Word7/10 Wir klicken in der Registerkarte Einfügen auf die

Mehr

Kapitel 1: Grundbegriffe

Kapitel 1: Grundbegriffe Kapitel 1: Stefan Ruzika Mathematisches Institut Universität Koblenz-Landau Campus Koblenz Stefan Ruzika (KO) 1 / 20 Gliederung 1 Logik Ein ganz kurzer Ausflug in die Kombinatorik Stefan Ruzika (KO) 2

Mehr

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 19. Oktober 2017 1/27 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage

Mehr

Brückenkurs Mathematik 2015

Brückenkurs Mathematik 2015 Technische Universität Dresden Fachrichtung Mathematik, Institut für Analysis Dr.rer.nat.habil. Norbert Koksch Brückenkurs Mathematik 2015 1. Vorlesung Logik, Mengen und Funktionen Ich behaupte aber, dass

Mehr

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18 Vorkurs Mathematik Prof. Udo Hebisch WS 2017/18 1 1 Logik 2 1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

Mehr

MISSION ALPHA. Wähle einen Zielraum und führe dort eine Interagieren-Aktion aus. Wähle drei Schleusen aus und zerstöre sie. Sammle 5 Frags.

MISSION ALPHA. Wähle einen Zielraum und führe dort eine Interagieren-Aktion aus. Wähle drei Schleusen aus und zerstöre sie. Sammle 5 Frags. MISSION ALPHA Wähle einen Zielraum und führe dort eine Interagieren-Aktion aus. Wähle drei Schleusen aus und zerstöre sie. Sammle 5 Frags. MISSION BETA Wähle einen Zielraum aus, führe dort eine Interagieren-Aktion

Mehr

KAPITEL 0. Zur Vorbereitung

KAPITEL 0. Zur Vorbereitung KAPITEL 0 Zur Vorbereitung 1. Grundbegriffe aus der Mengenlehre Es soll hier kurz auf die aus der Schule teilweise bekannte elementare Mengenlehre eingegangen werden, da wir deren Schreib und Sprechweise

Mehr

Vorlesung 3: Logik und Mengenlehre

Vorlesung 3: Logik und Mengenlehre 28102013 Erinnerung: Zeilen-Stufen-Form (ZSF) eines LGS 0 0 1 c 1 0 0 0 1 0 0 1 c r 0 0 0 c r+1 0 0 0 0 0 0 0 0 0 c m Erinnerung: Information der Zeilen-Stufen-Form Aus der ZSF liest man ab: Folgerung

Mehr

Grundbegriffe aus Logik und Mengenlehre

Grundbegriffe aus Logik und Mengenlehre Prof. Dr. B. Niethammer Dr. C. Seis, R. Schubert Institut fr Angewandte Mathematik Universitt Bonn Grundbegriffe aus Logik und Mengenlehre Wir wollen im Folgenden eine kurze Einführung in die Grundbegriffe

Mehr

Mathematische Methoden I (WS 16/17)

Mathematische Methoden I (WS 16/17) Mathematische Methoden I (WS 16/17) Grundlagen Grundgrößen mit Maßeinheiten (SI-Einheiten ( Système International d Unités )) Grundgröße Einheit Formelzeichen Länge m (Meter) l Zeit s (Sekunde) t (time)

Mehr

Tutorium: Diskrete Mathematik

Tutorium: Diskrete Mathematik Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 24.11.2016 (Teil 2) 23. November 2016 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler 23. November 2016

Mehr

Brückenkurs Mathematik 2018

Brückenkurs Mathematik 2018 Mathematik 2018 1. Vorlesung Logik, Mengen und Funktionen Prof. Dr. 24. September 2018 Ich behaupte aber, dass in jeder besonderen Naturlehre nur so viel eigentliche Wissenschaft angetroffen werden könne,

Mehr

0 Mengen und Abbildungen, Gruppen und Körper

0 Mengen und Abbildungen, Gruppen und Körper 0 Mengen und Abbildungen, Gruppen und Körper In diesem Paragrafen behandeln wir einige für die Lineare Algebra und für die Analysis wichtige Grundbegriffe. Wir beginnen mit dem Begriff der Menge. Auf Cantor

Mehr

Mengenlehre und vollständige Induktion

Mengenlehre und vollständige Induktion Fachschaft MathPhys Heidelberg Mengenlehre und vollständige Induktion Vladislav Olkhovskiy Vorkurs 018 Inhaltsverzeichnis 1 Motivation 1 Mengen.1 Grundbegriffe.................................. Kostruktionen

Mehr

Im gesamten Kapitel sei Ω eine nichtleere Menge. Wir bezeichnen die Potenzmenge

Im gesamten Kapitel sei Ω eine nichtleere Menge. Wir bezeichnen die Potenzmenge 1 Mengensysteme Ein Mengensystem ist eine Familie von Teilmengen einer Grundmenge und damit eine Teilmenge der Potenzmenge der Grundmenge. In diesem Kapitel untersuchen wir Mengensysteme, die unter bestimmten

Mehr

Brückenkurs Mathematik

Brückenkurs Mathematik Brückenkurs Mathematik 6.10. - 17.10. Vorlesung 1 Logik,, Doris Bohnet Universität Hamburg - Department Mathematik Mo 6.10.2008 Zeitplan Tagesablauf: 9:15-11:45 Vorlesung Audimax I 13:00-14:30 Übung Übungsräume

Mehr

MatheBasics Teil 1 Grundlagen der Mathematik

MatheBasics Teil 1 Grundlagen der Mathematik Fernstudium Guide Online Vorlesung Wirtschaftswissenschaft MatheBasics Teil 1 Grundlagen der Mathematik Version 2016 Dieses Werk ist urheberrechtlich geschützt. Jegliche unzulässige Form der Entnahme,

Mehr

Lineare Algebra für Wirtschaftswissenschaftler

Lineare Algebra für Wirtschaftswissenschaftler Lineare Algebra für Wirtschaftswissenschaftler Christoph Mayer Carsten Weber David Francas Lineare Algebra für Wirtschaftswissenschaftler Mit Aufgaben und Lösungen 6. Auflage Christoph Mayer Dresden, Deutschland

Mehr

Mathematik für Informatiker/Informatikerinnen 2

Mathematik für Informatiker/Informatikerinnen 2 Mathematik für Informatiker/Informatikerinnen 2 Koordinaten: Peter Buchholz Informatik IV Praktische Informatik Modellierung und Simulation Tel: 755 4746 Email: peter.buchholz@udo.edu OH 16, R 216 Sprechstunde

Mehr

Liste des (neu)griechischen Alphabets, sortiert nach Zeichen

Liste des (neu)griechischen Alphabets, sortiert nach Zeichen Liste des (neu)griechischen Alphabets, sortiert nach Zeichen A &Agr; x0391 iso-grk1 Griechischer Großbuchstabe Alpha Α x0391 xhtml-sym Griechischer Großbuchstabe Alpha a &agr; x03b1 iso-grk1 Griechischer

Mehr

1 Elemente der Wahrscheinlichkeitstheorie

1 Elemente der Wahrscheinlichkeitstheorie H.-J. Starkloff Unendlichdimensionale Stochastik Kap. 01 11. Oktober 2010 1 1 Elemente der Wahrscheinlichkeitstheorie 1.1 Messbare Räume Gegeben seien eine nichtleere Menge Ω und eine Menge A von Teilmengen

Mehr

Lineare Algebra für Wirtschaftswissenschaftler

Lineare Algebra für Wirtschaftswissenschaftler Lineare Algebra für Wirtschaftswissenschaftler Christoph Mayer Carsten Weber David Francas Lineare Algebra für Wirtschaftswissenschaftler Mit Aufgaben und Lösungen 5., durchgesehene Auflage Dr. Christoph

Mehr

Grundlegendes der Mathematik

Grundlegendes der Mathematik Kapitel 2 Grundlegendes der Mathematik (Prof. Udo Hebisch) 2.1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

Mehr

Start: 12. Oktober 2015 Kontakt: Dr Heinz Haberzettl ( ) Büro : C Schöfferstrasse 3 (Hochhaus)

Start: 12. Oktober 2015 Kontakt: Dr Heinz Haberzettl ( ) Büro : C Schöfferstrasse 3 (Hochhaus) Informationen zur Vorlesung Vorlesungen Montag: 3.Block - 4. Block ab 1:45 Uhr 3 SWS Hörsaal C10 0.03 im Hochhaus der h-da Übungen ( alle 14 Tage ) Montag: 5.Block 1 SWS Hörsaal C10 08.01 und 08.0 (im

Mehr

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10 Fakultät für Mathematik Fachgebiet Mathematische Informatik Anhang Lineare Algebra I Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA Wintersemester 2009/10 A Relationen Definition A.1. Seien X, Y beliebige

Mehr

Kapitel 1. Grundlagen

Kapitel 1. Grundlagen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Logik, Mengen und Abbildungen

Logik, Mengen und Abbildungen Kapitel 1 Logik, Mengen und bbildungen Josef Leydold Mathematik für VW WS 2016/17 1 Logik, Mengen und bbildungen 1 / 26 ussage Um Mathematik betreiben zu können, sind ein paar Grundkenntnisse der mathematischen

Mehr

Logik. III Logik. Propädeutikum Holger Wuschke. 19. September 2018

Logik. III Logik. Propädeutikum Holger Wuschke. 19. September 2018 III Propädeutikum 2018 19. September 2018 III λoγóς="das Wort" (math.) befasst sich mit Denition Aussage Eine Aussage p ist ein sinnvolles sprachliche Gebilde mit der Eigenschaft, entweder wahr oder falsch

Mehr

Kapitel 1. Mengen und Abbildungen. 1.1 Mengen

Kapitel 1. Mengen und Abbildungen. 1.1 Mengen Kapitel 1 Mengen und Abbildungen 1.1 Mengen Die Objekte der modernen Mathematik sind die Mengen. Obwohl die Logik einen axiomatischen Zugang zur Mengenlehre bietet, wollen wir uns in dieser Vorlesung auf

Mehr

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { } Zur Einleitung: Lineare Gleichungssysteme Wir untersuchen zunächst mit Methoden, die Sie vermutlich aus der Schule kennen, explizit einige kleine lineare Gleichungssysteme. Das Gleichungssystem I wird

Mehr

Kapitel 1. Grundlagen Mengen

Kapitel 1. Grundlagen Mengen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Lineare Algebra I. - 1.Vorlesung - Prof. Dr. Daniel Roggenkamp & Falko Gauß. Monday 12 September 16

Lineare Algebra I. - 1.Vorlesung - Prof. Dr. Daniel Roggenkamp & Falko Gauß. Monday 12 September 16 Lineare Algebra I - 1.Vorlesung - Prof. Dr. Daniel Roggenkamp & Falko Gauß 1. Mengen und Abbildungen: Mengen gehören zu den Grundlegendsten Objekten in der Mathematik Kurze Einführung in die (naive) Mengelehre

Mehr

2 Rationale und reelle Zahlen

2 Rationale und reelle Zahlen 2 reelle Es gibt Mathematik mit Grenzwert (Analysis) und Mathematik ohne Grenzwert (z.b Algebra). Grenzwerte existieren sicher nur dann, wenn der Zahlbereich vollständig ist, also keine Lücken aufweist

Mehr

Inhalt. Lineare Algebra 1. Dr. Donat Adams. Fachhochschule Nordwest-Schweiz Technik, Brugg. 10. Oktober 2017

Inhalt. Lineare Algebra 1. Dr. Donat Adams. Fachhochschule Nordwest-Schweiz Technik, Brugg. 10. Oktober 2017 Inhalt Lineare Algebra 1 Dr. Donat Adams Fachhochschule Nordwest-Schweiz Technik, Brugg 10. Oktober 2017 1 / 20 Inhalt Teil 2 / 20 Inhalt Inhaltsverzeichnis I 3 / 20 Inhalt Bibliographie I F. Bachmann,

Mehr

ALGEBRA UND MENGENLEHRE

ALGEBRA UND MENGENLEHRE ALGEBRA UND MENGENLEHRE EINE EINFÜHRUNG GRUNDLAGEN DER ALGEBRA 1 VARIABLE UND TERME In der Algebra werden für Grössen, mit welchen gerechnet wird, verallgemeinernd Buchstaben eingesetzt. Diese Platzhalter

Mehr

Analysis I für Studierende der Ingenieurwissenschaften

Analysis I für Studierende der Ingenieurwissenschaften Analysis I für Studierende der Ingenieurwissenschaften Jens Struckmeier Fachbereich Mathematik Universität Hamburg Technische Universität Hamburg Harburg Wintersemester 2010/11 Jens Struckmeier (Mathematik,

Mehr

Teil I: Eindimensionale Analysis

Teil I: Eindimensionale Analysis 1. Etwas Logik und Mengenlehre 7 Teil I: Eindimensionale Analysis 1. Etwas Logik und Mengenlehre Bevor wir mit dem eigentlichen Inhalt der Vorlesung beginnen, müssen wir in diesem Kapitel kurz die exakte

Mehr

Mathematischer Vorkurs. Prof. Dr. N.Mahnke

Mathematischer Vorkurs. Prof. Dr. N.Mahnke Mathematischer Vorkurs Prof. Dr. N.Mahnke Planung Tag 01 Prof.Dr. Nils Mahnke Mathematischer Vorkurs Folie: 2 Logistik und Literatur I Inhalte: Logik und Mengenlehre Zahlensysteme und Arithmetik Gleichungen

Mehr

Grundbegriffe der Mengenlehre

Grundbegriffe der Mengenlehre Technische Universität Dortmund Fakultät für Mathematik Institut für Analysis Rolf Walter Grundbegriffe der Mengenlehre Inhalt: Logisches Schließen................................................ 1 Mengen............................................................

Mehr

Logik, Mengen und Zahlen

Logik, Mengen und Zahlen Zahlenmengen Herbert Paukert. 1 Logik, Mengen und Zahlen Version 2.0 Herbert Paukert Logik und Mengenlehre [ 02 ] Mathematische Beweisverfahren [ 12 ] Natürliche und ganze Zahlen [ 15 ] Teilbarkeit der

Mehr

Tilman Bauer. 4. September 2007

Tilman Bauer. 4. September 2007 Universität Münster 4. September 2007 und Sätze nlogik von Organisatorisches Meine Koordinaten: Sprechstunden: Di 13:30-14:30 Do 9:00-10:00 tbauer@uni-muenster.de Zimmer 504, Einsteinstr. 62 (Hochhaus)

Mehr

Diskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen

Diskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen Diskrete Strukturen WS 2018/19 Gerhard Hiß RWTH Aachen Erster Teil: Grundlagen Kapitel 1, Mathematische Grundbegriffe 1.1 Aussagen Begriff (Aussage) Sprachlicher Ausdruck, welcher entweder wahr oder falsch

Mehr

2 Mengenlehre. Definition: Unter einer Menge M versteht man die Zusammenfassung von unterscheidbaren Objekten (den Elementen) zu einem Ganzen.

2 Mengenlehre. Definition: Unter einer Menge M versteht man die Zusammenfassung von unterscheidbaren Objekten (den Elementen) zu einem Ganzen. Mengenlehre 2 Mengenlehre Definition: Unter einer Menge M versteht man die Zusammenfassung von unterscheidbaren Objekten (den Elementen) zu einem Ganzen. Üblicherweise werden Mengen mit Großbuchstaben

Mehr

IV. Matrizenrechnung. Gliederung. I. Motivation. Lesen mathematischer Symbole. III. Wissenschaftliche Argumentation. i. Rechenoperationen mit Matrizen

IV. Matrizenrechnung. Gliederung. I. Motivation. Lesen mathematischer Symbole. III. Wissenschaftliche Argumentation. i. Rechenoperationen mit Matrizen Gliederung I. Motivation II. Lesen mathematischer Symbole III. Wissenschaftliche Argumentation IV. Matrizenrechnung i. Rechenoperationen mit Matrizen ii. iii. iv. Inverse einer Matrize Determinante Definitheit

Mehr

Mengenlehre. Ist M eine Menge und x ein Element von M, so schreiben wir x M. Ist x kein Element von M, so schreiben wir x M.

Mengenlehre. Ist M eine Menge und x ein Element von M, so schreiben wir x M. Ist x kein Element von M, so schreiben wir x M. Mengenlehre Eine Menge ist eine Zusammenfassung bestimmter und unterschiedlicher Objekte. Für jedes Objekt lässt sich eindeutig sagen, ob es zu der Menge gehört. Die Objekte heißen Elemente der Menge.

Mehr

Tutorium: Diskrete Mathematik

Tutorium: Diskrete Mathematik Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 01.12.2017 (Teil 1) 22. November 2017 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler 22. November 2017

Mehr

Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004

Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004 Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004 In der letzten Vorlesung haben wir gesehen, wie man die einzelnen Zahlenbereiche aufbaut. Uns fehlen nur noch die reellen Zahlen (siehe

Mehr

Mathematische Grundlagen I Logik und Algebra

Mathematische Grundlagen I Logik und Algebra Logik und Algebra Dr. Tim Haga 21. Oktober 2016 1 Aussagenlogik Erste Begriffe Logische Operatoren Disjunktive und Konjunktive Normalformen Logisches Schließen Dr. Tim Haga 1 / 21 Präliminarien Letzte

Mehr

Mathematik 1, Teil B

Mathematik 1, Teil B FH Oldenburg/Ostfriesland/Wilhelmshaven Fachb. Technik, Abt. Elektrotechnik u. Informatik Prof. Dr. J. Wiebe www.et-inf.fho-emden.de/~wiebe Mathematik 1, Teil B Inhalt: 1.) Grundbegriffe der Mengenlehre

Mehr

ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise

ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise MAA.01011UB MAA.01011PH Vorlesung mit Übung im WS 2016/17 Christoph GRUBER Günter LETTL Institut für Mathematik und wissenschaftliches

Mehr

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen 1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist

Mehr

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen . Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!

Mehr

Mengenlehre. Spezielle Mengen

Mengenlehre. Spezielle Mengen Mengenlehre Die Mengenlehre ist wie die Logik eine sehr wichtige mathematische Grundlage der Informatik und ist wie wir sehen werden auch eng verbunden mit dieser. Eine Menge ist eine Zusammenfassung von

Mehr

Vorsemesterkurs Informatik

Vorsemesterkurs Informatik Vorsemesterkurs Informatik Sommersemester 2018 Ronja Düffel 14. März 2018 Theoretische Informatik Wieso, weshalb, warum??!? 1 Modellieren und Formalisieren von Problemen und Lösungen 2 Verifikation (Beweis

Mehr

β Ζ φ ε = δ δ = + = = = = = ρ ρ γ γ γ γ γ γ γ = = = = = = + + = = = + + = = = = $ σ r ( ) K r = = = O M L r M r r = = O M L r M r r = = = = = = = = ( ) ( ) = ( ) = ± ( ) ( ) = ± ( ) = ± (

Mehr

Aussagen. Mathematik und Logik 2011W. Was ist Logik? Elementare Zahlentheorie. Logik. Aussagenlogik. Prädikatenlogik. Datentypen.

Aussagen. Mathematik und Logik 2011W. Was ist Logik? Elementare Zahlentheorie. Logik. Aussagenlogik. Prädikatenlogik. Datentypen. Aussagen Die mathematische verwendet mathematische Methoden, um das logische Denken formal zu beschreiben. Populäre Definition: Eine Aussage ist ein Satz, der entweder falsch oder wahr ist. Problem: Wie

Mehr

Vorlesung. Einführung in die mathematische Sprache und naive Mengenlehre

Vorlesung. Einführung in die mathematische Sprache und naive Mengenlehre Vorlesung Einführung in die mathematische Sprache und naive Mengenlehre Allgemeines RUD26 Erwin-Schrödinger-Zentrum (ESZ) RUD25 Johann-von-Neumann-Haus Fachschaft Menge aller Studenten eines Institutes

Mehr

Kapitel I. Grundlagen, Konventionen und Notationen. I.1 Quantoren und Logik

Kapitel I. Grundlagen, Konventionen und Notationen. I.1 Quantoren und Logik Kapitel I Grundlagen, Konventionen und Notationen Dieses Kapitel stellt eine Übersicht über in der Mathematik häufig gebrauchte Begriffe, Konventionen und Notationen dar. Der Inhalt dieses Kapitels wird

Mehr

definieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1.

definieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1. 22 Kapitel 1 Aussagen und Mengen 1.1 Aussagen Wir definieren eine Aussage A als einen Satz, der entweder wahr w) oder falsch f) also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1. 2 ist eine

Mehr

Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011.

Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011. Technische Universität München Ferienkurs Lineare Algebra 1 Mengenlehre, Aussagen, Relationen und Funktionen 21. März 2011 Tanja Geib Inhaltsverzeichnis 1 Aussagen 1 2 Mengenlehre 3 2.1 Grundlegende Definitionen

Mehr

Diskrete Strukturen. Sebastian Thomas RWTH Aachen https://www2.math.rwth-aachen.de/ds17/ Mathematische Logik

Diskrete Strukturen. Sebastian Thomas RWTH Aachen https://www2.math.rwth-aachen.de/ds17/ Mathematische Logik Diskrete Strukturen Sebastian Thomas RWTH Aachen https://www2.math.rwth-aachen.de/ds17/ Mathematische Logik Aussagen Begriff Aussage: Ausdruck, welcher entweder wahr oder falsch ist e Die RWTH Aachen hat

Mehr

Vorkurs Mathematik B

Vorkurs Mathematik B Vorkurs Mathematik B Dr. Thorsten Camps Fakultät für Mathematik TU Dortmund 5. September 2011 Definition (Menge) Wir verstehen unter einer Menge eine Zusammenfassung von unterscheidbaren Objekten zu einem

Mehr

Mathematik 1 für Wirtschaftsinformatik

Mathematik 1 für Wirtschaftsinformatik für Wirtschaftsinformatik Wintersemester 2012/13 Hochschule Augsburg : Gliederung 1 Grundlegende 2 Grundlegende 3 Aussagenlogik 4 Komplexe Zahlen 5 Lineare Algebra 6 Lineare Programme 2 Grundlegende

Mehr

Vorsemesterkurs Informatik

Vorsemesterkurs Informatik Vorsemesterkurs Informatik Ronja Düffel WS2018/19 01. Oktober 2018 Theoretische Informatik Wieso, weshalb, warum??!? 1 Modellieren und Formalisieren von Problemen und Lösungen 2 Verifikation (Beweis der

Mehr

Mengen, Logik. Jörn Loviscach. Versionsstand: 17. Oktober 2009, 17:42

Mengen, Logik. Jörn Loviscach. Versionsstand: 17. Oktober 2009, 17:42 Mengen, Logik Jörn Loviscach Versionsstand: 17. Oktober 2009, 17:42 1 Naive Mengenlehre Mengen sind die Grundlage fast aller mathematischen Objekte. Ob die Zahl 7, ein Kreis in der Ebene, die Relation

Mehr

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Saskia Klaus 07.10.016 1 Motivation In den ersten beiden Vorträgen des Vorkurses haben wir gesehen, wie man aus schon bekannten Wahrheiten

Mehr

Vorsemesterkurs Informatik

Vorsemesterkurs Informatik Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung

Mehr

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016 HM I Tutorium 1 Lucas Kunz 27. Oktober 2016 Inhaltsverzeichnis 1 Theorie 2 1.1 Logische Verknüpfungen............................ 2 1.2 Quantoren.................................... 3 1.3 Mengen und ihre

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Inhaltsverzeichnis Teil 1 Teil

Mehr

Lineare Algebra. Jung Kyu Canci. Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle

Lineare Algebra. Jung Kyu Canci. Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle Lineare Algebra Jung Kyu Canci Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle Herbstsemester 2015 2 Inhaltsverzeichnis 1 Einführung in die Lineare Algebra 5 1.1 Elementare

Mehr

Analyis I - Grundlagen

Analyis I - Grundlagen Elementare Aussagenlogik October 23, 2008 Elementare Aussagenlogik Definition Eine Aussage im Sinne der Aussagenlogik ist eine sprachliche Aussage, bei der klar entschieden werden kann, ob sie wahr oder

Mehr

Vorkurs Mathematik 2014

Vorkurs Mathematik 2014 Vorkurs Mathematik 2014 WWU Münster, Fachbereich Mathematik und Informatik PD Dr. K. Halupczok Skript VK0 vom 2.9.2014 VK0: Einführung Denkanstoÿ: Was ist wissenschaftliches Denken? Theorie (Allgemeines)

Mehr

Brückenkurs Mathematik. Dienstag Freitag

Brückenkurs Mathematik. Dienstag Freitag Brückenkurs Mathematik Dienstag 29.09. - Freitag 9.10.2015 Vorlesung 2 Mengen, Zahlen, Logik Kai Rothe Technische Universität Hamburg-Harburg Mittwoch 30.09.2015 Mengen.................................

Mehr

Technische Universität Ilmenau

Technische Universität Ilmenau Technische Universität Ilmenau Hier finden Sie uns: Informatikgebäude, 2. Etage, Sekretariat Zi. 215 Lehre und Forschung im Fachgebiet Integrierte Hard- und Softwaresysteme Prof. Dr.-Ing. habil. Andreas

Mehr

1 Sprechweisen und Symbole der Mathematik

1 Sprechweisen und Symbole der Mathematik 1 Sprechweisen und Symbole der Mathematik Übersicht 1.1 Junktoren......................................................... 1 1.2 Quantoren......................................................... 4 1.3

Mehr

Wirtschaftsmathematik für International Management (BA) und Betriebswirtschaft (BA)

Wirtschaftsmathematik für International Management (BA) und Betriebswirtschaft (BA) Wirtschaftsmathematik für International Management (BA) und Betriebswirtschaft (BA) Wintersemester 2014/15 Hochschule Augsburg Grundlagentest Bruchrechnen! Testfrage: Bruchrechnung 1 Wie lautet das Ergebnis

Mehr

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung Tobias Krähling email: Homepage: 13.10.2012 Version 1.2 Zusammenfassung Die Aussagenlogik ist sicherlich ein grundlegendes mathematisches Gerüst für weitere

Mehr

Stetige Funktionen. Definition. Seien (X, d) und (Y, ϱ) metrische Räume und f : X Y eine Abbildung. D(f) X sei der Definitionsbereich von f.

Stetige Funktionen. Definition. Seien (X, d) und (Y, ϱ) metrische Räume und f : X Y eine Abbildung. D(f) X sei der Definitionsbereich von f. Stetige Funktionen Abbildungen f : X Y, wobei X und Y strukturierte Mengen sind (wie z.b. Vektorräume oder metrische Räume), spielen eine zentrale Rolle in der Mathematik. In der Analysis sind Abbildungen

Mehr

2 Logik. 2.1 Aussagen und Aussageformen

2 Logik. 2.1 Aussagen und Aussageformen Ein anderer Grundpfeiler der Mathematik neben der Mengenlehre ist die Logik, welche sich mit Aussagen, Verknüpfungen von Aussagen und deren Wahrheitsgehalt befaßt..1 Aussagen und Aussageformen In der Umgangssprache

Mehr

Fachwissenschaftliche Grundlagen

Fachwissenschaftliche Grundlagen Fachwissenschaftliche Grundlagen Vorlesung im Wintersemester 2011/2012, Universität Landau 2. Vorlesung Roland Gunesch Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 1 / 21 Themen heute 1

Mehr

Zusatzmaterial zur Mathematik I für E-Techniker Übung 1

Zusatzmaterial zur Mathematik I für E-Techniker Übung 1 Mathematik I für E-Techniker C. Erdmann WS 011/1, Universität Rostock, 1. Vorlesungswoche Zusatzmaterial zur Mathematik I für E-Techniker Übung 1 Wiederholung - Theorie: Mengen Der grundlegende Begriff

Mehr

./! % 5 6 7 %1/. 89 8 :! 89 2 89 8 8 8 2 /

./! % 5 6 7 %1/. 89 8 :! 89 2 89 8 8 8 2 / # + #! 0%1!! % & ) % #,./!. 21. 3 # 4 % 5 6, #!!/ 6 7 %1/. 89 8 :! 89 2 89 8 8 8 2 / ; 89 8 :!/ ; 1 & 6 8? 88 / 555/ 88 / 1 #Α, + 1 8 Χ1, Ε # 8 Β #Α 1 > # +,8 +. 8 ; & : 1 8 18 1

Mehr

Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen

Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung

Mehr

Kapitel 1.3. Normalformen aussagenlogischer Formeln. Mathematische Logik (WS 2010/11) Kapitel 1.3: Normalformen 1 / 1

Kapitel 1.3. Normalformen aussagenlogischer Formeln. Mathematische Logik (WS 2010/11) Kapitel 1.3: Normalformen 1 / 1 Kapitel 1.3 Normalformen aussagenlogischer Formeln Mathematische Logik (WS 2010/11) Kapitel 1.3: Normalformen 1 / 1 Boolesche Formeln, Literale und Klauseln Eine Boolesche Formel ist eine aussagenlogische

Mehr

Grundlagen der Mathematik

Grundlagen der Mathematik Universität Hamburg Winter 2016/17 Fachbereich Mathematik Janko Latschev Grundlagen der Mathematik Lösungsskizzen 2 Präsenzaufgaben (P2) Wir betrachten drei Teilmengen der natürlichen Zahlen: - A = {n

Mehr

Warum Mathe? IG/StV-Mathematik der KFU-Graz. 1 Mengen Mengenoperationen Rechenregeln Mengen 4. Funktionen 7

Warum Mathe? IG/StV-Mathematik der KFU-Graz. 1 Mengen Mengenoperationen Rechenregeln Mengen 4. Funktionen 7 Warum Mathe? IG/StV-Mathematik der KFU-Graz März 2011 Inhalt 1 Mengen 1 1.1 Mengenoperationen.............................. 2 1.2 Rechenregeln.................................. 3 2 Übungsbeispiele zum

Mehr

Formelsammlung zum Starterstudium Mathematik

Formelsammlung zum Starterstudium Mathematik Formelsammlung zum Starterstudium Mathematik Universität des Saarlandes ¼ Version.3 Inhaltsverzeichnis. Potenzgesetze. Vollständige Induktion 3. Betragsgleichungen, Betragsungleichungen 4 4. Folgen und

Mehr