Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Vorlesung über Mathematische Logik [Lecture notes]

Main
Vorlesung über Mathematische Logik...

Vorlesung über Mathematische Logik [Lecture notes]

Martin Ziegler

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Година:

2008

Език:

german

Страници:

104

Файл:

PDF, 812 KB

IPFS:

,

german, 2008

Четете Онлайн

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Markus Nebel — Formale Grundlagen der Programmierung (Studienbücher Informatik)

Irene I. Bouw — Grundlagen der Mathematik [Lecture notes]

Skoruppa N.-P. — Analysis 2

— Logische Systeme der Informatik 001

Norbert Müller — Grundlagen theoretischer Informatik 001

— Logik 002

— Logik und Modelltheorie 001

Schnorr C.P. — Zufälligkeit und Wahrscheinlichkeit

Martin Ziegler (auth.) — Mathematische Logik

Volker Halbach — Axiomatische Wahrheitstheorien

Wolfram Pohlers — Mathematische Grundlagen der Informatik

Karel Berka; Lothar Kreiser; Siegfried Gottwald; Werner Stelzner — 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

Ao. Univ.-Prof. Dipl.-Ing. Dr. Christoph Überhuber, Stefan Katzenbeisser (auth.) — MATLAB 6: Eine Einführung

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

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

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

Renate Winter — Theoretische Informatik: Grundlagen mit Übungsaufgaben und Lösungen

Norbert Blum — Einführung in Formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie

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

Claus Peter Schnorr (auth.) — Zufälligkeit und Wahrscheinlichkeit: Eine algorithmische Begründung der Wahrscheinlichkeitstheorie

Dr. Walter Felscher (auth.) — Berechenbarkeit: Rekursive und Programmierbare Funktionen

Karl-Heinz Zimmermann — Berechenbarkeit

Martin Brokate, Johannes Zimmer, Florian Lindemann — Analysis 1: Ein zuverlässiger und verständlicher Begleiter für Studium und Prüfung

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

Martin Ziegler — Mathematische Logik (Mathematik Kompakt)

Най-често използвани термини