Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

Logische Grundlagen der Informatik

Main
Computers - Computer Science
Logische Grundlagen der Informatik

Logische Grundlagen der Informatik

Hans-Jörg Kreowski

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Computers - Computer Science

Jahr:

2020

Auflage:

Reprint 2020

Verlag:

De Gruyter Oldenbourg

Sprache:

german

Seiten:

165

ISBN 10:

3110701928

ISBN 13:

9783110701920

Serien:

Handbuch der Informatik; 1.1

Datei:

PDF, 39.51 MB

IPFS:

,

german, 2020

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

Michael Wolff — Abhandlung über die Prinzipien der Logik. Eine Verteidigung des logischen Monismus

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

— Encyclopaedie der mathematischen Wissenschaften und Anwendungen. Algebra und Zahlentheorie

— Mathematische Logik 002

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

Prof. Dr. Gerhard Goos (auth.) — Vorlesungen Uber Informatik: Band 1: Grundlagen Und Funktionales Programmieren

Paul Lorenzen — Formale Logik

Zoltán Kanyó — Sprichwörter - Analyse einer einfachen Form: Ein Beitrag zur generativen Poetik

Werner Stelzner (editor) — Philosophie und Logik: Frege-Kolloquien 1989 und 1991

Paul Lorenzen — Formale Logik

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

Rudolf Haller, Johann Götschl (eds.) — Philosophie und Physik

Prof. Dr. rer. nat. Herbert Klaeren (auth.) — Vom Problem zum Programm: Eine Einführung in die Informatik

Prof. Dr. rer. nat. Hans-Dieter Ehrich, Dr. rer. nat. Martin Gogolla, Prof. Dr. rer. nat. habil. Udo Walter Lipeck (auth.) — Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie

Michael Wolff — Abhandlung über die Prinzipien der Logik: Mit einer Rekonstruktion der Aristotelischen Syllogistik

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

Lutz Heindorf — Elementare Beweistheorie

Paul Lorenzen — Metamathematik

Am meisten angefragte Begriffe