Bauer, Friedrich L.

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…

Elementare Aussagenlogik: mit 6 Tabellen

by Bauer, Friedrich L., Wirsing, Martin

fromMathematik für Informatiker

0 Type: Book

Algorithmic Language and Program Development

by Bauer, Friedrich L., Wössner, H., (Hans)

fromTexts and Monographs in Computer Science

0 Type: Book

Subjects

Aussagenlogik (3) Computer Science (3) Mathematische Logik (3) AUSSAGENLOGIK (MATHEMATISCHE … (2) Algorithmus (2) Electronic Data Processing (2) Informatique (2) LEHRBÜCHER (DOKUMENTENTYP) (2) Logic, Symbolic and mathemati… (2) Logique symbolique et mathéma… (2) Programmierung (2) Propositional calculus (2) ALGORITHMIC PROGRAMMING (PROG… (1) ALGORITHMISCHE PROGRAMMIERUNG… (1) Algorithmes (1) Algorithmische Sprachen (1) Algoritmos computacionales (1) COMPUTER PROGRAMMING (1) Calculatoare (1) Digitalrechner (1) Génie logiciel (1) Langage programmation (1) Langages de programmation (1) Lenguajes de programación (1) Limbaje de programare (1) Matematična logika -- izjavni… (1) PROGRAMMATION ALGORITHMIQUE (… (1) PROGRAMMIERSPRACHEN (1) Programmation informatique (1) Programmation linéaire (1) Programmierung (Datenverarbei… (1) Programmierung (EDV) (1) Programming languages (Electr… (1) Software Engineering (1) Softwareentwicklung (1) Theoretische Informatik (1) calcul propositionnel (1) data processing (1) programming languages (1)

Contributor

Bauer, Friedrich L. (11) Wirsing, Martin (5) Partsch, H. (2) Wössner, H. (2) Wössner, Hans (2) Pepper, P. (1) Wössner, H., (Hans) (1)

Publisher

Springer (5) Springer-Verlag (4) Springer Berlin Heidelberg (2)

Year

1991 (5) 1982 (6)

Clear filters

Books

Account

Bauer, Friedrich L.

Algorithmic Language and Program Development

Algorithmic language and program development

Algorithmic language and program development

Algorithmic language and program development: with 109 figures

Algorithmic language and program development

Elementare Aussagenlogik

Elementare Aussagenlogik

Elementare Aussagenlogik

Elementare Aussagenlogik

Elementare Aussagenlogik: mit 6 Tabellen

Algorithmic Language and Program Development

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

Wajib Dimiliki Pelajar

5 Reasons Why Breakfast Is The Most Important Meal of The Day