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

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


Grundlagen

Logik

Aussagenlogik

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

Prädikatenlogik

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

Trigonometrische Funktionen

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

siehe auch: Vorlage:Umrechnungstabelle Trigonometrie

komplexe Zahlen und Exponentialfunktionen

Moivrescher Satz

Wahrscheinlichkeitstheorie

Statistik