Dies ist eine statische Kopie unseres alten Forums. Es sind keine Interaktionen möglich.
This is a static copy of our old forum. Interactions are not possible.

iriania

Junior Schreiberling

  • "iriania" is female
  • "iriania" started this thread

Posts: 222

Date of registration: Nov 24th 2003

Location: Waqwaq

Occupation: Wie? Ich studiere? seit wann denn?

1

Monday, April 4th 2005, 11:35am

Logik Skript??

Hallo,
ich kann wahrscheinlich nicht an der Logik-Vorlesung teilnehmen. Gibt es ein Skript dazu?

Danke
...und sie dreht sich doch!

Mac

Papa

  • "Mac" is male

Posts: 645

Date of registration: Oct 17th 2002

Location: Hannover

Occupation: IT Freelancer

2

Monday, April 4th 2005, 1:05pm

RE: Logik Skript??

nein. Er nimmt das Buch "Logik für Informatiker" von Uwe Schöning (Spektrum Verlag) als Vorlage

ISBN 3-8274-1005-3
Auflage >=5

Torrero

Senior Schreiberling

  • "Torrero" is male

Posts: 854

Date of registration: Oct 16th 2003

Location: Laatzen

Occupation: Angewandte Informatik

3

Monday, April 4th 2005, 1:31pm

RE: Logik Skript??

Quoted

Original von Mac
nein. Er nimmt das Buch "Logik für Informatiker" von Uwe Schöning (Spektrum Verlag) als Vorlage

ISBN 3-8274-1005-3
Auflage >=5


Gibts da noch andere Empfehlungen fand das Buch von Schöning schon damals bei Theo.Inf total öde.

Ingrim Ingrasch

Erfahrener Schreiberling

  • "Ingrim Ingrasch" is male

Posts: 325

Date of registration: Oct 8th 2003

Location: Märchenland

Occupation: Assistant Director, IT Operations

4

Monday, April 4th 2005, 3:05pm

RE: Logik Skript??

Quoted

Original von Torrero
Gibts da noch andere Empfehlungen fand das Buch von Schöning schon damals bei Theo.Inf total öde.

Ist es auch, aber das ist die einzige Empfehlung die er gegeben hat :-)

Torrero

Senior Schreiberling

  • "Torrero" is male

Posts: 854

Date of registration: Oct 16th 2003

Location: Laatzen

Occupation: Angewandte Informatik

5

Monday, April 4th 2005, 3:09pm

RE: Logik Skript??

Quoted

Original von Ingrim Ingrasch

Quoted

Original von Torrero
Gibts da noch andere Empfehlungen fand das Buch von Schöning schon damals bei Theo.Inf total öde.

Ist es auch, aber das ist die einzige Empfehlung die er gegeben hat :-)


Mal ne freundliche Amazon-Rezension dazu:

Quoted

Das Buch setzt Vorkenntnisse in der Logik voraus. Nur schon das Layout des Buches ist Katastrophal. Die wirklich wichtigen Definitionen sind nicht hervorgehoben. Formelerklärungen werden nicht abgeschlossen und verweisen dauernd auf spätere Teile im Buch. Die engültige Lösung der Übungsaufgaben findet man zwar im Anhang, sucht aber vergeblich nach dem Lösungsweg. Man hat das Gefühl, das Buch wurde mit wenig Liebe geschrieben. Übungsaufgaben erstrecken sich über das ganze Kapitel und nicht erst am Ende des Theoriestoffes. Ewiges Blättern für das Auffinden einer Übungsaufgabe ist vorausprogrammiert.


es gibt aber auch 3 positive Kommentare.

Dexter

Junior Schreiberling

  • "Dexter" is male

Posts: 253

Date of registration: May 27th 2002

6

Monday, April 4th 2005, 7:08pm

Source code

1
2
3
while ($asleep != true)  {  
  $sheep++;  
}

Mac

Papa

  • "Mac" is male

Posts: 645

Date of registration: Oct 17th 2002

Location: Hannover

Occupation: IT Freelancer

7

Monday, April 4th 2005, 9:39pm

RE: Logik Skript??

mag langweilig sein, aber ein Skript wäre auch nicht besser. Und nach seiner Aussage, schreibt er zum Teil einfach nur aus dem Buch ab. Und daher ist das ding mit dem Skript weitesgehend gleich zu setzen.

  • "Joachim" is male

Posts: 2,863

Date of registration: Dec 11th 2001

Location: Hämelerwald

Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)

8

Monday, April 4th 2005, 10:39pm

RE: Logik Skript??

Quoted

Original von Torrero

Quoted

Original von Mac
nein. Er nimmt das Buch "Logik für Informatiker" von Uwe Schöning (Spektrum Verlag) als Vorlage

ISBN 3-8274-1005-3
Auflage >=5


Gibts da noch andere Empfehlungen fand das Buch von Schöning schon damals bei Theo.Inf total öde.
Die Bücher von Schöning (zumindest die beiden, die ich kenne), finde ich auch alles andere als gut (insbesondere was didaktische und gestalterische Aspekte angeht). Andererseits darf man jedoch nicht vergessen, daß diese Bücher nahezu konkurrenzlos günstig sind. Wirklich "gute" Lehrbücher kosten bedeutend mehr.
The purpose of computing is insight, not numbers.
Richard Hamming, 1962

Torrero

Senior Schreiberling

  • "Torrero" is male

Posts: 854

Date of registration: Oct 16th 2003

Location: Laatzen

Occupation: Angewandte Informatik

9

Monday, April 4th 2005, 10:41pm

http://mitglied.lycos.de/saschatoennies/…_Mitschrift.pdf

Ist ne Mitschrift von der gleichen Vorlesung von 2002

iriania

Junior Schreiberling

  • "iriania" is female
  • "iriania" started this thread

Posts: 222

Date of registration: Nov 24th 2003

Location: Waqwaq

Occupation: Wie? Ich studiere? seit wann denn?

10

Thursday, April 7th 2005, 8:54pm

hab' ich 'runtergeladen, habe aber kein StarMath-font, daher kann ich anstelle der Logischen Zeichen nur schwarze Punkte sehen. Weiss jemand einen Rat??(
...und sie dreht sich doch!

Torrero

Senior Schreiberling

  • "Torrero" is male

Posts: 854

Date of registration: Oct 16th 2003

Location: Laatzen

Occupation: Angewandte Informatik

11

Thursday, April 7th 2005, 10:56pm

Quoted

Original von iriania
hab' ich 'runtergeladen, habe aber kein StarMath-font, daher kann ich anstelle der Logischen Zeichen nur schwarze Punkte sehen. Weiss jemand einen Rat??(


Guckst du hier

iriania

Junior Schreiberling

  • "iriania" is female
  • "iriania" started this thread

Posts: 222

Date of registration: Nov 24th 2003

Location: Waqwaq

Occupation: Wie? Ich studiere? seit wann denn?

12

Friday, April 8th 2005, 10:47am

Danke!:]
...und sie dreht sich doch!