Benutzer:MovGP0/Mathematik für ET/Semester 3

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
   MovGP0        Über mich        Hilfen        Artikel        Weblinks        Literatur        Zitate        Notizen        Programmierung        Physik      

Grundlagen[Bearbeiten | Quelltext bearbeiten]

Logik[Bearbeiten | Quelltext bearbeiten]

Aussagenlogik[Bearbeiten | Quelltext bearbeiten]

Identität
Negation
Tautologie
Kontradiktion; Widerspruch
Äquivalenz
Implikation
Disjunktion
Konjunktion
Kommutativgesetz
Assoziativität
Distributivität
Implikation
Verschmelzungsgesetz
Dualität
Doppelnegation
Tautologie
Widerspruch

Prädikatenlogik[Bearbeiten | Quelltext bearbeiten]

Symbole
Logiksymbole
Nicht Folgt Existiert
Existenzquantor
für alle
Allquantor
gleich oder und
  • Logik
  • Variablen
  • Konstanten
  • Prädikate
  • Funktionen
    Funktionssymbole sind spezifisch in der beschriebenen Sprache (etwa Natürliche Zahlen)
Terme
Term
variabler Term konstanter Term
Variabel Konstante
Funktion(Term,Term,Term) keine Variablen
Primformel Bedingung
Gleichungen aus Termen
  • R ist Prädikat
  • t1…tn sind Term
Formel Bedingung
Primformel
F,G : Formel
  • wenn vor der Variablen x kein Quantor steht ist sie frei


Algebra[Bearbeiten | Quelltext bearbeiten]

Trigonometrische Funktionen[Bearbeiten | Quelltext bearbeiten]

Wichtige Funktionswerte
Winkel
Sinus
Kosinus
Tangens nicht definiert nicht definiert
Sinussatz
Kosinussatz
Hyperbelfunktionen
Kofunktionen

siehe auch: Vorlage:Umrechnungstabelle Trigonometrie

komplexe Zahlen und Exponentialfunktionen[Bearbeiten | Quelltext bearbeiten]

Moivrescher Satz

Wahrscheinlichkeitstheorie[Bearbeiten | Quelltext bearbeiten]

Statistik[Bearbeiten | Quelltext bearbeiten]