|
Showing 1 - 2 of
2 matches in All Departments
In funf sorgfaltig aufeinander abgestimmten Teilen behandelt das
Buch die wesentlichen mathematischen Elemente der formalen
Spezifikation von Systemen und der Aussagen- und Pradikatenlogik,
die fur das Verstandnis des formalisierten Problemlosens
entscheidend und damit fur Informatiker unerlasslich sind. Eine
Einfuhrung in die intuitive Mengentheorie vermittelt zunachst
notwendige mathematische Grundlagen. Motiviert durch das Konzept
von Datenstrukturen und abstrakten Datentypen werden dann
algebraische Strukturen in der Informatik behandelt. Danach werden
Aussagen- und Pradikatenlogik aus der Sicht der Mathematik und
Informatik dargestellt. Schliesslich fuhrt die Kategorientheorie
fur Informatiker in die Welt der abstrakten Behandlung
mathematischer Strukturen ein.
Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra
und zur Implementierung. Ubungsaufgaben wurden erganzt."
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.