Reduktionstheorie des Entscheidungsproblems im...

Main
Reduktionstheorie des...

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

Surányi, János

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:

1959

Yayımcı:

Verlag der Ungarischen Akademie der Wissenschaften

Dil:

german

Sayfalar:

215

Dosya:

PDF, 11.07 MB

IPFS:

,

german, 1959

Online Oku

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

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

İlginizi çekebilir

Thiele Helmut — Einführung in die Fuzzy-Logik

Tamás Varga — Mathematische Logik für Anfänger: Aussagenlogik

Tricomi F.G. — Vorlesungen uber ortogonalreihen

Dieter Klaua — Allgemeine Mengenlehre: Ein Fundament der Mathematik

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

Dieter Klaua — Elementare Axiome der Mengenlehre-Einführung in die Allgemeine Mengenlehre

— Fuzzy Logic 001

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

Prof. Dr. rer. nat. habil. Siegfried Prössdorf (auth.) — Einige Klassen Singulärer Gleichungen

Arnim von Stechow, Dieter Wunderlich — Semantik / Semantics

Elena Tatievskaya — Der Begriff der logischen Form in der Analytischen Philosophie: Russell in Auseinandersetzung mit Frege, Meinong und Wittgenstein

N. E. Kobrinski (editor); B. A. Trachtenbrot (editor); Helmut Thiele (editor); Rolf Lindner (editor); Siegmar Gerber (editor); Peter H. Starke (editor) — Einführung in die Theorie endlicher Automaten

— Zeitschrift für Angewandte Mathematik und Mechanik: Band 52, Heft 6 Juni 1972

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

Wolfgang Stegmüller — Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

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

Prof. Dr. sc. math. Erwin Engeler, Prof. Dr. sc. math. Peter Läuchli (auth.) — Berechnungstheorie für Informatiker

Fritz Hamm — Natürlich-sprachliche Quantoren

Prof. Dr. Friedrich Sauvigny (auth.) — Partielle Differentialgleichungen der Geometrie und der Physik: Grundlagen und Integraldarstellungen

Dieter Maurer (auth.) — Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme

Prof. Dr. Kurt Meyberg, Dr. Peter Vachenauer (auth.) — Höhere Mathematik: Differential- und Integralrechnung Vektor- und Matrizenrechnung

Professor Dr. Kurt Meyberg, Dr. Peter Vachenauer (auth.) — Höhere Mathematik: Differential- und Integralrechnung Vektor- und Matrizenrechnung

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

Godehard Link — Montague-Grammatik: die logischen Grundlagen

Patrick Brandt, Rolf-Albert Dietrich, Georg Schön — Sprachwissenschaft. Ein roter Faden für das Studium der deutschen Sprache

Anahtar ifadeler