MathProf - Logische Aussagen - Boolesche Operatoren - Logik

MathProf - Mathematik-Software - Aussagenlogik | Logische Operationen | Aussagen verknüpfen

Fachthemen: Aussagenlogik und Boolesche Algebra

MathProf - Mathematische Logik - Software für interaktive Mathematik zum Lösen unterschiedlicher Aufgaben und zur Visualisierung relevanter Sachverhalte mittels Simulationen, 2D- und 3D-Animationen für Schüler, Abiturienten, Studenten, Lehrer, Ingenieure, Wissenschaftler und alle die sich für Mathematik interessieren.

MathProf - Mathematik für Schule, Studium und Wissenschaft - Aussagenlogik | Logische Operationen | Aussagen verknüpfen

Online-Hilfe
für das Modul zur Durchführung von Operationen mit logischen Aussagefunktionen.

Dieser Teil des Programms ermöglicht die Erstellung logischer Verknüpfungen sowie deren Auswertung unter der Verwendung frei definierbarer Funktionen mit bis zu fünf verschiedenen Variablen sowie mit Hilfe relevanter logischer Operatoren.


Hierbei handelt es sich um ein Unterprogramm zur Anwendung der Booleschen Algebra aus dem Bereich der Digitaltechnik, bei welchem unter anderem die folgenden logischen Funktionen zur Definition kombinierter Aussagen verwendet werden können: UND (Konjunktion), ODER (Disjunktion), XOR, NOR, NAND sowie Implikation, Negation und Äquivalenz.

Die Ausgabe der Ergebnisse definierter Fallunterscheidungen erfolgt in einer Wahrheitstabelle (Funktionstabelle) bzw. Wahrheitstafel. Auch ermöglicht der implementierte Rechner die Bildung derer disjunktiver und konjunktiver Normalform.

Beispiele, welche Aufschluss über die Verwendbarkeit und Funktionalität
dieses Programmmoduls geben und dazu dienlich sind, Aufgaben zu diesem Themengebiet zu lösen, sind eingebunden.

MathProf - Software für interaktive Mathematik 

Weitere relevante Seiten zu diesem Programm


Durch die Ausführung eines Klicks auf die nachfolgend gezeigte Schaltfläche gelangen Sie zur Startseite dieser Homepage.
 
Zur Startseite dieser Homepage
 
Durch die Ausführung eines Klicks auf die nachfolgend gezeigte Schaltfläche gelangen Sie zur Videoauswahl zu MathProf 5.0.
 
Zu den Videos zu MathProf 5.0
 
Durch die Ausführung eines Klicks auf die nachfolgend gezeigte Schaltfläche können Sie eine kostenlose Demoversion des Programms MathProf 5.0 herunterladen.

Zum Download der Demoversion von MathProf 5.0
 

Themen und Stichworte zu diesem Modul:

Aussagenlogik - Aussagen - Logik - Tabelle - Wahrheitstafel - Wahrheitstabelle - Logische Verknüpfungen - Logische Operatoren - Zeichen - Logische Aussagen - Gleichungen - 0 - 1 - A - B - Verknüpfungen - Funktionstabelle - Wahrheitstafeln - Wahrheitstabellen - Kontravalenz - Äquivalenz - Was sind - Was ist - Bedeutung - Was bedeutet - Welche - Welcher - Welches - Wodurch - Herleitung - Beweis - Einführung - Erklärung - Einfach erklärt - Beschreibung - Disjunktive Normalform - Konjunktive Normalform - Disjunktion - Konjunktion - Konklusion - Wenn - Dann - Operationen - Anweisungen - Bedingungen - Mehrere Bedingungen - Boolesche Logik - Boolesche Operatoren - Boolesche Algebra - Argumente - Ausdrücke - Aussageform - Ausdruck - Ergebnis - Übersicht - Logische Funktionen - Verschachtelte Wenn Funktion - Wahr - Falsch - Gesetze - Entweder oder - Operator - Mathematische Aussagen - Mathe - Rechnen - Implikationen - Kontraposition - Berechnung - Wenn Funktionen - Wenn Oder Funktion - OR - NOR - NAND - XOR - UND - ODER - AND - Implikation - NAND-Verknüpfung - NOR-Verknüpfung - Und-Verknüpfung - Oder-Verknüpfung - OR-Verknüpfung - XOR-Verknüpfung - XOR-Tabelle - NAND-Tabelle - Oder-Funktion - Und-Funktion - XOR-Funktion - NOR-Funktion - NOR-Tabelle - NAND-Funktion - NAND-Tabelle - NOR-Operator - NAND-Operator - Regeln - Klammern - Grundlagen - Lösen - Definition - Unterschied - Kommutativgesetz - Rechengesetze - Assoziativgesetz - Distributivgesetz - Informatik - Methode - Logisches Oder - Logisches Und - Operation - Operator - Und - Oder - Nicht oder - Nicht und - Tautologie - Kontradiktion - Beziehungen - Logische Ausdrücke - Richtig - Verknüpfen - Junktoren - Umkehrung - Umkehren - Negation - Schaltungen - Mathematik - Negieren - Verneinung - Gesetze - De Morgan-Regeln - Logisch - Grundlagen - Grundlegendes - Übersicht - Begriff - Begriffe - Arbeitsblatt - Arbeitsblätter - Unterrichtsmaterial - Unterrichtsmaterialien - Lernen - Erlernen - Übungsaufgaben - Üben - Übungen - Lösungen - Aufgaben - Abituraufgaben - Abiturvorbereitung - Abitur - Abi - Leistungskurs - LK - Klassenarbeit - Klassenarbeiten - Anwendungsaufgaben - Zeichen - Negation - Negierung - Beispiel - Wertetabelle - Rechner - Berechnen - Aussagenlogische Formel - Logische Negation - Ergebnis - Schaltfunktionen - Idempotenz - Darstellen - Darstellung - Aufgaben - Lösungen - Logikgatter - Gatter - Boolesche Funktion - Rechenregeln - De Morgan - De Morgansche Regeln - De Morgansche Gesetze - De Morgansches Theorem

 
Durch die Ausführung eines Klicks auf die nachfolgend gezeigte Schaltfläche gelangen Sie zum Inhaltsverzeichnis der in MathProf 5.0 implementierten Module bzw. zur Bestellseite für das Programm.
 
