Logik II Skript [Peter Schroeder-Heister]

Logik II Skript [Peter Schroeder-H...	Aktionen
Hochschule Eberhard-Karls-Universität Tübingen Fachbereich Fakultät für Philosophie und Geschichte Modul Logik II Titel Logik II Skript [Peter Schroeder-Heister] Datum 27.01.10, 16:05 Uhr Beschreibung Inhaltsverzeichnis 1 Tableaukalkül und klassischer Sequenzenkalkül 2 Einige Eigenschaften von LK 3 Vollständigkeit, Hilberttypkalkül 3.1 Anhang: Schütte-Tait-Kalkül . . . . . . . . . . . . . . . . . . . . . . . . . 4 Natürliches Schließen 5 Normalisierung für NK 6 Junktorenlogische Resolution 7 Skolemisierung 8 Quantorenlogisches Resolutionsverfahren und Unifikation 9 SLD-Resolution Literaturempfehlungen alles lesen Dateiname Logik II Skript [Peter Schroeder-Heister].pdf Dateigröße 0,29 MB Autor max3000 Downloads 17 Logik II Skript [Peter Schroeder-Heister] ZUM DOWNLOAD Uniturm.de ist für Studierende völlig kostenlos! Melde dich jetzt kostenfrei an. Tags Philosophie Note 1.13 bei 8 Bewertungen 1 7 (87%) 2 1 (12%) 3 0 (0%) 4 0 (0%) 5 0 (0%) 6 0 (0%)

Logik II Skript [Peter Schroeder-H...

Aktionen

Hochschule

Eberhard-Karls-Universität Tübingen

Fachbereich

Fakultät für Philosophie und Geschichte

Modul

Logik II

Titel

Datum

27.01.10, 16:05 Uhr

Beschreibung

Inhaltsverzeichnis 1 Tableaukalkül und klassischer Sequenzenkalkül 2 Einige Eigenschaften von LK 3 Vollständigkeit, Hilberttypkalkül 3.1 Anhang: Schütte-Tait-Kalkül . . . . . . . . . . . . . . . . . . . . . . . . . 4 Natürliches Schließen 5 Normalisierung für NK 6 Junktorenlogische Resolution 7 Skolemisierung 8 Quantorenlogisches Resolutionsverfahren und Unifikation 9 SLD-Resolution Literaturempfehlungen

alles lesen

Dateiname

Logik II Skript [Peter Schroeder-Heister].pdf

Dateigröße

0,29 MB

Autor

max3000

Downloads

17

Logik II Skript [Peter Schroeder-Heister]

ZUM DOWNLOAD

Uniturm.de ist für Studierende völlig kostenlos! Melde dich jetzt kostenfrei an.

Tags

Philosophie

Note

1.13 bei 8 Bewertungen

1

7 (87%)

2

1 (12%)

3

0 (0%)

4

0 (0%)

5

0 (0%)

6

0 (0%)

Bewertung
aleph.miciah	1
sam100	1	wowo
skworzow	2
lemaeze	1
deynie	1
Vorherige Seite 1 , 2 Nächste Seite

5 VERWANDTE MODULE	Titel der Unterlage			hochgeladen
Lambda-Kalkül und Kombinatorische Logik Eberhard-Karls-Universität Tübingen » Fakultät für Philosophie und Geschichte	Lambda-Kalkül und Kombinatorische Logik Skript [Peter Schroeder-Hei...	3.00	6	von max3000 am 27.01.10
Deutsch Eberhard-Karls-Universität Tübingen » Fakultät für Philosophie und Geschichte	Zusammenfassung Psychverben Seminar	2.00	2	von max3000 am 30.06.20
Anglistik/Amerikanistik Eberhard-Karls-Universität Tübingen » Fakultät für Philosophie und Geschichte	Unterrichtsmaterial - How to write a Comment	2.00	6	von steinersam am 22.02.17
Philosophie Eberhard-Karls-Universität Tübingen » Fakultät für Philosophie und Geschichte	Truth - from the ashes ... (2003)	1.00	4	von max3000 am 20.01.10
Mathematische Logik II Eberhard-Karls-Universität Tübingen » Fakultät für Philosophie und Geschichte	Mathematische Logik II Übungsblätter WS05	2.00	1	von max3000 am 27.01.10