Elementare Aussagenlogik
by Bauer, Friedrich L., Wirsing, Martin
fromMathematik für Informatiker
0
Type: Book
"33" Result
Sort By:
Elementare Aussagenlogik
by Bauer, Friedrich L., Wirsing, Martin
fromMathematik für Informatiker
0
Type: Book
Elementare Aussagenlogik
by Wirsing, Martin, Bauer, Friedrich Ludwig
fromMathematik für Informatiker
0
Type: Book
Elementare Aussagenlogik
by Bauer, Friedrich L., Wirsing, Martin
fromMathematik für Informatiker
0
Type: Book
Elementare Aussagenlogik
by Bauer, Friedrich L., Wirsing, Martin
fromMathematik für Informatiker
0
Type: Book
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht…
Das Buch bietet eine knappe, praxisorientierte Einführung in die Programmierung mit Java, die den Stoff einer Erstsemestervorlesung oder einer Java-Umschulung abdeckt ohne überflüssiges Material zu enthalten. Im Gegensatz zu vielen anderen Büchern, die eine enzyklopädische Abhan…
Das Buch bietet eine knappe, praxisorientierte Einführung in die Programmierung mit Java, die den Stoff einer Erstsemestervorlesung oder einer Java-Umschulung abdeckt ohne überflüssiges Material zu enthalten. Im Gegensatz zu vielen anderen Büchern, die eine enzyklopädische Abhan…
"This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art overview of the field and detailing t…