Logische Grundlagen der Informatik

Main
Computers - Computer Science
Logische Grundlagen der Informatik

Logische Grundlagen der Informatik

Hans-Jörg Kreowski

0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Категорії:

Computers - Computer Science

Рік:

2020

Видання:

Reprint 2020

Видавництво:

De Gruyter Oldenbourg

Мова:

german

Сторінки:

165

ISBN 10:

3110701928

ISBN 13:

9783110701920

Серії:

Handbuch der Informatik; 1.1

Файл:

PDF, 39.51 MB

IPFS:

,

german, 2020

Читати Онлайн

Завантажити (pdf, 39.51 MB)

Виконується конвертація в

Конвертація в не вдалась

Можливо вас зацікавить

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

Ключові фрази