Zum Inhaltsverzeichnis von MathProf 5.0 MathProf 5.0 bestellen
     

  Aussagenlogik - Boolesche Algebra


MathProf - Aussagenlogik - Logische Aussage - Logische Aussagen - Logik - Operationen - Gesetze - Negation - Regeln - Symbole - Zeichen - Wahrheitstafel - Mathematische Logik - XOR-Verknüpfung - Kombinierte Aussagen - Ergebnis - Implikationen - Aussagefunktionen - Tabelle - Operatoren - Berechnung - Wenn-Funktionen - Wenn-Oder-Funktion - Verknüpfungstabelle - Verknüpfungstafel - Verknüpfungsregeln - Rechner - Berechnen
Modul Aussagenlogik



Unter dem Menüpunkt [Sonstiges] - Aussagenlogik können Operationen mit in der Booleschen Algebra definierten Aussagefunktionen in Tabellenform (Wahrheitstabelle) ausgegeben und ausgewertet werden.

 

MathProf - Aussagenlogik - Logische Aussagefunktionen - Wahrheitstabelle - Logische Verknüpfungen - Mathematik - Rechner - Implikation - Programm - Boolesche Algeba - Disjunktion - Konjunktion - Beispiel - Logische Operatoren - Disjunktive Normalform - Konjunktive Normalform - Wahrheitstafel - Berechnen - Tabelle
 

Die Boolesche Algebra stellt eine mathematische Struktur dar, die auf der Grundlage binärer logischer Operationen basiert und die lediglich die Zahlen 0 und 1 benutzt.
 
Eine mathematische Aussage ist entweder wahr, oder falsch. Sie kann nur eine dieser Eigenschaften besitzen. Ausgedrückt wird dies durch die Benutzung der boolschen Wahrheitswerte Wahr (1) oder Falsch (0).

Durch die Verwendung von Operatoren und Operationen mit Aussagen, die als Aussagefunktionen bezeichnet werden, können kombinierte Aussagen daraufhin überprüft werden, ob sie wahr oder falsch sind.

Verknüpfte Aussagen werden u.a. in den Bereichen der Begründung mathematischer Beweistechniken, der Mengentheorie, sowie in der Schaltalgebra (Digitaltechnik) benötigt.
 

Zusammenhänge - Operatoren - Aussagefunktionen - Symbole - Übersicht


Zur Definition von Aussagefunktionen (elementaren Aussagen) stehen die folgenden 8 Funktionen und Operatoren (Zeichen) zur Verfügung:
 

Aussagefunktion
Operator
 
 
AND (Konjunktion, Und) +
Wahr, wenn beide Aussagen
zugleich wahr sind
OR (Disjunktion, Oder) *
Wahr, wenn eine der beiden Aussagen wahr ist
XOR (Entweder oder) # Wahr, wenn entweder die eine oder die andere Aussage wahr ist
Implikation (Wenn ... so) > Nur falsch, wenn aus einer wahren Aussage eine falsche geschlussfolgert werden soll
NOR / Falsch, wenn beide Aussagen wahr sind
NAND \ Wahr, wenn beide Aussagen falsch sind
Äquivalenz (Genau dann, wenn) = Wahr, wenn beide Aussagen den gleichen Wahrheitswert besitzen
Negation (NOT, Nicht) - Wahr, wenn Ausgangsaussage falsch ist

 
Nachfolgend wird die Tabelle der Wahrheitswerte gezeigt, die sich bei Verwendung der Aussagen A und B ergeben. Es sind hierbei genau 4 Kombinationen von Aussagen und Operationen möglich.
 

 A  B        A+B A*B A#B A>B A=B A/B A\B
0 0   0 0 0 1 1 1 1
0 1   0 1 1 1 0 0 1
1 0   0 1 1 0 0 0 1
1 1   1 1 0 1 1 0 0
  

Regeln der Aussagenlogik - Regeln der Aussagenverknüpfung - Logische Verknüpfungen - Grundlagen

 
Wenn eine Aussageform für alle Elemente einer Grundmenge erfüllt ist, so heißt sie allgemeingültig. Zwischen Aussagen beziehungsweise derer Verknüpfungen sind nachfolgend aufgeführte Äquivalenzen definiert, welche durch die entsprechenden Junktoren (Symbolzeichen) miteinander in Verbindung stehen:
 

Kommutativgesetz:

A1 ∧ A2  A2 ∧ A1
A1 ∨ A2  A2 ∨ A1

Assoziativgesetz:

( A1 ∧ A2 ) ∧ A3 A1 ∧ ( A2 ∧ A3 )
( A1 ∨ A2 ) ∨ A3 A1 ∨ ( A2 ∨ A3 )

Distributivgesetz:

A1 ∧ ( A2 ∨ A3 ) ( A1 ∧  A2 ) ∨ ( A2 ∧ A3 )
A1 ∨ ( A2 ∧ A3 ) ( A1 ∨  A2 ) ∧ ( A2 ∨ A3 )

De Morgan-Regeln:

¬( A1 ∧ A2 ) ( ¬A1 ) ∨ ( ¬A2 )
¬( A1 ∨ A2 ) ( ¬A1 ) ∧ ( ¬A2 )

Absorptionsgesetz:

A1 ∧ ( A1 ∨ A2 ) A1
A1 ∨ ( A1 ∧ A2 ) A1

Idempotenzgesetz:

A ∧ A A
A ∨ A A

Komplementgesetz:

