|
Aussagenlogik |
Axiom e: Existenz
Axiom 1: Negation
Axiom 2: Konjunktion
Definition 3: Disjunktion
Definition 4: Implikation
Definition 5: Äquivalenz
Logiksätze
Trugschlüsse
|
|
Einführung in die Logik |
|
"Der vorliegende Text behandelt die Prädikatenlogik der ersten Stufe mit Identität und darf als Zusammenfassung meines Logik-Tutoriums betrachtet werden. Ich bezweifle, dass der Text alleine das Erlernen seines Inhalts ermöglicht, und sei es nur deshalb, weil die vielen merkwürdigen Zeichen und Symbole ohne mündliche Erläuterung noch abschreckender wirken müssen, als sie mit einer solchen erscheinen mögen..." |
|
Logik - eine Einführung |
|
Die Logik befaßt sich mit Sätzen. Sätze werden auch Aussagen, Behauptungen oder Urteile genannt. Auch Thesen, Hypothesen usw. sind Sätze. In der Logik werden Aussagen mit Buchstaben bezeichnet und zwar entweder mit A,B,C... oder mit p,q,r... |
|
Mathematik.net - Logik |
"Die "Binäre Logik" (Aussagenlogik) ist die Sprache der
Mathematiker. Die "Binäre Logik" hilft (nicht nur mathematische)
Begriffe präzise und wesentlich kürzer zu definieren, als es die
normale Sprache erlaubt..." |
|
Mathematische Logik und Theoretische Informatik
Arbeitsgruppe Mathematische Logik und Theoretische Informatik
Skripten
Auf dieser Seite finden sich Skripten zu den Vorlesungen im Bereich Mathematische Logik und Theoretische Informatik.
|
Google Verzeichnis - World > Deutsch > Wissenscha...
Foliensätze zur Aussagenlogik und Prädikatenlogik zu einer Einführungsvorlesung an der Uni Hamburg.
Begriffslogik - http://www.begriffslogik.de
Darstellung der Begriffslogik, einer alten logikform basierend auf Beziehungen |
Philosophie - ats20.de
Logik.
Die Logik ist Thema der neuen Bildungskanon-Folge in Die Zeit – mit einem Leitartikel zur »Logikfabrik« Bletchley Park.
|
Mathematik-Informatik
Diese Homepage ist für alle gedacht, die sich mit der Mathematik oder Informatik befassen. Auf der Seite sind verschiedene Skripte zum download bereit und es gibt eine Bücherecke. In dem Forum kann man seine Fragen äußern und auch mal im Chat |
e-politik.de
zudem einige gegen seine Logik vorgebrachten Kritikpunkte auf, versucht diese in sein Modell zu integrieren und wendet die Logik daraufhin auf das Verhalten von Interessengruppen an.
Anwendung der "Logik des kollektiven Handelns" auf das |
|
 Grundlagen der Mathematik
 Geschichte der Mathematik
Die Zahlen
Wissenschaftliche Methoden
Axiome
Beweismethoden
Logik
Mengenlehre
Modelltheorie
Algebra
Algebraische Strukturen
Elementare Algebra
Galoistheorie
Klassische Algebra
Algebraische Körper
Lineare Algebra
Multilineare Algebra (Tensoren)
Analysis
Chaostheorie
Differentialgleichung
Differentialrechnung
Dynamische Systeme
Folge
Funktion
Funktionalanalysis
Funktionentheorie
Grenzwert
Hilbertraum
Integralrechnung
Reihe
Variationsrechnung
Diskrete Mathematik
Graphentheorie
Kombinatorik
Spieltheorie
Theoretische Informatik
Geometrie
Affine Geometrie
Analytische Geometrie
Differentialgeometrie
Euklidische Geometrie
Geometrische Figuren
Geordnete Geometrie
Projektive Geometrie
Trigonometrie
Vektorrechnung
Numerische Mathematik
Algorithmus
Numerische Quadratur
Numerische Strömungsmechanik
Optimierung
Statistik und Stochastik
Deskriptive Statistik
Wahrscheinlichkeitsrechnung
Zufallsvariablen
Topologie
Zahlentheorie
|