Fundraising September 15, 2024 – October 1, 2024 About fundraising

Aussagenlogik: Deduktion und Algorithmen

Main
Engineering
Aussagenlogik: Deduktion und...

Aussagenlogik: Deduktion und Algorithmen

Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien

Categories:

Year:

1994

Edition:

1

Publisher:

Vieweg+Teubner Verlag

Language:

german

Pages:

438

ISBN 10:

3519021331

ISBN 13:

9783519021339

Series:

Leitfäden und Monographien der Informatik

File:

DJVU, 3.57 MB

IPFS:

,

german, 1994

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

Thomas Streicher — Logik für Informatiker [Lecture notes]

Thomas Thierauf — Grundlagen der Mathematik (Handouts)

Karel Berka, Lothar Kreiser — Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik

— Nonstandard Analysis 001

— Formale Systeme 001

— Logik und Regelverarbeitung 001

— Mengenlehre 003

Hagerup T. — Vorlesungsskript Komplexitätstheorie

Berka K., Kreiser L. — Logik-Texte: kommentierter Auswahl zur Geschichte der modernen Logik

Janko Böhm — Mathematik für Informatiker: Algebraische Strukturen (Vorlesungsmanuskript Wintersemester 2019/20)

Volker Halbach — Axiomatische Wahrheitstheorien

Jansen, Klaus — Approximative Algorithmen und Nichtapproximierbarkeit

Klaus Jansen; Marian Margraf — Approximative Algorithmen und Nichtapproximierbarkeit

Wolfgang Bibel; Steffen Hölldobler; Gerd Neugebauer — Deduktion: Automatisierung der Logik

G.E. Hughes; Max J. Cresswell; Florian Coulmas; Roland Posner; Bernd Wiese — Einführung in die Modallogik

Ulrich Blau — Die dreiwertige Logik der Sprache: Ihre Syntax, Semantik und Anwendung in der Sprachanalyse

Günter Hotz — Schaltkreistheorie

Karel Berka; Lothar Kreiser — Logik-Texte Kommentierte Auswahl zur Geschichte der modernen Logik

Karel Berka; Lothar Kreiser; Siegfried Gottwald; Werner Stelzner — Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik

Karel Berka; Lothar Kreiser; Siegfried Gottwald; Werner Stelzner — Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik

Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.) — Aussagenlogik: Deduktion und Algorithmen

Schmitgen, Stefan; Kleine Büning, Hans — PROLOG: Grundlagen und Anwendungen: mit zahlreichen Abbildungen, Tabellen und Programmbeispielen

Prof. Dr. Wolfgang Rautenberg (auth.) — Einführung in die Mathematische Logik

K.H. Bläsius, H.-J. Bürckert — Deduktionssysteme: Automatisierung des logischen Denkens

Norbert Blum — Einführung in Formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie

Norbert Blum — Algorithmen und Datenstrukturen

Norbert Blum — Algorithmen und Datenstrukturen

Bernd Baumgarten — Kompendium der diskreten Mathematik

Norbert Blum — Theoretische Informatik: Eine anwendungsorientierte Einführung

Armin B. Cremers, Ulrike Griefahn, Ralf Hinze (auth.) — Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung

Prof. Dr. Ingo Wegener (auth.) — Komplexitätstheorie: Grenzen der Effizienz von Algorithmen

Dr. Volker Strassen (eds.) — Komplexität von Entscheidungsproblemen Ein Seminar

Eberhard Bergmann, Helga Noll (auth.) — Mathematische Logik mit Informatik-Anwendungen

Kurt-Ulrich Witt — Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion

André Schulz — Grundlagen der theoretischen Informatik

Most frequently terms