Literatur gesucht

30/09/2009 - 18:05 von Alfred Flaßhaar | Report spam
Hallo,

für Studienzwecke (1. Studienjahr Mikrosystemtechnik und Bio-Informatik)
wird eine Einführung in die mathematische Logik für Informatiker gesucht.
Könnte ich bitte einige Empfehlungen bekommen?

Freundliche Grüße, Alfred Flaßhaar
 

Lesen sie die antworten

#1 Herbert Newman
30/09/2009 - 18:36 | Warnen spam
On Wed, 30 Sep 2009 18:05:29 +0200, Alfred Flaßhaar wrote:

Hallo,

für Studienzwecke (1. Studienjahr Mikrosystemtechnik und Bio-Informatik)
wird eine Einführung in die mathematische Logik für Informatiker gesucht.
Könnte ich bitte einige Empfehlungen bekommen?



Recht bekannt ist ja Uwe Schönings "Logik für Informatiker" (inzw. in der
5. Auflage). Aber ich habe von dem Buch bislang nur die ersten paar Seiten
gelesen, so dass ich es nicht guten Gewissens empfehlen kann; ich wollte es
einfach nur erwàhnt haben. Was an dem Buch "auffàllt" (ob nun positiv oder
negativ sei dahingestellt) ist eine sehr starke Orientierung an PROLOG im
zweiten Teil des Buchs; dürfte wohl einem Interessensschwerpunkt (auto-
matisches Beweisen) Schönigs geschuldet sein. (?) Vielleicht wàre also in
Deinem Fall eine etwas "allgemein gehaltenere" Einführung (für Informa-
tiker) angemessener?

Eventuell helfen auch die Beschreibungen bei Amazon weiter:
http://www.amazon.de/Logik-f%C3%BCr...ks&qid54328378&sr=1-2

Vielleicht kommt daher für Dich eher

Logik für Informatiker. Eine Einführung (Taschenbuch)
von Bernhard Heinemann, Klaus Weihrauch

in Frage. Mal sehen, ob die anderen das Buch kennen und empfehlen können.


MfG,
Herbert

Ähnliche fragen