MPG.eBooks - Search Results

1

by Hofbauer, Dieter, Kutsche, Ralf-Detlef
Published 1989

Vieweg+Teubner Verlag

Table of Contents: “...1 Grundbegriffe der Prädikatenlogik -- 1.1 Syntax der Prädikatenlogik -- 1.2 Semantik der...”

2

by Kfoury, A.J., Moll, Robert N., Arbib, Michael A.
Published 1982

Springer New York

Table of Contents: “... -- 1.3 Diagonalization and the Halting Problem -- 2 The Syntax and Semantics of while-Programs -- 2.1...”

3

by Böhme, Gert
Published 1993

Springer Berlin Heidelberg

Table of Contents: “...-Arithmetik -- 5.5 Aufgaben -- 6. Klassische Aussagenlogik -- 6.1 Zielsetzung -- 6.2 Syntax der Aussagenlogik...”

4

by Chung, Kai Lai, AitSahlia, Farid
Published 2003

Springer New York

Table of Contents: “... -- Exercises -- 2 Probability -- 2.1 Examples of probability -- 2.2 Definition and illustrations -- 2.3...”