A1 ∨ ( ¬A2 ∧ A2 ) A
A1 ∧ ( ¬A2 ∨ A2 ) A

Mit:

A, A, A2: Aussagen

Junktoren:

: Logisches Und
: Logisches Oder
¬: Nicht
: Entweder ... oder
 

Fachbegriffe

 
Im folgenden sind die Bedeutungen einiger Begriffe zu diesem Fachthema aufgeführt.

Logik: Als Logik wird die Lehre von den Prinzipien des richtigen, somit schlüssigen Denkens und Beweisführens bezeichnet.

Aussagenlogik (Boolesche Logik): Die Aussagenlogik oder Boolesche Logik ist ein Teilgebiet der formalen Logik, die die zwischen Aussagen und Aussagenverbindungen bestehenden Beziehungen untersucht. Sie beschäftigt sich mit Aussagen und deren Verknüpfung durch Junktoren. Jeder Aussage wird hierbei ein Element der Booleschen Algebra als Wahrheitswert zugeordnet.

Wahrheitstafeln (Wahrheitstabellen): Eine Wahrheitstafel (Wahrheitstabelle) ist eine tabellarische Aufstellung des Wahrheitswertverlaufs logischer Aussagen.

Logische Aussagen: Bei einer logischen Aussage handelt es sich um einen Satz oder Ausdruck, der entweder wahr (1) oder falsch (0) sein kann.

Logische Verknüpfungen: Als logische Verknüpfung wird eine Operation der Booleschen Algebra bezeichnet. Durch Vernüpfungen dieser Art werden in der Schaltalgebra sowie der Aussagenlogik aus einfachen Aussagen kompliziertere Aussagen zusammengesetzt.

Boolesche Operatoren: Ein boolescher Operator stellt einen logischen Operator dar. Er ist somit ein Operator, der mit Wahrheitswerten operiert.

Fallunterscheidung: Eine Fallunterscheidung ist eine Unterscheidung, die dazu dient, alternative Abläufe zu beschreiben.

Logische Funktionen: Logische Funktionen werden verwendet, um zu prüfen, ob bestimmte Fakten bzw. Bedingungen gegeben sind, oder nicht. Hierzu zählen unter anderem die UND-Funktion, die ODER-Funktion, die NICHT-Funktion und die WENN-Funktion sowie weitere Aussagefunktionen.

Kontravalenz: Eine logische Kontravalenz bezeichnet die Verbindung zweier Aussagen durch die Teilaussagen entweder - oder. Es hat exakt eine der beiden Aussagen zutreffen, entweder die eine oder die andere. Keine der beiden Aussagen sind zugleich wahr oder falsch.

Äquivalenz: Eine logische Äquivalenz liegt gann vor, wenn zwei logische Ausdrücke ein und denselben Wahrheitswert besitzen.

Disjunktion: Mit dem Begriff Disjunktion wird das logische Oder beschrieben. Es ist genau dann wahr, wenn von zwei Aussagen wenigstens eine dieser wahr ist. Die Disjunktion in der Aussagenalgebra entspricht der Vereinigung in der Mengenalgebra und der Addition in der Booleschen Algebra.

Disjunktive Normalform (nicht ausschließendes ODER): Hiebei handelt es sich um einen logischen Ausdruck, der in der obersten Ebene aus ODER-Verknüpfungen besteht. Er besitzt folgendes Aussehen: A oder B oder C oder D. Einzelne Elemente dieser Verknüpfung können auch UND-Verknüpfungen beinhalten. Bespiel: (A und B) oder B (und A und C) oder C (und A) oder D

Konjunktion: Der Ausdruck Konjunktion beschreibt das logische Und. Dieses ist genau dann wahr, wenn von zwei Aussagen beide Teilaussagen wahr sind. Die Konjunktion in der Aussagenalgebra entspricht dem Durchschnitt  in der Mengenalgebra und dem Produkt in der Booleschen Algebra.

Kontraposition: Als Kontraposition wird der Umkehrschluss einer Implikation verstanden. Für sie gilt somit der Schluss: Wenn A, dann B auf Wenn nicht B, dann nicht A.

Tautologie: Als Tautologie wird eine Aussage bezeichnet, die stets wahr ist, unabhängig vom Wahrheitswert der zugrundeliegenden Bestandteile.

Kontradiktion: Um eine Kontradiktion handelt es sich, wenn zwei Aussagen oder Begriffe im gegenseitigen Widerspruch stehen und sie eine gegenseitige Negation darstellen.


Konklusion: In der Logik wird eine Konklusion als Aussage definiert, die durch ein logisches Schlussfolgern aus einer oder mehrerer Prämissen gewonnen wird.
 
Logikgatter: Logikgatter sind Anordnungen (elektronische Schaltungen), die Wahrheitswerte verarbeiten und zur Umsetzung einer booleschen Funktion, binäre Eingangssignale zu einem binären Ausgangssignal verarbeiten. Es wird zwischen drei Grundtypen von Logikgattern unterschieden: Dies sind das UND-Gatter, das ODER-Gatter sowie das NICHT-Gatter.

Junktoren: Als Junktoren werden Zeichen oder Worte bezeichnet, die Teilaussagen in einer Form zu einer Gesamtaussage verknüpfen, dass der Wahrheitswert der resultierenden Gesamtaussage einzig und allein von den Wahrheitswerten dieser Teilaussagen bestimmt wird.

Aussageform: Unter einer Aussageform handelt es sich in der Logik um Ausdrücke deren Wahrheit oder Falschheit noch nicht bekannt ist.

Mathematische Aussage: Eine mathematische Aussage ist eine Behauptung, bei der feststeht, dass sie falsch oder wahr ist.

Implikationen: Eine Implikation ist eine Schlussfolgerung, die nur dann das Ergebnis falsch liefert, wenn aus einer wahren Aussage eine falsche geschlussfolgert werden soll.

Negation: Eine Negation ist eine Verneinung. Sie verneint eine Aussage.
 

