Mathematisch-Strukturelle Grundlagen Der Informatik

Im Mittelpunkt des Buches stehen die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pr�dikatenlogik. Sie sind f�r das Verst�ndnis des formalisierten Probleml�sens entscheidend und damit f�r den Informatiker unerl� lich. Eine Einf�hrung in die intuitive Mengentheorie vermittelt die notwendigen mathematische Grundlagen.