Schneller Zugriff als Browser!
28 Beziehungen: Ablauforganisation, Abstraktion, Aussagenlogik, Automatisierung, Axiomatisierung, Extension und Intension, Form (Philosophie), Formale Grammatik, Formale Sprache, Formalisierte Theorie, Generative Transformationsgrammatik, Gewohnheit, Gleichberechtigung, Handeln, Horace Miner, Kalkül, Mathematische Logik, Nacirema, Natürliche Sprache, Prädikatenlogik, Rationalisierung (Ökonomie), Regel (Richtlinie), Schriftzeichen, Spielregel, Sybille Krämer, Term, Transparenz (Politik), Wolfgang Wildgen.
Ablauforganisation
Die Ablauforganisation bezeichnet in der Organisationstheorie das Beschreiben dynamischer Arbeitsprozesse unter Berücksichtigung von Strukturen für Raum, Zeit, Sachmitteln und Personen, wogegen sich die Aufbauorganisation hauptsächlich mit dem statischen Strukturieren einer Unternehmung in organisatorische Einheiten – Stellen und Abteilungen – beschäftigt.
Neu!!: Formalisierung und Ablauforganisation · Mehr sehen »
Abstraktion
Das Wort Abstraktion (‚abgezogen‘, Partizip Perfekt Passiv von abs-trahere ‚abziehen‘, ‚entfernen‘, ‚trennen‘) bezeichnet meist den induktiven Denkprozess des erforderlichen Weglassens von Einzelheiten und des Überführens auf etwas Allgemeineres oder Einfacheres.
Neu!!: Formalisierung und Abstraktion · Mehr sehen »
Aussagenlogik
Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.
Neu!!: Formalisierung und Aussagenlogik · Mehr sehen »
Automatisierung
Automatisierung ist sowohl die Bezeichnung für einen Arbeitsprozess (das Automatisieren) als auch für dessen Arbeitsergebnis (automatisierte Arbeitsobjekte).
Neu!!: Formalisierung und Automatisierung · Mehr sehen »
Axiomatisierung
„Unter der Axiomatisierung einer Theorie versteht man ihre Darstellung in der Weise, dass gewisse Sätze dieser Theorie, die Axiome, an den Anfang gestellt werden und weitere Sätze durch logische Deduktion aus ihnen abgeleitet werden.“.
Neu!!: Formalisierung und Axiomatisierung · Mehr sehen »
Extension und Intension
Extension und Intension (‚Ausdehnung, Spannweite, Verbreitung‘ und ‚Mühe, Spannung, Anspannung‘) sind Begriffe aus der Semantik, mit denen verschiedene Dimensionen der Bedeutung sprachlicher Ausdrücke (Prädikate, Sätze) oder logischer Entitäten (Mengen, Begriffe, Propositionen) bestimmt werden.
Neu!!: Formalisierung und Extension und Intension · Mehr sehen »
Form (Philosophie)
Form („Gestalt, Figur“) ist ein philosophischer Grundterminus und stellt eine Übersetzung der griechischen Ausdrücke eidos bzw.
Neu!!: Formalisierung und Form (Philosophie) · Mehr sehen »
Formale Grammatik
Formale Grammatiken sind mathematische Modelle von Grammatiken, die zur eindeutigen Erzeugung und Beschreibung formaler Sprachen dienen.
Neu!!: Formalisierung und Formale Grammatik · Mehr sehen »
Formale Sprache
Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.
Neu!!: Formalisierung und Formale Sprache · Mehr sehen »
Formalisierte Theorie
Die formalisierte Theorie bezeichnet in der klassischen Mathematik ein Verfahren, wobei die Sätze einer Theorie durch logische Schlüsse aus den Axiomen abgeleitet werden.
Neu!!: Formalisierung und Formalisierte Theorie · Mehr sehen »
Generative Transformationsgrammatik
Eine generative Transformationsgrammatik, kurz auch Transformationsgrammatik (TG), ist eine generative Grammatik (Erzeugungsgrammatik) mit Transformationsregeln.
Neu!!: Formalisierung und Generative Transformationsgrammatik · Mehr sehen »
Gewohnheit
Als Gewohnheit (auch Usus, von lateinisch uti „gebrauchen“) wird eine unter gleichartigen Bedingungen entwickelte Reaktionsweise bezeichnet, die durch Wiederholung stereotypisiert wurde und bei gleichartigen Situationsbedingungen wie automatisch nach demselben Reaktionsschema ausgeführt wird, wenn sie nicht bewusst vermieden oder unterdrückt wird.
Neu!!: Formalisierung und Gewohnheit · Mehr sehen »
Gleichberechtigung
Gleichberechtigung bezeichnet die Gleichheit verschiedener Rechtssubjekte in einem bestimmten Rechtssystem.
Neu!!: Formalisierung und Gleichberechtigung · Mehr sehen »
Handeln
Handeln ist ein Sammelbegriff für bestimmte Tätigkeiten (die Handlungen), die ein Mensch absichtlich unternimmt.
Neu!!: Formalisierung und Handeln · Mehr sehen »
Horace Miner
Horace Mitchell Miner (* 26. Mai 1912 in Saint Paul (Minnesota); † 26. November 1993 in Ann Arbor) war ein US-amerikanischer Soziologe und Anthropologe, der sich mit der Variationsbreite menschlicher Kulturen beschäftigte.
Neu!!: Formalisierung und Horace Miner · Mehr sehen »
Kalkül
Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.
Neu!!: Formalisierung und Kalkül · Mehr sehen »
Mathematische Logik
Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
Neu!!: Formalisierung und Mathematische Logik · Mehr sehen »
Nacirema
Nacirema (rückwärts gelesen „American“, für „Amerikaner“) ist eine Bezeichnung, unter der die Bevölkerung der Vereinigten Staaten Gegenstand ethnologischer Untersuchungen wurde, wobei das Ganze wohl weniger als eine wissenschaftliche Abhandlung, sondern eher als Satire zu verstehen ist.
Neu!!: Formalisierung und Nacirema · Mehr sehen »
Natürliche Sprache
Als natürliche Sprache bezeichnet man in der Sprachwissenschaft eine von Menschen gesprochene Sprache oder eine Gebärdensprache, die aus einer ungesteuerten historischen Entwicklung entstanden ist.
Neu!!: Formalisierung und Natürliche Sprache · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Formalisierung und Prädikatenlogik · Mehr sehen »
Rationalisierung (Ökonomie)
Rationalisierung sind in der Wirtschaft alle Maßnahmen, die zur Erhöhung der Arbeitsproduktivität, einer Verringerung der Gesamtkosten und zur Gewinnmaximierung beitragen sollen.
Neu!!: Formalisierung und Rationalisierung (Ökonomie) · Mehr sehen »
Regel (Richtlinie)
Eine Regel ist eine aus bestimmten Regelmäßigkeiten abgeleitete, aus Erfahrungen und Erkenntnissen gewonnene, in Übereinkunft festgelegte, für einen bestimmten Bereich als verbindlich geltende RichtlinieDuden: Deutsches Universalwörterbuch. Stichwort Regel..
Neu!!: Formalisierung und Regel (Richtlinie) · Mehr sehen »
Schriftzeichen
Schriftzeichen (als graphisches Zeichen auf den schon von Cicero verwendeten lateinischen Begriff litterarum nota zurückgehend, im Deutschen veraltet auch Charakter, im Englischen character und im Französischen signe genannt) ist die kleinste Einheit einer Schrift (z. B. des lateinischen- und kyrillischen Alphabets, des Devanagari, des Kana-Syllabars oder der Sinogramme).
Neu!!: Formalisierung und Schriftzeichen · Mehr sehen »
Spielregel
Unter Spielregel verstehen Spielwissenschaft und Spielpädagogik eine verpflichtende Vorgabe, die den Ablauf eines Spiels regelt.
Neu!!: Formalisierung und Spielregel · Mehr sehen »
Sybille Krämer
Sybille Krämer (2019) Sybille Regina Krämer (* 21. März 1951 in Trier) ist eine deutsche Professorin für theoretische Philosophie.
Neu!!: Formalisierung und Sybille Krämer · Mehr sehen »
Term
In der Mathematik ist ein Term eine sinnvolle Kombination aus Zahlen, Variablen, Symbolen für mathematische Verknüpfungen und Klammern.
Neu!!: Formalisierung und Term · Mehr sehen »
Transparenz (Politik)
Transparenz ist in der Politik und im politischen Diskurs eine Forderung bzw.
Neu!!: Formalisierung und Transparenz (Politik) · Mehr sehen »
Wolfgang Wildgen
Wolfgang Wildgen (* 1. Januar 1944 in Fürth) ist ein deutscher Sprachwissenschaftler.
Neu!!: Formalisierung und Wolfgang Wildgen · Mehr sehen »