De Morgansche Gesetze - Funktionale Vollständigkeit

 
1. De Morgansche Gesetze:

Die De-Morganschen Gesetze (oft auch De-Morgansche Regeln genannt) sind zwei grundlegende Regeln für logische Aussagen. Bei ihnen handelt es sich um einen logischen Ausdruck, der aus ODER-Verknüpfungen besteht.
 
Die De-Morganschen Gesetze lauten in der Logik:

Nicht (a und b) ist äquivalent zu ((nicht a) oder (nicht b))
Nicht (a oder b) ist äquivalent zu ((nicht a) und (nicht b))


bzw.:

¬a(a∧b)   ⇔   ¬a ∨ ¬b
¬a(a∨b)   ⇔   ¬a ∧ ¬b
  

2. Funktionale Vollständigkeit:

Eine funktionale Vollständigkeit einer Menge von Grundverknüpfungen liegt vor, wenn alle Ausgangsverknüpfungen mit den Elementen einer Menge darstellbar sind. Es sind dies:

  • Negation und Konjunktion
  • Negation und Alternative
  • Negation und Implkiation
  • Anti-Alternative
  • Anti-Konjugation
 

Wahrheitstabellen - Wahrheitstafel - Wahrheitswertetabelle - Logikgatter


Nachfolgend aufgeführt sind die Wahrheitstabellen (bzw. Logikgatter, Wahrheitstafeln, Wahrheitswertetabellen) wesentlicher logischer Aussagefunktionen.

1. Und-Verknüpfung
 

A B Y
0 0 0
0 1 0
1 0 0
1 1 1


2. Oder-Verknüpfung
 

A B Y
0 0 0
0 1 1
1 0 1
1 1 1


3. XOR-Verknüpfung
 

A B Y
0 0 0
0 1 1
1 0 1
1 1 0
 

4. NOR-Verknüpfung
 

A B Y
0 0 1
0 1 0
1 0 0
1 1 0
 

5. NAND-Verknüpfung
 

A B Y
0 0 1
0 1 1
1 0 1
1 1 0
   
 

Berechnung


Dieses Programmmodul ermöglicht die Erstellung von Aussagefunktionen und die Durchführung relevanter Rechenoperationen mit diesen.
 
Mit Hilfe der 8 zur Verfügung stehenden Funktionen können Sie in diesem Programmteil bis zu 5 Aussagen kombinieren. Eine kombinierte Aussage ist eine Funktion der Ausgangsaussagen H = F(A,B,C,D,E).

Nach der Definition einer Aussagefunktion im dafür vorgesehenen Eingabefeld und einer Bedienung der Schaltfläche Berechnen werden alle möglichen Belegungen der verwendeten Aussagen mit 0 (falsch), oder 1 (wahr) tabellarisch aufgelistet und die entsprechenden Wahrheitswerte im Tabellenfeld F (Ergebnis) der Wahrheitstabelle ausgegeben. Außerdem ermittelt das Programm die konjunktive und die disjunktive Normalform des logischen Terms und gibt diese aus.

Kann eine Aussagefunktion aufgrund eines Definitionsfehlers nicht ausgewertet werden, so erhalten Sie eine entsprechende Fehlermeldung.

Beachten Sie:

Bei der Definition einer Negation ist der Ausdruck in Klammern zu setzen. Der Ausdruck A+-B beispielsweise kann nicht ausgewertet werden. Er müsste wie folgt deklariert sein: A+(-B)

 

Um definierte Terme zu speichern, oder bereits gespeicherte Terme zu holen, verwenden Sie den Menüeintrag Terme - Terme speichern bzw. Terme - Terme holen.

 
Arbeitsblätter - Unterrichtsmaterialien - Nutzung zu Unterrichtszwecken

 
Mit Hilfe dieses Programms lassen sich unter anderem Grafiken für Arbeitsblätter zur nichtkommerziellen Nutzung für Unterrichtszwecke erstellen. Beachten Sie hierbei jedoch, dass jede Art gewerblicher Nutzung dieser Grafiken und Texte untersagt ist und dass Sie zur Verfielfältigung hiermit erstellter Arbeitsblätter und Unterrichtsmaterialien eine schriftliche Genehmigung des Autors (unseres Unternehmens) benötigen.

Diese kann von einem registrierten Kunden, der im Besitz einer gültigen Softwarelizenz für das entsprechende Programm ist, bei Bedarf unter der ausdrücklichen Schilderung des beabsichtigten Verfielfältigungszwecks sowie der Angabe der Anzahl zu verfielfältigender Exemplare für das entsprechende Arbeitsblatt unter der auf der Impressum-Seite dieses Angebots angegebenen Email-Adresse eingeholt werden. Es gelten unsere AGB.

 

Aufgaben - Lernen - Üben - Übungen

  
Dieses Programm eignet sich neben seinem Einsatz als Berechnungs- bzw. Animationsprogramm zudem zum Lernen, zur Aneignung entsprechenden Fachwissens, zum Verstehen sowie zum Lösen verschiedener Aufgaben zum behandelten Fachthema der Mathematik. Durch seine einfache interaktive Handhabbarkeit bietet es die auch Möglichkeit der Durchführung unterschiedlicher Untersuchungen hierzu.

Es kann sowohl zur Einführung in das entsprechende Fachthemengebiet, wie auch zur Erweiterung des bereits hierzu erlangten Fachwissens sowie als Unterstützung bei der Bearbeitung von Anwendungsaufgaben genutzt werden. Des Weiteren eignet es sich auch als Begleiter bei der Bearbeitung von Abituraufgaben sowie zur Vorbereitung auf Klassenarbeiten, zur Unterstützung bei der Abiturvorbereitung und zur Intensivierung des erforderlichen Wissens beim Abitur (Abi) im Mathe-Leistungskurs (LK).
 
