İanələr 15 sentyabr 2024 – 1 oktyabr 2024 Vəsaitlərin toplanılması haqqında

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

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

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

Kateqoriyalar:

İl:

1994

Nəşr:

1

Nəşriyyat:

Vieweg+Teubner Verlag

Dil:

german

Səhifələr:

438

ISBN 10:

3519021331

ISBN 13:

9783519021339

Seriyalar:

Leitfäden und Monographien der Informatik

Fayl:

DJVU, 3.57 MB

IPFS:

,

german, 1994

Onlayn oxumaq

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

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

Açar ifadələr