Logik für Informatiker [Lecture notes]

Main
Mathematics - Logic
Logik für Informatiker [Lecture notes]

Logik für Informatiker [Lecture notes]

Thomas Streicher

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

الفئات:

Mathematics - Logic

عام:

2002

اللغة:

german

الصفحات:

58

ملف:

PDF, 457 KB

IPFS:

,

german, 2002

إقرأ علي الإنترنت

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

Hillermeier Claus — Mathematik für Informatiker I

Dieter Blessenohl — Einführung in die moderne Mathematik: Das Werkzeug der Algebra [Lecture notes, ]

Rainer Vogt — Topologie I (Sommersemester 2005)

Heinz Spindler — Elementare Zahlentheorie (Sommersemester 1997)

Stefan Felsner — Graphenalgorithmen: Perfekte Graphen [Lecture notes]

Jesko Hüttenhain — Homologietheorie ohne Löcher

Günther Trautmann — Lineare Algebra I und II

Birgit Reinert — Gröbnerbasen [Lecture notes]

Gert-Martin Greuel — Topologie II [Lecture notes]

Tino Lukaschek — Die Verallgemeinerung der Darstellungstheorie der Symmetrischen Gruppen auf die Heckealgebren Typ A_n

Gabriele Nebe — XI Kodierungstheorie

Heinz Spindler — Algebraische Geometrie I

Thomas Streicher — Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]

Sven Wirsing — Über Einheitengruppen modularer Gruppenalgebren [PhD thesis]

— Nonstandard Analysis 001

Ulf Kühn — Arithmetische Geometrie I

— Formale Systeme 001

— Logische Systeme der Informatik 001

— Theoretische Informatik 001

— Theoretische Informatik 006

— Logik und Regelverarbeitung 001

— Algebraische Modelltheorie 001

— Mathematische Logik 002

Smolka G., Schulte C. — Logische Programmierung

Floret K., Wloka J. — Einfuhrung in die Theorie der lokalkoflvexen Raume

Jensen R.B. — Modelle der Mengenlehre

Martin Ziegler (auth.) — Mathematische Logik

Volker Halbach — Axiomatische Wahrheitstheorien

Daniel Alscher — Theorien der reellen Zahlen und Interpretierbarkeit

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

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

Prof. Dr. math. K. Rüdiger Reischuk (auth.) — Komplexitätstheorie Band I: Grundlagen: Maschinenmodelle, Zeit- und Plazkomplexität, Nichtdeterminismus

Prof. Dr. Wolfgang Rautenberg (auth.) — Einführung in die Mathematische Logik

Friedrichsdorf, Ulf — Einführung in die klassische und intensionale Logik

Ronald Björn Jensen (auth.) — Modelle der Mengenlehre: Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms

أكثر المصطلحات والعبارات المستخدمة