Mittels der anschaulichen Gestaltung und einfachen Bedienbarbarkeit einzelner Module dieser Software können Fragen zum entsprechenden Themengebiet, die mit den Worten Was ist?, Was sind?, Wie?, Wieviel?, Was bedeutet?, Weshalb?, Warum? beginnen beantwortet werden.

Eine mathematische Herleitung dient dazu, zu erklären, weshalb es zu einer Aussage kommt. Derartige Folgerungen sind unter anderem dazu dienlich, um zu verstehen, weshalb eine Formel bzw. Funktion Verwendung finden kann. Dieses Modul kann auch in diesem Fall hilfreich sein und ermöglicht es durch dessen Nutzung oftmals, einer entsprechenden Herleitung oder einem mathematischen Beweis zu folgen.

Bei Fragen deren Wörter Welche?, Welcher?, Welches?, Wodurch? bzw. Wie rechnet man? oder Wie berechnet man? sind, können zugrunde liegende Sachverhalte oftmals einfach erklärt und nachvollzogen werden. Auch liefert diese Applikation zu vielen fachthemenbezogenen Problemen eine Antwort und stellt eine diesbezüglich verständliche Beschreibung bzw. Erklärung bereit.

  
Video

 

Nachfolgend finden Sie ein Video zu diesem Fachthema, welches Sie durch die Ausführung eines Klicks
auf die nachfolgend gezeigte Grafik abspielen lassen können.

 Weitere Videos zu einigen in MathProf implementierten Modulen sind auf Youtube unter den folgenden Adressen abrufbar:

Mathematische Funktionen I - Mathematische Funktionen II - Funktionen in Parameterform - Funktionen in Polarform - Kurvenscharen - Funktionsparameter - Kubische Funktionen - Zahlenfolgen - Interaktiv - Rekursive Zahlenfolgen - Interaktiv - Quadratische Funktionen - Interaktiv - Parabel und Gerade - Interaktiv - Ganzrationale Funktionen - Interaktiv - Gebrochenrationale Funktionen - Interaktiv - Kurvendiskussion - Interaktiv - Ober- und Untersummen - Interaktiv - Integralrechnung - Interaktiv - Hypozykoide - Sinusfunktion und Cosinusfunktion - Fourier-Reihen - Implizite Funktionen - Zweipunkteform einer Gerade - Kreis und Punkt - Interaktiv - Kegelschnitte in achsparalleler Lage - Interaktiv - Rechtwinkliges Dreieck - Interaktiv - Allgemeines Dreieck - Interaktiv - Höhensatz - Eulersche Gerade - Richtungsfelder von Differentialgleichungen - Addition und Subtraktion komplexer Zahlen - Binomialverteilung - Interaktiv - Galton-Brett - Satz des Pythagoras - Bewegungen in der Ebene - Dreieck im Raum - Würfel im Raum - Torus im Raum - Schiefer Kegel - Pyramide - Pyramidenstumpf - Doppelpyramide - Hexaeder - Dodekaeder - Ikosaeder - Abgestumpftes Tetraeder - Abgestumpftes Ikosidodekaeder - Johnson Polyeder - Punkte im RaumStrecken im Raum - Rotationskörper - Rotation um die X-Achse - Rotationskörper - Parametergleichungen - Rotation um die X-AchseRotationskörper - Parametergleichungen - Rotation um die Y-Achse - Flächen im Raum I - Flächen im Raum IIAnalyse impliziter Funktionen im Raum - Flächen in Parameterform IFlächen in Parameterform II - Flächen mit Funktionen in Kugelkoordinaten IFlächen mit Funktionen in Kugelkoordinaten II - Flächen mit Funktionen in ZylinderkoordinatenRaumkurven I - Raumkurven II - Raumkurven III - Quadriken - Ellipsoid - Geraden im Raum I - Geraden im Raum II - Ebene durch 3 Punkte - Ebenen im RaumKugel und Gerade - Kugel - Ebene - PunktRaumgittermodelle
 

Beispiele

Beispiel 1:

Die Aussagen A und B sollen UND-verknüpft werden. Nach der Definition der Verknüpfungen im Eingabefeld mit der Zeichenfolge A+B werden nach einer Bedienung der Schaltfläche Berechnen folgende Ergebnisse ausgegeben.

A B F
     
1 1 1
0 1 0
1 0 0
0 0 0

 

Hieraus ist zu entnehmen:
 
Die Aussagenoperation A+B liefert nur das Ergebnis wahr, wenn die beiden Aussagen A und B zugleich wahr sind.

Für die disjunktive Normalform gibt das Programm den Term (A+B) aus. Die konjunktive Normalform des Ausdrucks lautet: (A* (B))+((-A)*B)+(A*B)

Beispiel 2:

Nach der Definition der aussagenlogischen Verbindung A*(B+C)=A im Eingabefeld und einer Bedienung der Schaltfläche Berechnen wird folgende Wahrheitswertetabelle ausgegeben:

A B C F
       
1 1 1 1
0 1 1 0
1 0 1 1
0 0 1 1
1 1 0 1
0 1 0 1
1 0 0 1
0 0 0 1


Hieraus ist zu entnehmen:

Die Aussagenoperation A*(B+C)=A liefert nur das Ergebnis falsch, wenn Aussage A falsch ist, B und C zugleich wahr sind.

Für die disjunktive Normalform gibt das Programm den Term (A+B+C)*(A+(-B)+C)*((-A)+(-B)+C)*(A+B+(-C))*((-A)+B+(-C))*(A+(-B)+(-C))*((-A)+(-B)+(-C)) aus. Die konjunktive Normalform des Ausdrucks lautet: (A*(-B)*(-C))
 

Weitere Screenshots zu diesem Modul

 

