ばいちょ(売価調査)、価格比較とネットでのお買い物を楽に

内容説明 In f-nf sorgf-ltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pr-dikatenlogik， die f-r das Verst-ndnis des formalisierten Probleml-sens entscheidend und damit f-r Informatiker unerl--lich sind. Eine Einf-hrung in die intuitive Mengentheorie vermittelt zun-chst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Pr-dikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schlie-lich f-hrt die Kategorientheorie f-r Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.
Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. -bungsaufgaben wurden erg-nzt.