|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Rudolf BerghammerPublisher: Springer Fachmedien Wiesbaden Imprint: Springer Vieweg Edition: 4., erw. u. verb. Aufl. 2021 Dimensions: Width: 16.80cm , Height: 2.60cm , Length: 24.00cm Weight: 0.867kg ISBN: 9783658333034ISBN 10: 3658333030 Pages: 499 Publication Date: 04 March 2021 Audience: Professional and scholarly , Professional & Vocational Replaced By: 9783658441487 Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Language: German Table of ContentsMengentheoretische Grundlagen - Logische Grundlagen - Allgemeine direkte Produkte und Datenstrukturen - Mathematische Beweise - Spezifikation und Programmverifikation - Spezielle Funktionen - Spezielle Relationen und gerichtete Graphen - Elementare Kombinatorik und ungerichtete Graphen - Diskrete Wahrscheinlichkeitstheorie - Generische Programmierung - Grundbegriffe algebraischer Strukturen - Formale Einführung der natürlichen ZahlenReviewsAuthor InformationRudolf Berghammer studierte Mathematik und Informatik an der TU München. Seit 1993 ist er Professor am Institut für Informatik der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge. Tab Content 6Author Website:Countries AvailableAll regions |