MathProf - Wahrheitstafel - Wahrheitstabelle - Logische Verknüpfungen - Logische Operatoren - Zeichen - Logische Aussagen - Gleichungen - 0 - 1 - A - B - Verknüpfungen - Funktionstabelle - Wahrheitstafeln - Wahrheitstabellen - Kontravalenz - Äquivalenz - Operationen - Anweisungen - Bedingungen - Mehrere Bedingungen - Boolesche Logik - Rechnen - NAND - ODER - AND - NAND - Und - Binäre Verknüpfungen - Verschachtelte Funktion - Klammern
Beispiel 1

MathProf - Logikgatter - Gatter - Boolesche Funktion - Rechenregeln - De Morgan - De Morgansche Regeln - De Morgansche Gesetze - De Morgansches Theorem - Berechnen - Tabelle - Methode - Logisches Oder - Logisches Und - Operation - Und - Nicht oder - Nicht und - Tautologie - Kontradiktion - Beziehungen - Logische Ausdrücke - Richtig - Verknüpfen - Junktoren - Umkehrung - Umkehren - Schaltungen - Negieren
Beispiel 2

MathProf - Boolesche Algebra -  Logische Funktionen - Verschachtelte Wenn Funktion - Wahr - Falsch - Gesetze - Entweder oder - Operator - Grundlagen - Grundlegendes - Übersicht - Arbeitsblatt - Arbeitsblätter - Unterrichtsmaterial - Unterrichtsmaterialien - Lernen - Übungsaufgaben - Üben - Übungen - Aufgaben - Logische Negation - Darstellen - Darstellung - Aufgaben - De Morgansche Regeln - Morgansches Theorem
Beispiel 3

MathProf - Logische Verknüpfungen - Wahrheitstabelle - Wahrheitstafel - Boolesche Algeba - Beispiel - Logische Funktionen - Logische Operatoren - Disjunktive Normalform - Konjunktive Normalform - Rechner - Berechnen
Beispiel 4

MathProf - Boolesche Operatoren - Argumente - Ausdrücke - Aussageform - Ausdruck - Kontraposition - Wenn Funktionen - Wenn Oder Funktion - Kommutativgesetz - Rechengesetze - Assoziativgesetz - Distributivgesetz - Informatik - Rechner - Berechnen
Beispiel 5

MathProf - Mathematische Aussagen - Verneinung - Mathematische Logik - NOR-Verknüfung - UND-Verknüpfung - OR-Verknüpfung - XOR-Verknüpfung - Logisch - Negierung - Wertetabelle - Aussagenlogische Formel - Schaltfunktionen - Idempotenz - Rechner - Berechnen
Beispiel 6

   
Hinweise zu Übungen und Aufgaben
 
Dieses Modul eignet sich neben vielem anderem auch zum Üben bereits erlernter Kenntnisse zu diesem Fachthema. Übungsaufgaben lassen sich durch benutzerdefinierte Festlegungen und Eingaben erstellen und unmittelbar hierauf numerisch bzw. grafisch auswerten. Übungen zu diesem Themengebiet können somit auf einfache Weise praktiziert werden, oder dazu genutzt werden, die Lösungen gestellter Aufgaben zu überprüfen und zu analysieren.
 
Screenshots und Kurzbeschreibungen einiger Module zu entsprechenden Themenbereichen

Eine kleine Übersicht in Form von Bildern und kurzen Beschreibungen über einige zu den einzelnen Fachthemengebieten dieses Programms implementierte Unterprogramme finden Sie unter Screenshots zum Themengebiet Analysis - Screenshots zum Themengebiet Geometrie - Screenshots zum Themengebiet Trigonometrie - Screenshots zum Themengebiet Algebra - Screenshots zum Themengebiet 3D-Mathematik - Screenshots zum Themengebiet Stochastik - Screenshots zum Themengebiet Vektoralgebra sowie unter Screenshots zu sonstigen Themengebieten.
    
Hilfreiche Infos zu diesem Themengebiet

 

Hilfreiche Informationen zu diesem Fachthema sind unter Wikipedia - Aussagenlogik sowie unter Wikipedia - Wahrheitstabelle und unter Wikipedia - Logische Verknüpfung zu finden.
 

Weitere implementierte Module zum Themenbereich Sonstiges


MathProf - Jahreszins - Zinsen - Berechnungsprogramm - Jahreszinsen - Monatszinsen - Monatszins - Zinssatz - Guthaben - Kapital - Zins - Kontostand - Konto - Einzahlung - Verzinsung - Kapitalrechnung - Kapitalrechner - Erhöhung - Zunahme - Abnahme - Anstieg - Zinszahlung - Zinsjahr - Berechnen - RechnerMathProf - Zins - Zinsen - Sparbetrag - Prozent - Promille - Prozentrechner - Prozente berechnen - Prozentrechnung - Prozentrechnen - Prozentsatz - Prozentzahl - Prozentualer Zuwachs - Prozentualer Anstieg - Anteil - Prozentualer Anteil - Prozentualen Anteil berechnen - Zuwachs - Prozentuale Erhöhung - Prozentuale Steigerung - Berechnen - Rechner
 

Zahlenstrahl - Römische Zahlen - Schriftliche Addition - Schriftliche Subtraktion - Schriftliche Multiplikation - Schriftliche Division - Schriftliche Potenzierung - Zahltypumwandlung - Zinsrechnung - Zinseszinsrechnung grafisch - Annuitätentilgung - Jahreszinsrechnung - Physikalische Größen - Materialkonstanten - Fachbegriffe Deutsch - Englisch - Mandelbrot- und Juliamengen - Zusammenhänge Mandelbrot-Juliamengen - Sierpinski-Dreieck - Koch-Kurve - Pythagoras-Baum - Feigenbaum-Diagramm - Lindenmayer-System - Lindenmayer-System II - Logistische Gleichung I - Logistische Gleichung II - Diagramme - Tortendiagramm - Kryptografie - Raumgittermodelle (3D) - Paare geordnet - Kalender - Rechnen mit selbstdefinierten Formeln - Zeichenprogramm - Tangram - Tetris - Spiel 15 - Türme von Hanoi - Dame - Schach

 

