FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

Ergänzende Literatur zum Schöning?

Ergänzende Literatur zum Schöning? 2003-11-15 12:52
a nonymous user
Moin,

kennt jemand von euch ein Buch, das man parallel zum Schöning noch lesen könnte, um das ganze ein bisschen anschaulicher zu machen? Der Schöning ist zwar sehr gut, aber es ist alles ziemlich knapp beschrieben. Deshalb würde ich ein Buch, das ich parallel dazu lesen könnte ganz hilfreich finden.

Wie habt ihr damals den F1-Stoff gelernt? Nur mit Skript und Schöning?

thx [img]http://unimatix.sternenvolk.de/gfx/7.gif[/img]

Re: Ergänzende Literatur zum Schöning? 2003-11-15 13:34
Zaphod
Uns wurde damals noch ein Buch empfohlen: Wesley C. Salmon: Logik
Ich habe mir das als naiver Erstsemestler natürlich sofort gekauft. Letztendlich habe ich aber nie reingeschaut, weil ich den Stoff in F1 gar nicht so schwer fand. Wenn du es für 3 ? erwerben möchtest, dann kannst du es haben.

Für die F1/F2-Klausur hab ich hauptsächlich mit einem Komilitonen die Aufgabenzettel durchgearbeitet und das Skript gelesen.

Re: Ergänzende Literatur zum Schöning? 2003-11-15 21:22
a nonymous user
Also den Salmon hab' ich schonmal durchgeblättert, der scheint nicht gerade hilfreich zu sein. Danke trotzdem. [img]http://unimatix.sternenvolk.de/gfx/6.gif[/img]

Re: Ergänzende Literatur zum Schöning? 2003-11-15 22:23
asdf
Wie habt ihr damals den F1-Stoff gelernt? Nur mit Skript und Schöning?
Für die Klausur reicht es, die Aufgabenzettel zu bearbeiten.
Den Schöning und Salmon habe ich mir im ersten Semester
zugelegt und dann doch nie benutzt (also Geldverschwendung [img]http://unimatix.sternenvolk.de/gfx/26.gif[/img])
Das Skript sollte eigentlich reichen.

Re: Ergänzende Literatur zum Schöning? 2003-11-16 00:28
GroßerSchöpfer
Wie habt ihr damals den F1-Stoff gelernt? Nur mit Skript und Schöning?
Für die Klausur reicht es, die Aufgabenzettel zu bearbeiten.
Den Schöning und Salmon habe ich mir im ersten Semester
zugelegt und dann doch nie benutzt (also Geldverschwendung [img]http://unimatix.sternenvolk.de/gfx/26.gif[/img])
Das Skript sollte eigentlich reichen.

Die Folien von Habel/Eschenbach fand ich doch sehr Trocken, die Definitionen sind da zwar alle drauf, aber wenn man etwas nicht verstanden hat (Herbrand-Universum etwa) dann ist es doch besser wenn man das bei Schöning nachliest.

Re: Ergänzende Literatur zum Schöning? 2003-12-10 22:14
a nonymous user
Kennt nicht doch noch jemand irgendein gutes Buch über Aussagen- und Prädikatenlogik außer dem Schöning…

Also ich bekomme echt langsam derbe Probleme mit F, weil ich mit dem Skript sehr schlecht klarkomme und die Vorlesung passend zum Wort aus reinem "Vorlesen" eben dieses Skripts besteht [img]http://www.fb18.de/gfx/26.gif[/img]
Ich weiss nicht recht wie ich aus dieser Misere rauskomme, in Mathe oder so kann man sich - wenn mal gar nichts mehr geht - wenigstens ein schönes Wochenende nehmen und eins zwei Kapitel bis zum Exzess durcharbeiten, aber in F ist mir das einfach nicht möglich, weil ich nach dem Lernen mit dem Skript, fast genauso "schlau" (oder auch nicht) bin wie vorher [img]http://www.fb18.de/gfx/8.gif[/img]

Ein gescheites Buch würde mir echt helfen…

Bin um jeden Tipp dankbar…

Re: Ergänzende Literatur zum Schöning? 2003-12-10 23:06
theorinix
Ich kenne kaum ein Buch, das so gut verständlich war, wie 1968 bei/nach meinem Abi
J.E.Whitesitt: Boolesche Algebra und ihre Anwendungen, Vieweg-Verlag (1968).
Aber das gibt es heute wohl nicht mehr und auch ist dort nicht mehr drin als: Mengenalgebra, Boolesche Algebra, Aussagenlogik, Schaltalgebra und andere Sichtweisen auf das Gleiche.

Probieren Sie doch mal:
John Kelly: Logik im Klartext, Pearson-Studium, Prentice Hall (2003).

Das ist nicht zu weit entfernt von F1, auch wenn das Layout etwas gewollt "easy" daherkommt.

Viel Glück [img]http://www.fb18.de/gfx/23.gif[/img]