Zur Ergebnisliste Neue Suche starten

Axiomatisierung der mehrwertigen Logik

1977 | Mathematik/Informatik | Schleswig-Holstein

Axiomatisierung der mehrwertigen Logik

Teilnehmende

  • Cay Horstmann (17), Malente
    Johann-Heinrich-Voß-Schule, Eutin

Preise

  • 2. Preis Mathematik/Informatik

Projekt

Hohe Mathematik

Axiomatisierung der mehrwertigen Logik

Die Boolesche Algebra ist als mathematische Grundlage für logische Verknüpfungen bekannt. Sie verallgemeinert die Eigenschaften der logischen Operatoren UND, ODER und NICHT sowie die der mengentheoretischen Verknüpfungen Durchschnitt, Vereinigung und Komplement. Cay Horstmann beschäftigt sich mit der Ausdehnung der Booleschen auf die Postsche Algebra.

 
Zur Ergebnisliste Neue Suche starten
  •  2 Klicks für mehr Datenschutz: Erst wenn Sie den Schalter aktivieren, wird der Button aktiv und Sie können Ihre Empfehlung an ShareNetwork senden. Schon beim Aktivieren werden Daten an Dritte übertragen.
        
    •  
  •  
  •  
    • Zum Seitenanfang

Cookie-Einstellungen

Wir nutzen Cookies, um Ihnen die bestmögliche Nutzung unserer Webseite zu ermöglichen und unsere Kommunikation mit Ihnen zu verbessern. Wir berücksichtigen Ihre Auswahl und verwenden nur die Daten, für die Sie uns Ihr Einverständnis geben.

Diese Cookies helfen dabei, unsere Webseite nutzbar zu machen, indem sie Grundfunktionen wie Seitennavigation und Zugriffe auf sichere Bereiche ermöglichen. Unsere Webseite kann ohne diese Cookies nicht richtig funktionieren.

Diese Cookies helfen uns zu verstehen, wie Besucher mit unserer Webseite interagieren, indem Informationen anonym gesammelt werden. Mit diesen Informationen können wir unser Angebot laufend verbessern.