Inhaltsverzeichnis
51 Beziehungen: Albert Thoralf Skolem, Begleitmatrix, Beobachter (Regelungstechnik), Bereinigte Normalform, Boolesche Funktion, Canonical XML, Chemische Datenbank, Chomsky-Normalform, Disjunktive Normalform, Eindeutigkeit, Einfache Funktion, Erfüllbarkeitsproblem für quantifizierte boolesche Formeln, Filter mit endlicher Impulsantwort, Funktionallogische Programmierung, Ganzrationale Funktion, Greibach-Normalform, Hopf-Bifurkation, Jaakko Hintikka, Kanonisch, Kanonisches Format, Klassifikation (Mathematik), Konfluenz (Informatik), Konjunktive Normalform, Kopplungsfunktion, Kubische Gleichung, Lösen von Gleichungen, Logische Maschine, Logische Verknüpfung, Normalform (Begriffsklärung), Normalform einer Matrix, Normalisierung, PNF, Pränexform, Quadrik, Rationalisierbarkeit, Reduktionssystem, Regler, Sa Carcaredda, Sattel-Knoten-Bifurkation, Schaltalgebra, Smith-Normalform, Spektralzerlegung (Mathematik), Strikte Funktion, Symmetrische Gleichung, Termersetzungssystem, Transduktor (Informatik), Win-win, Winkel in der bernoullischen Lemniskate, XML Signature, Zustandsgröße (Systemtheorie), ... Erweitern Sie Index (1 mehr) »
Albert Thoralf Skolem
Albert Thoralf Skolem (1930er Jahre) Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph.
Sehen Normalform und Albert Thoralf Skolem
Begleitmatrix
Die Begleitmatrix ist eine spezielle Matrix, die einem normierten Polynom zugeordnet werden kann.
Sehen Normalform und Begleitmatrix
Beobachter (Regelungstechnik)
Beobachter (Systemmodell) und "Reales System" (beobachtetes reales Referenzsystem) Ein Beobachter ist in der Regelungstechnik ein System, das aus bekannten Eingangsgrößen (z. B. Stellgrößen oder messbaren Störgrößen) und Ausgangsgrößen (Messgrößen) eines beobachteten Referenzsystems nicht messbare Größen (Zustände) rekonstruiert.
Sehen Normalform und Beobachter (Regelungstechnik)
Bereinigte Normalform
In der Prädikatenlogik heißt eine Formel bereinigt, wenn.
Sehen Normalform und Bereinigte Normalform
Boolesche Funktion
Eine Boolesche Funktion (auch logische Funktion) ist eine mathematische Funktion der Form F\colon B^n \to B^1 (teilweise auch allgemeiner F\colon B^n \to B^m).
Sehen Normalform und Boolesche Funktion
Canonical XML
Canonical XML bezeichnet die kanonische Form von XML-Dokumenten, welche die Vergleichbarkeit zweier solcher Dokumente vereinfachen soll.
Sehen Normalform und Canonical XML
Chemische Datenbank
Eine chemische Datenbank ist eine Datenbank zur Speicherung von Informationen über chemische Verbindungen.
Sehen Normalform und Chemische Datenbank
Chomsky-Normalform
Die Chomsky-Normalform (Abk.: CNF) ist in der theoretischen Informatik eine Normalform für kontextfreie Grammatiken.
Sehen Normalform und Chomsky-Normalform
Disjunktive Normalform
Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet.
Sehen Normalform und Disjunktive Normalform
Eindeutigkeit
Eindeutigkeit ist eine Zuordnung, bei der ein Zeichen (zum Beispiel ein Wort, ein Satz) genau eine Bedeutung hat.
Sehen Normalform und Eindeutigkeit
Einfache Funktion
In der Mathematik, speziell in der Analysis, ist eine einfache Funktion eine Funktion, die messbar ist und nur endlich viele Werte annimmt.
Sehen Normalform und Einfache Funktion
Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
Das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln ist eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik.
Sehen Normalform und Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
Filter mit endlicher Impulsantwort
Ein Filter mit endlicher Impulsantwort (englisch finite impulse response filter, FIR-Filter, oder manchmal auch Transversalfilter genannt) ist ein diskretes, meist digital implementiertes Filter und wird im Bereich der digitalen Signalverarbeitung eingesetzt.
Sehen Normalform und Filter mit endlicher Impulsantwort
Funktionallogische Programmierung
Die Funktionallogische Programmierung ist die Vereinigung des funktionalen mit dem logischen Paradigma in einer Programmiersprache.
Sehen Normalform und Funktionallogische Programmierung
Ganzrationale Funktion
Polynom von Grad 0, f(x).
Sehen Normalform und Ganzrationale Funktion
Greibach-Normalform
Die Greibach-Normalform ist ein Begriff der theoretischen Informatik, der im Zusammenhang mit kontextfreien Sprachen von Interesse ist.
Sehen Normalform und Greibach-Normalform
Hopf-Bifurkation
Komplexe Eigenwerte einer beliebigen Abbildung (Punkte). Bei der Hopf-Bifurkation überquert ein Paar komplex konjugierter Eigenwerte die imaginäre Achse. Eine Hopf-Bifurkation oder Hopf-Andronov-Bifurkation ist ein Typ einer lokalen Bifurkation in nichtlinearen Systemen.
Sehen Normalform und Hopf-Bifurkation
Jaakko Hintikka
Jaako Hintikka (2003) Jaakko Hintikka (* 12. Januar 1929 in Vantaa; † 12. August 2015 in Porvoo) war ein finnischer Philosoph.
Sehen Normalform und Jaakko Hintikka
Kanonisch
Kanonisch (lateinisch canonicus „regelgerecht“; dies aus griechisch κανονικός (kanonikós)) bedeutet „den Regeln entsprechend“ und steht für:; Religion.
Sehen Normalform und Kanonisch
Kanonisches Format
Das kanonische Format bezeichnet in der Informatik eindeutige Darstellungen von Daten (siehe auch kanonische Form).
Sehen Normalform und Kanonisches Format
Klassifikation (Mathematik)
In vielen mathematischen Disziplinen ist eines der großen Ziele, eine Klassifikation der im jeweiligen Teilbereich studierten Objekte zu erreichen.
Sehen Normalform und Klassifikation (Mathematik)
Konfluenz (Informatik)
Konfluenz in einem Termersetzungssystem Konfluenz ist ein Begriff aus der Theoretischen Informatik und bezeichnet die Eigenschaft eines Transitionssystems, jedem Element höchstens eine Normalform zuzuordnen.
Sehen Normalform und Konfluenz (Informatik)
Konjunktive Normalform
Als konjunktive Normalform (kurz KNF, für conjunctive normal form) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet.
Sehen Normalform und Konjunktive Normalform
Kopplungsfunktion
In der Statistik und dort insbesondere in verallgemeinerten linearen Modellen ist eine Kopplungsfunktion, auch Linkfunktion, Verknüpfungsfunktion, oder Verbindungsfunktion genannt, eine Funktion g(\cdot), die die durch den linearen Prädiktor \eta_.
Sehen Normalform und Kopplungsfunktion
Kubische Gleichung
''x''-Achse schneidet. Dieser Graph hat drei reelle Nullstellen. Kubische Gleichungen sind Polynomgleichungen dritten Grades, also algebraische Gleichungen der Form wobei die A, B, C, D als Koeffizienten bezeichnet werden, Elemente eines Ringes R sind und A \ne 0 ist.
Sehen Normalform und Kubische Gleichung
Lösen von Gleichungen
Das Lösen von Gleichungen kann analytisch, also durch Umformung, oder auch grafisch und numerisch erfolgen.
Sehen Normalform und Lösen von Gleichungen
Logische Maschine
„Logisches Piano“ von William Stanley Jevons aus dem Jahr 1869 Als logische Maschinen werden bzw.
Sehen Normalform und Logische Maschine
Logische Verknüpfung
Eine Logische Verknüpfung ist eine Operation der Booleschen Algebra.
Sehen Normalform und Logische Verknüpfung
Normalform (Begriffsklärung)
Normalform steht für.
Sehen Normalform und Normalform (Begriffsklärung)
Normalform einer Matrix
weil Löschantrag erledigt 14.1.2021 alva2004 --> Die Normalform einer Matrix dient in der linearen Algebra dazu, sich eine Übersicht über Matrizen zu verschaffen.
Sehen Normalform und Normalform einer Matrix
Normalisierung
Normalisierung steht für.
Sehen Normalform und Normalisierung
PNF
PNF ist eine Abkürzung für.
Sehen Normalform und PNF
Pränexform
Die Pränexform ist eine mögliche Normalform, in der Aussagen der Prädikatenlogik dargestellt werden können.
Sehen Normalform und Pränexform
Quadrik
Kegel (von links nach rechts) Eine Quadrik (von Quadrat) ist in der Mathematik die Lösungsmenge einer quadratischen Gleichung mehrerer Unbekannter.
Sehen Normalform und Quadrik
Rationalisierbarkeit
In der Spieltheorie ist Rationalisierbarkeit ein Lösungskonzept, welches das Nash-Gleichgewicht generalisiert.
Sehen Normalform und Rationalisierbarkeit
Reduktionssystem
In der Mathematischen Logik und der Theoretischen Informatik steht die Bezeichnung Reduktionssystem, oder abstraktes Reduktionssystem, abgekürzt ARS, für eine Verallgemeinerung von Termersetzungssystemen.
Sehen Normalform und Reduktionssystem
Regler
Sprungantwort des idealen PID-Reglers mit den Zeitkonstanten T und Verstärkungsfaktor K Der in einem Regelkreis eingebundene Regler wirkt so auf eine Regelstrecke ein, dass eine zu regelnde Größe, die Regelgröße, mit Hilfe einer negativen Rückführung unabhängig von Störeinflüssen sich auf das Niveau der gewählten Führungsgröße einstellt.
Sehen Normalform und Regler
Sa Carcaredda
Die Nuraghensiedlung Sa Carcaredda bei Villagrande Strisaili in der Provinz Ogliastra auf Sardinien besteht im Wesentlichen aus einer Art kleinem Megarontempel und einem Gigantengrab des jüngeren Typs mit Quaderfassade.
Sehen Normalform und Sa Carcaredda
Sattel-Knoten-Bifurkation
Fixpunkte sind rot, instabile blau dargestellt. Die Sattel-Knoten-Bifurkation, Falten-Bifurkation (engl. fold bifurcation), Tangenten-Bifurkation (engl. tangent bifurcation), limit point oder turning point ist ein bestimmter Typ einer Bifurkation eines nichtlinearen dynamischen Systems.
Sehen Normalform und Sattel-Knoten-Bifurkation
Schaltalgebra
Die Schaltalgebra ist eine spezielle Ausprägung der Booleschen Algebra mit einer zweiwertigen Trägermenge.
Sehen Normalform und Schaltalgebra
Smith-Normalform
Die Smith-Normalform ist in der Mathematik eine Normalform, die für beliebige Matrizen mit Einträgen aus einem Hauptidealring definiert ist.
Sehen Normalform und Smith-Normalform
Spektralzerlegung (Mathematik)
Die Spektralzerlegung oder spektrale Zerlegung ist in der linearen Algebra die Zerlegung einer quadratischen Matrix in eine Normalform, bei der die Matrix durch ihre Eigenwerte und Eigenvektoren dargestellt wird.
Sehen Normalform und Spektralzerlegung (Mathematik)
Strikte Funktion
In der Informatik heißt eine einstellige Funktion strikt, wenn gilt: Ist ihr Argument undefiniert (\bot, bottom), so ist das Funktionsresultat ebenfalls undefiniert.
Sehen Normalform und Strikte Funktion
Symmetrische Gleichung
Eine symmetrische Gleichung, symmetrisches Polynom, reziproke Gleichung oder reziprokes Polynom ist eine polynomiale (ganzrationale) Gleichung, deren Koeffizientenfolge symmetrisch ist.
Sehen Normalform und Symmetrische Gleichung
Termersetzungssystem
Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik.
Sehen Normalform und Termersetzungssystem
Transduktor (Informatik)
Ein Transduktor ist in der theoretischen Informatik ein spezieller endlicher Automat.
Sehen Normalform und Transduktor (Informatik)
Win-win
Eine Win-win-Strategie (für ‚Gewinn‘), auch als Doppelsieg-Strategie oder als Positivsummenspiel bekannt, hat das Ziel, dass alle Beteiligten und Betroffenen einen Nutzen erzielen.
Sehen Normalform und Win-win
Winkel in der bernoullischen Lemniskate
Winkel an der Lemniskate von Bernoulli Auf den Mathematiker Gerhard Christoph Hermann Vechtmann geht eine Winkelbeziehung in der bernoullischen Lemniskate zurück, welche dem italienischen Mathematikhistoriker Gino Loria zufolge als sehr bemerkenswert anzusehen ist.
Sehen Normalform und Winkel in der bernoullischen Lemniskate
XML Signature
Die XML-Signature (XML-Sig, auch XML-DSig, XMLDsig) ist eine Spezifikation, um bestehende digitale Signaturen in XML-Schreibweise nutzen zu können.
Sehen Normalform und XML Signature
Zustandsgröße (Systemtheorie)
Der Begriff Zustandsgröße oder Zustandsvariable wird in der Systemtheorie zur Systembeschreibung in der Zustandsraumdarstellung benutzt.
Sehen Normalform und Zustandsgröße (Systemtheorie)
Zustandsraumdarstellung
Die Zustandsraumdarstellung ist eine von mehreren bekannten Formen der Systembeschreibung eines linearen zeitinvarianten Übertragungssystems.
Sehen Normalform und Zustandsraumdarstellung
Auch bekannt als Eindeutige Darstellung, Kanonische Darstellung, Kanonische Form.