2021 | OriginalPaper | Chapter
Elementare Logik
Authors : Prof. Dr. Klaus Höllig, Jörg Hörner
Published in: Aufgaben und Lösungen zur Höheren Mathematik 1
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Übersicht 1.1 Vereinfachung eines logischen Ausdrucks 1.2 Umformung und Wahrheitswerttabelle für einen logischen Ausdruck 1.3 Vereinfachung einer logischen Schaltung ? * 1.4 Wahrheitswerttabellen für logische Ausdrücke 1.5 Beschreibung mit Quantoren: Größter gemeinsamer Teiler 1.6 Direkter Beweis: Kathetensatz 1.7 Beweis von Identitäten für Binomialkoeffizienten 1.8 Indirekter Beweis: Irrationalität einer dritten Wurzel 1.9 Indirekter Beweis: Irrationalität von Koordinaten gleichseitiger Dreiecke 1.10 Induktionsbeweis: Summe rationaler Ausdrücke 1.11 Rekursion und vollständige Induktion 1.12 Induktionsbeweis: Winkelsumme im n-Eck ? *