Screenshots weiterer Module von MathProf


MathProf - Zahlensysteme - Positionssysteme - Stellenwertsysteme - Umwandlung - Oktalsystem - Binärsystem - Dezimalsystem - Römische Zahlen - Zahlenanalyse - Zahltenyp - Zahlenumwandlung - Zahlworte - Rechner - Umrechnen - Konvertieren - Umwandeln - Berechnen - Zahlwörter - Wandler - Umrechner - Oktalzahlen - Hexadezimal
MathProf 5.0 - Unterprogramm Zahlentypumwandlung



MathProf - Parameterkurven - Parametergleichungen - Parameterdarstellung - Funktionen - Parametrisierte Kurven - Kurven - Grafisch - Graph - Darstellen - Plotter - Grafik - Animationen - Simulation - Rechner - Berechnen - Funktionsgraph - 2D - Plotten - Zeichnen - Kurvenplotter - Bild
MathProf 5.0 - Unterprogramm Kurven von Funktionen in Parameterform
 

Screenshot eines Moduls von PhysProf
 

PhysProf - Adiabatische Zustandsänderung - Adiabatischer Prozess - Adiabatischer Vorgang - Adiabatische Expansion - Adiabatische Kompression - Zustandsänderungen - Adiabatengleichung - Adiabatenexponent - Thermische Zustandsgleichung -  Volumen - Druck - Temperatur - Diagramm - Adiabatische Arbeit - Expansion - Kompression - Rechner - Berechnen - Gleichung - Simulation - Darstellen - Garfisch - Grafik
PhysProf 1.1 - Unterprogramm Adiabatische Zustandsänderung
 

Screenshot einer mit SimPlot erstellten Animationsgrafik


SimPlot - Animationen - Präsentationen - Grafiken - Schaubilder - Visualisierung - Programm - Interaktive Grafik - Bilder - Computeranimationen - Infografik - Software - Plotter - Rechner - Computersimulation - Darstellen - Technisch - Datenvisualisierung - Animationsprogramm - Wissenschaft - Technik
SimPlot 1.0 - Grafik-  und Animationsprogramm für unterschiedlichste Anwendungszwecke

 
Unsere Produkte
 
Nachfolgend aufgeführt finden Sie Kurzinfos zu den von uns entwickelten Produkten.
 
I - MathProf 5.0
Mathematik interaktiv
 
MathProf 5.0 ist ein Programm für alle, die die Aufgabe oder das Ziel haben, sich mathematische Sachverhalte auf einfache Weise zu verdeutlichen. Zudem spricht es diejenigen an, die sich für Mathematik interessieren, oder mathematische Probleme verschiedenster Art zu lösen haben und von grafischen 2D- und 3D-Echtzeitdarstellungen sowie Animationen beeindruckt sind.
 

Bilder zum Programm MathProf 5.0 - Analysis - Trigonometrie - Algebra - 3D-Mathematik - Vektoralgebra - Geometrie
 

Es eignet sich insbesondere dafür, um interaktive grafische Untersuchungen sowie numerische Berechnungen zu entsprechenden Fachthemen durchführen zu lassen. Mehr als 300 verschiedene Unterprogramme decken die mathematischen Themenbereiche Analysis, Geometrie, Trigonometrie, Algebra, Stochastik, 3D-Mathematik und Vektoralgebra großflächig ab.


Bilder zum Programm MathProf 5.0 - Analysis - Trigonometrie - Algebra - 3D-Mathematik - Stochastik - Vektoralgebra - 

Numerisch - Grafisch - Plotten - Graph


Durch die Nutzbarkeit vieler implementierter grafischer Features bestehen vielseitige gestaltungstechnische Möglichkeiten, ausgegebene Grafiken in entsprechenden Unterprogrammen auf individuelle Anforderungen anzupassen. Durch die freie Veränderbarkeit von Parametern und Koordinatenwerten bei der Ausgabe grafischer Darstellungen, besteht in vielen Modulen zudem die Möglichkeit, Veränderungen an dargestellten Gebilden und Zusammenhängen manuell oder durch die Verwendung automatisch ablaufender Simulationsprozesse in Echtzeit zu steuern und zu analysieren.

Es verfügt über eine umfangreiche Programmhilfe mit ca. 1600 Seiten.

 
Kurzinfos zu Inhalten einiger Unterprogramme erhalten Sie unter:
 

 

Nachfolgend finden Sie ein Video zu einem in MathProf 5.0 unter dem Themenbereich 3D-Mathematik eingebundenen Unterprogramm, welches Sie durch die Ausführung eines Klicks auf die nachfolgend gezeigte Grafik abspielen lassen können.

Nachfolgend finden Sie ein Video zu einem in MathProf 5.0 unter dem Themenbereich Analysis eingebundenen Unterprogramm, welches Sie durch die Ausführung eines Klicks auf die nachfolgend gezeigte Grafik abspielen lassen können.
Nachfolgend finden Sie ein Video zu einem in MathProf 5.0 unter dem Themenbereich Vektoralgebra eingebundenen Unterprogramm, welches Sie durch die Ausführung eines Klicks auf die nachfolgend gezeigte Grafik abspielen lassen können.
Weitere Videos zu einigen in MathProf implementierten Modulen finden Sie, indem Sie den Reiter MathProf-Videos wählen, oder durch einen Klick auf die nachfolgend dargestellte Schaltfläche.
 
Zu den Videos zu MathProf 

5.0
 
 
 
 
II - PhysProf 1.1
Physik interaktiv

 
PhysProf 1.1 ist ein Programm für alle, die die Aufgabe oder das Ziel haben, sich physikalische Gesetzmäßigkeiten und Gegebenheiten zu verdeutlichen. Es spricht alle an, die sich für die Ergründung physikalischer Prozessabläufe und derartige Zusammenhänge interessieren. In zahlreichen Unterprogrammen besteht die Möglichkeit, Veränderungen von Einflussgrößen manuell, oder durch die Ausgabe automatisch ablaufender Simulationsprozesse in Echtzeit zu steuern und zu analysieren. Inhaltlich umfasst es ca. 70 verschiedene Unterprogramme zu den Fachthemenbereichen Mechanik, Elektrotechnik, Thermodynamik und Optik.
 

