Logik für Software-Ingenieure

Main
Logik für Software-Ingenieure

Logik für Software-Ingenieure

Günter Matthiessen

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Yıl:

1991

Yayımcı:

De Gruyter

Dil:

german

Sayfalar:

292

ISBN 10:

3110860228

ISBN 13:

9783110860221

Seriler:

Programmierung Komplexer Systeme / Programming Complex Systems; 3

Dosya:

PDF, 19.76 MB

IPFS:

,

german, 1991

İndir (pdf, 19.76 MB)

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

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

— Einfuehrung in die Aussagen und Praedikatenlogik 001

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

Gerhard Schurz — Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik

Gerhard Schurz — Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik

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

Theodor G. Bucher — Einführung in die angewandte Logik

Theodor Bucher — Einführung in die angewandte Logik

Rudolf Lidl — Algebra für Naturwissenschaftler und Ingenieure

Lothar Kreiser (editor); Siegfried Gottwald (editor); Werner Stelzner (editor) — Nichtklassische Logik: Eine Einführung

Lothar Kreiser (editor); Siegfried Gottwald (editor); Werner Stelzner (editor) — Nichtklassische Logik: Eine Einführung

Lothar Kreiser (editor); Siegfried Gottwald (editor); Werner Stelzner (editor) — Nichtklassische Logik: Eine Einführung

S. W. Jablonski (editor); G. P. Gawrilow (editor); W. B. Kudrjawzew (editor); Helmut Thiele (editor); Rolf Lindner (editor) — Boolesche Funktionen und Postsche Klassen

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

Dr. rer. nat. Hans Hermes (auth.) — Einführung in die mathematische Logik: Klassische Prädikatenlogik

Kastens Uwe; Kleine Büning Hans — Modellierung

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

Frank Staab — Logik und Algebra: eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker (Wirtschaftsinformatik kompakt)

Frank Staab — Logik und Algebra: Eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker

Rainer Wust — Mathematik für Physiker und Mathematiker/ 1, Reelle Analysis und Lineare Algebra

Mark Zegarelli — Logik für Dummies

Mark Zegarelli — Logik für Dummies

Prof. Dr. Klaus W. Wagner (auth.) — Theoretische Informatik: Eine kompakte Einführung

Günther Richter (auth.), Günther Richter (eds.) — Mathematisches Vorsemester: Ausgabe 1977

Günther Richter (auth.), Günther Richter (eds.) — Mathematisches Vorsemester: Ausgabe 1978

Thomas Christaller (auth.), Thomas Christaller, Hans-Werner Hein, Michael M. Richter (eds.) — Kunstliche Intelligenz: Theoretische Grundlagen und Anwendungsfelder Fruhjahrsschulen, Dassel, 8.–16. Marz 1985 und 8.–16.Marz 1986

John Stillwell (auth.) — Wahrheit, Beweis, Unendlichkeit: Eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit

Bruno Buchberger, Franz Lichtenberger (auth.) — Mathematik für Informatiker I: Die Methode der Mathematik

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

Franz von Kutschera — Elementare Logik

Anahtar ifadeler