D120.de/forum

Hallo zusammen!

Wie hier geschrieben, habe ich im Rahmen meines FGdI(I+II)-Lernens Zusammenfassungen von beiden Teilen geschrieben, von denen ich denke, dass sie auch anderen Leuten als nur mir hilfreich sein könnten. Ich lad die hier einfach mal hoch, mal schaun was ihr davon haltet . Die FGdI II Zusammenfassung bricht ab im Skript-Kapitel 7.3 (Ausblick auf Modallogiken, Entscheidbare FO-Subklassen etc.), wenns mich bis zur Klausur noch überkommt reich ich das noch nach.

Ich lad hier die PDF-Datei hoch, wer die LaTeX-Datei haben will kann mich gerne per PN/Mail anschreiben.

Liebe Grüße
Dominik

Super Sache!
Sieht wirklich nützlich und hilfreich aus, vielen Dank!

Das hat auf jeden Fall mehr als ein Dank verdient.

errata: Auf Seite 4 unten in der Wertetabelle der Biimplikation ist das Implikationszeichen statt das Äquivalenzzeichen.

Super das du dir die Arbeit gemacht hast das alles einzutippen.

Tolle Zusammenfassung!
Großes Dankeschön auch von mir

Erstmal vielen Dank für die gute Zusammenfassung!

Hier nochmal Errata:

xarfai hat geschrieben:errata: Auf Seite 4 unten in der Wertetabelle der Biimplikation ist das Implikationszeichen statt das Äquivalenzzeichen.

Auf Seite 8 bei den Kalkülen fehlt das Delta in der Konklusion von (UND L) - 6te Kalkülregel.