Bilder zum Programm PhysProf 1.1 - Mechanik - Elektrotechnik - Thermodynamik - Optik
 

Durch die Benutzung dieses Programms wird es ermöglicht, bereits bekannte Fachthemeninhalte aufzuarbeiten und entsprechende Sachverhalte numerisch wie auch grafisch zu analysieren. Mittels der freien Veränderbarkeit der Parameter von Einflussgrößen bei der Ausgabe grafischer Darstellungen besteht in vielen Unterprogrammen die Möglichkeit, Veränderungen an dargestellten Zusammenhängen manuell oder durch die Anwendung automatisch ablaufender Simulationsprozesse in Echtzeit zu steuern und zu analysieren.

Es verfügt über eine umfangreiche Programmhilfe mit ca. 300 Seiten.

 
Eine Übersicht aller in PhysProf 1.1 zur Verfügung stehender Programmteile finden Sie im PhysProf - Inhaltsverzeichnis, oder durch einen Klick auf die nachfolgend dargestellte Schaltfläche.

Zum Inhaltsverzeichnis von PhysProf 1.1
 
Kurzinfos zu Inhalten einiger Unterprogramme von Physprof 1.1 erhalten Sie unter:
 

Nachfolgend finden Sie ein Video zu einem in PhysProf 1.1 unter dem Themenbereich Mechanik eingebundenen Unterprogramm, welches Sie durch die Ausführung eines Klicks auf die nachfolgend gezeigte Grafik abspielen lassen können.

Nachfolgend finden Sie ein Video zu einem in PhysProf 1.1 unter dem Themenbereich Thermodynamik eingebundenen Unterprogramm, welches Sie durch die Ausführung eines Klicks auf die nachfolgend gezeigte Grafik abspielen lassen können.

Nachfolgend finden Sie ein Video zu einem in PhysProf 1.1 unter dem Themenbereich Elektrotechnik eingebundenen Unterprogramm, welches Sie durch die Ausführung eines Klicks auf die nachfolgend gezeigte Grafik abspielen lassen können.

Weitere Videos zu einigen in PhysProf implementierten Modulen finden Sie, indem Sie den Reiter PhysProf-Videos wählen, oder durch einen Klick auf die nachfolgend dargestellte Schaltfläche.
 
Zu den Videos zu PhysProf 1.1
 

 
 


 
III - SimPlot 1.0
Visualisierung und Simulation interaktiv
 

SimPlot 1.0 ist eine Anwendung, welche es unter anderem durch interaktiv erstellbare Präsentationen ermöglicht, sich Sachverhalte aus vielen technischen, wissenschaftlichen und anderen Bereichen grafisch darstellen und diese multifunktional sowohl statisch, wie auch in Form bewegter Grafiken ausgeben zu lassen. Das Programm erlaubt die Erstellung von Gebilden mit zweidimensionalen grafischen Objekten, welche als geometrische Figuren und Bilder zur Verfügung stehen.

Es bietet zudem die Möglichkeit, Zusammenhänge im Bereich der Planimetrie auf einfache Weise interaktiv zu analysieren. Unter anderem wird es ermöglicht, mit erzeugten Gebilden geometrische Transformationen durchzuführen und diesen automatisch ablaufende Bewegungs- und Verformungsprozesse zuzuweisen.

 
Bilder zum Programm SimPlot 1.0 - Zweidimensionale Grafiken, Simulationen und 

Animationen für unterschiedlichste Anwendungsbereiche

 
SimPlot kann sowohl zur Erstellung von Infografiken, zur dynamischen Datenvisualisierung, zur Auswertung technisch-wissenschaftlicher Zusammenhänge sowie zur Erzeugung bewegter Bilder für verschiedenste Anwendungsbereiche eingesetzt werden. Neben der Bereitstellung vieler mathematischer Hilfsmittel und zusätzlicher Unterprogramme erlaubt es auch die Einblendung von Hilfslinien zur Echtzeit, welche dienlich sind, um sich relevante Sachverhalte und Zusammenhänge unmittelbar begreiflich zu machen.

Dieses Programm verfügt über eine umfangreiche Programmhilfe mit ca. 900 Seiten.
 
Eine Inhaltsübersicht dessen finden Sie unter SimPlot - Inhaltsverzeichnis, oder durch einen Klick auf die nachfolgend dargestellte Schaltfläche.

Zum 

Inhaltsverzeichnis von SimPlot 1.0
 
Beispiele einiger mit Simplot 1.0 erzeugter Grafiken finden Sie unter Beispiele, oder durch einen Klick auf die nachfolgend dargestellte Schaltfläche.

Zu Beispielen von SimPlot 1.0

Nachfolgend finden Sie ein Video zu einer mit SimPlot 1.0 erstellten Animationsgrafik, welches Sie durch die Ausführung eines Klicks auf die nachfolgend gezeigte Grafik abspielen lassen können.

Nachfolgend finden Sie ein Video zu einer mit SimPlot 1.0 erstellten Animationsgrafik, welches Sie durch die Ausführung eines Klicks auf die nachfolgend gezeigte Grafik abspielen lassen können.

Nachfolgend finden Sie ein Video zu einer mit SimPlot 1.0 erstellten Animationsgrafik, welches Sie durch die Ausführung eines Klicks auf die nachfolgend gezeigte Grafik abspielen lassen können.

Weitere Videos zu einigen mit SimPlot erzeugten Animationen finden Sie unter SimPlot-Videos, oder durch einen Klick auf die nachfolgend dargestellte Schaltfläche.
 
Zu den Videos zu SimPlot 1.0