Willkommen. Schön, sind Sie da!
Mein Ex Libris
🔥10% auf alle Bücher
Jetzt profitieren

Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth

Beschreibung

Inhalt 1. Boolesche Algebren.- 1.1 Definitionen.- 1.2 Erzeugendensysteme.- 1.3 Ideale in Booleschen Algebren.- 1.4 Unendliche Vereinigungen und Durchschnitte.- 2. Aussagenlogik.- 2.1 Definition der Aussagenlogik.- 2.2 Der Satz von Lindenbaum.- 2.3 Der Vollstän...

Format auswählen

CHF47.90
Download steht sofort bereit 
Kein Rückgaberecht 
10% auf alle Bücher

Wird oft zusammen gekauft

Andere Kunden kauften auch