Mathematisch-Strukturelle Grundlagen Der Informatik

Name: Mathematisch-Strukturelle Grundlagen Der Informatik
Author: Hartmut Ehrig

Auteur: Hartmut Ehrig

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Hartmut Ehrig Bernd Mahr

Co-auteur: Paul Zeitz F Cornelius M Gro_e-Rhode P Zeitz Martin Große-Rhode Martin Grosse-Rhode

Engels
Paperback
9783540638650
11 december 1998
553 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 11 december 1998
Aantal pagina's: 553
Illustraties: Nee

Betrokkenen

Hoofdauteur: Hartmut Ehrig
Tweede Auteur: Bernd Mahr
Co Auteur: Martin Grosse-Rhode
Hoofduitgeverij: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Overige kenmerken

Extra groot lettertype: Nee
Studieboek: Nee
Verpakking breedte: 155 mm
Verpakking hoogte: 235 mm
Verpakking lengte: 235 mm
Verpakkingsgewicht: 830 g

EAN

EAN: 9783540638650

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Computertechnologie

Databases

Wiskunde

Informatiearchitectuur

Kunstmatige intelligentie

Wiskunde voor computerwetenschappers

Dataverwerking & data-analyse

Grondslagen van de wiskunde

Machine learning

Wiskundige logica

Boeken
Boek, ebook of luisterboek?: Boek
Taal: Engels
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Algemene boeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.