Formalisierung bedeutet den Vorgang (oder das Ergebnis) des Formalisierens einer Sache. Etwas wird formalisiert, wenn ihm eine (strenge) …
Formalismus steht für. allgemein eine Betonung der äußeren Form unter Vernachlässigung des Inhalts einer Sache. in der Mathematik eine Theorie …
Die Wahrscheinlichkeitstheorie oder Wahrscheinlichkeitsrechnung ist ein Teilgebiet der Mathematik , das aus der Formalisierung der …
Ein Trauzeuge ist eine benannte Person, die bei einer Eheschließung oder der Formalisierung einer Lebenspartnerschaft anwesend ist und …
Das automatische Problemlösen stellt ein Teilgebiet der Künstlichen Intelligenz dar, dessen Inhalt die Formalisierung von Problem en und …
Der vom russischen Mathematiker Andrei Markow entwickelte Markow-Algorithmus stellt einen wichtigen Ansatz zur Formalisierung des …
Die Graphentheorie (Chemie) oder auch chemische Graphentheorie beschäftigt sich mit der Formalisierung und Anwendung von … Gegenstand der …
Frege gelang in diesem Buch zum ersten Mal eine Formalisierung der klassischen Prädikatenlogik und damit die erste Formalisierung einer …
Dies gilt dagegen nicht für die erststufige Formalisierung, aus dem Satz von Löwenheim-Skolem folgt die Existenz anderer Modelle, die die …
Formalisierung des Verhaltens Dieser Faktor der Arbeitsgestaltung bestimmt darüber, wie weit das Verhalten der Arbeitsperson genormt ist. …
Zur Formalisierung der Axiome und der Beweise benutzt man dabei die Umgangssprache. Man kann aber auch auf die Umgangssprache verzichten …
Programmiersprachen – den Compilerbau – und die mathematische Formalisierung und Untersuchung von meist diskreten Problem stellungen und deren Modell en. …
Orientierung (Mathematik), Formalisierung der Begriffe rechts und links und des Konzeptes von Richtung. Kristallorientierung , die …
Die bedeutendste Entwicklung der Termlogik in neuerer Zeit ist John Corcoran s Formalisierung der aristotelischen Logik durch Natürliche …
eine völlig andere Ausgabe zu erzeugen Diese Eigenschaft ist eine Formalisierung der Forderung, dass bei einer Blockchiffre oder …
Kritiker beklagen allerdings aufgrund der Formalisierung einen Verlust an Kreativität im Konstruktionsprozess. Konstruktionsmethodik …
Das Konzept der uniformen Räume gestattet die Formalisierung der Idee, dass ein Punkt „x gleich nah bei einem anderen Punkt a ist, wie ein …
formalisiert und normiert (Fachstil); in einigen wissenschaftlichen Disziplinen sind Formalisierung und Normierung stärker ausgeprägt als in anderen. …
Formalisierung und Abbildung im Computer (Wissensrepräsentation und Aufbau einer Wissensdatenbank ) Verarbeitung zur Lösung bestimmter …
Entwickelt um 1940 als ein Versuch der Formalisierung der Logik in der Principia Mathematica von Whitehead und Russell , ist sie von …
Hintergrund der Klauselerteilung ist vor allem die Formalisierung der Zwangsvollstreckung: das Vollstreckungsorgan soll sich allein auf …
Sie diente der Formalisierung und Bekräftigung der zuvor beschlossenen Atlantik-Charta und war ein Schritt auf dem Weg zur Gründung der …
Konzept der „perversen Garben “ ein eine abstrakte algebraische Formalisierung von Ideen aus dem Umfeld des (höherdimensionalen) Riemann- …
Zusammen mit Steven Strogatz stellte er 1998 im Rahmen der Erforschung komplexer Systeme eine mathematische Formalisierung des Kleine- …
Formalisierung von Ronald Fisher s fundamentalem Theorem der Natürlichen Selektion Mit Problemen beladen konvertierte Price vom Atheismus …