Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Theoretische Informatik

Theoretische Informatik

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783662574089
Condition
New
Product Description

Die Theoretische Informatik untersucht die der Informatik zugrundeliegenden Konzepte, Modelle und Vorgehensweisen. Es ist ein Fachgebiet, das durch seine formalen Definitionen und vielen Beweise Parallelen zur Mathematik aufweist. Dieses Buch fhrt umfassend in die Theoretische Informatik ein. Dabei legen die Autoren besonderen Wert auf Verstndlichkeit und gute Lesbarkeit. Zu Beginn stellen sie die mathematischen Konzepte mit ihren Begriffen und Notationen vor. In den folgenden drei Hauptabschnitten fhrt das Buch in die Theorie der formalen Sprachen und in die Theorie der Berechenbarkeit ein und gibt einen berblick ber die Komplexittstheorie. Mit ihren verschiedenen Sprachklassen, Grammatiken und den Automaten werden die formalen Sprachen einerseits eingesetzt, um Compiler zu bauen und andererseits um Programme zu analysieren. Bei der Anwendung der Theorie der Berechenbarkeit werden Modelle eines Computers wie etwa die Registermaschine betrachtet. Weil sie einfacher aufgebaut sind als ein konkreter Computer, kann an ihnen untersucht werden, ob ein Problem berhaupt mit einem Computer gelst werden kann. Auch alternative Rechenmodelle wie Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rdding-Netze, Splicing und reversible Rechnungen kommen in einem eigenen umfangreichen Kapitel zur Sprache. Abschlieend wird die Komplexittstheorie betrachtet, anhand derer sich herausfinden lsst, wie viel Rechenzeit fr die Lsung eines Problems aufgewendet werden muss. Das Buch basiert auf Vorlesungen, die die Autoren fr Studierende der Informatik im Grundstudium an den Universitten Paderborn und Koblenz gehalten haben. Smtliche Beweise werden in dem Buch detailliert ausgefhrt. Und gerade die besonders schwierigen werden nicht abgekrzt, sondern umso eingehender betrachtet. Damit bietet dieses Buch zugleich eine Einfhrung in die Technik des Beweisens. Mit der ausfhrlichen Behandlung aller Beweise eignet sich das Lehrbuch besonders fr Einsteiger indas Gebiet der Theoretischen Informatik. Aber auch Dozenten profitieren insbesondere von der Vorstellung alternativer Berechnungsmodelle.

Available Colors
Available Sizes
1 Offer Price Range: $34.99 - $34.99
BEST PRICE

Single Product Purchase

$34.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
Contact Store Call Store Contact Support
$34.99 $34.99

$34.99
See Site In stock Visit Store

Similar Products

Theorie und Praxis soziosensitiver und sozioaktiver Systeme

$79.99

Mesoscopic Quantum Hall Effect

$84.99

Green Marketing in Emerging Economies

$179.99

Exportpreise richtig kalkulieren und erfolgreich verhandeln

$37.99

A Handbook of Transcription Factors

$169.00

Grundlagen des Marketingmanagements

$19.99

Mixed Signal VLSI Wireless Design

$129.00

Frost Survival of Plants

$84.99

Mathematical Finance

$169.99

Ted Honderich on Consciousness, Determinism, and Humanity

$109.99

Microsoft Orleans for Developers

$39.99

Wenn das Leben religis macht

$39.99

The Convergence of Corporate Governance

$109.99

Current Ornithology

$169.99

Ion Beam Surface Layer Analysis

$39.99

The Economics of Public Services

$169.99

Clinical Atlas of Preservation Rhinoplasty

$249.99

Suchtbehandlung und Digitalisierung

$49.99

Hypertension

$169.99

Practical Approaches to Cancer Invasion and Metastases

$109.99

Pfadfinden weltweit

$44.99

SCOTUS 2020

$24.99

Special Relativity

$54.99

Industriebetriebslehre

$69.99

Aid and Macroeconomic Performance

$109.99

Nanoclay Reinforced Polymer Composites

$169.99

Women in the Poetry of T.S. Eliot

$54.99

Distributed Computer and Communication Networks: Control, Computation, Communications

$89.99

Disease in Wild Animals

$329.99

Natrliche und Synthetische Zusatzstoffe in der Nahrung des Menschen

$79.99

Staging Science

$64.99

Einfhrung in die Konstruktionswissenschaft

$39.99

Patientenmndigkeit

$74.99

Thomas Hardy, Metaphysics and Music

$54.99

Art and Analysis

$54.99

Algebraic Aspects of Cryptography

$199.99

Mit Branding an die Spitze!

$39.99

Miltons Paradise Lost

$39.99

Das Verschuldungsproblem der Dritten Welt

$49.99

Political Power and Environmental Sustainability in Gulf Monarchies

$109.99