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 …