Termersetzungssysteme

Name: Termersetzungssysteme
Brand: Springer Nature
SKU: 9783528056520
Availability: InStock

Termersetzungssysteme

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783528056520

Condition

New

0 Reviews

0 Questions | 0 Answers

Product Description

Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakultt fr Informatik der Universitt Tbingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern knnte dieses Buch aber auch fr alle, die sich mit formalen Systemen beschftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einfhrung in das Gebiet der Termersetzungssysteme. Dennoch setzt es ei nige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen die Grundlagen des Programmierens, ein intuitives Verstndnis der Prdikatenlogik und gewisse theoretische Grundlagen (Berechenbarkeit und formale Sprachen), so wie es im allgemeinen bis zum Informatikvordiplom (sowohl im Haupt- als auch im Nebenfach) vermittelt wird. Auch wenn dieses Buch zunchst als Einfhrung in die Termersetzungssysteme gedacht ist, so soll es die Leser letztlich in die Lage versetzen, selbstndig aktuelle Forschungspublika tionen zu studieren. Systeme! zu spezifizieren ist eine wichtige Aufgabe in allen Bereichen der Informatik. Die Spezifikation gehrt zur Entwurfsphase jedes Projektes und dient als (Vertrags-)Grundlage fr seine Realisierung (Implementierung), ebenso zur Dokumentation, und sie ist uerst wichtig bei der Wartung eines fertigen Systems. Formale, d. h. mathematisch exakte Spezifi kationen haben den unbestreitbaren Vorteil, da sie keinerlei Interpretationsspielraum lassen und somit unzweideutig festlegen, was ein System wirklich leisten soll. Leider sind forma 2 le Spezifikationen fr Ungebte sowohl schwierig zu erstellen als auch zu lesen. Deshalb fehlt oft die Motivation, eine formale Spezifikation zu erstellen.

Available Colors

N/A

Available Sizes

N/A

1 Offer Price Range: $44.99 - $44.99

BEST PRICE

Single Product Purchase

$44.99

@ Link.springer.com BUY Now

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com Rate Seller This functionality is for registered users only. Go to Login/Register		$44.99	$44.99			$44.99		See Site	In stock	Visit Store