{ "item_title" : "Mathematisch-Strukturelle Grundlagen Der Informatik", "item_author" : [" Hartmut Ehrig", "Bernd Mahr", "F. Cornelius "], "item_description" : "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 unerllich. Eine Einf hrung in die intuitive Mengentheorie vermittelt die notwendigen mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden algebraische Strukturen in der Informatik behandelt. Au erdem stellt das Buch Aussagen- und Pr dikatenlogik aus der Sicht der Mathematik und Informatik dar. Die Kategorientheorie f r Informatiker f hrt schlie lich in die Welt der Abstraktion ein.", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/54/041/923/3540419233_b.jpg", "price_data" : { "retail_price" : "39.99", "online_price" : "39.99", "our_price" : "39.99", "club_price" : "39.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details