Berechenbarkeit Abstrakte Rechnermodelle Entscheidungsprobleme Komplexit�t Komplexit�tsklassen Das P-NP-Problem Formale Sprachen Grammatiken Regul�re Sprachen Kontextfreie Sprachen Deterministisch kontextfreie Sprachen Basierend auf den Erfahrungen aus ihren Lehrveranstaltungen zur Theoretischen Informatik vermitteln Baier und Asteroth die klassischen Inhalte einer Einf�hrungsvorlesung f�r Studenten im Haupt- und Nebenfach. Auch f�r Studierende mit geringen mathematischen Vorkenntnissen nachvollziehbar Zum Buch Eine anschauliche Einf�hrung in die klassischen Themenbereiche der Theoretischen Informatik f�r Studierende der Informatik im Haupt- und Nebenfach. Die Autoren w�hlen einen Ansatz, der durch zahlreiche ausgearbeitete Beispiele auch LeserInnen mit nur elementaren Mathematikkenntnissen den Zugang zu Berechenbarkeit, Komplexit�tstheorie und formalen Sprachen erm�glicht. Die mathematischen Konzepte werden sowohl formal eingef�hrt als auch informell erl�utert und durch grafische Darstellungen veranschaulicht. Das Buch umfasst den Lehrstoff einf�hrender Vorlesungen in die Theoretische Informatik und bietet zahlreiche �bungsaufgaben zu jedem Kapitel an. Aus dem Inhalt: Berechenbarkeit * Abstrakte Rechnermodelle * Entscheidungsprobleme Komplexit�t * Komplexit�tsklassen * Das P-NP-Problem Formale Sprachen * Grammatiken * Regul�re Sprachen * Kontextfreie Sprachen * Deterministisch kontextfreie Sprachen * Entscheidungsprobleme f�r formale Sprachen �ber die Autoren: Christel Baier ist Professorin an der Rheinischen Friedrich Wilhelms-Universit�t Bonn und bietet Vorlesungen zur Einf�hrung in die Theoretische Informatik und zur Verifikation an. Alexander Asteroth ist inzwischen in der Industrie t�tig .Auf der Website * Rund 100 �bungsaufgaben und * L�sungsvorschl�ge * Vorlesungsfolien * Alle Abbildungen des Buches Die meisten Studierenden der Mathematik oder Informatik werden mir zustimmen, wenn ich in vielen B�chern zu diesem Thema eine lernorientierte, fl�ssige und konzise Darstellung vermisse. Zu oft wird man mit Definitionen und Theoremen allein gelassen und versteht gr��ere Zusammenh�nge erst viel sp�ter oder gar nicht. Christel Baier und Alexander Asteroth schaffen hier, diese L�cke zwischen Theorie, Verst�ndnis und Anwendung zu schlie�en. Hilfreich sind dabei nat�rlich die schon im Titel versprochenen Beispiele, die den Text sinnvoll begleiten. Sie sind weder zu leicht gew�hlt, was dem Thema nicht gerecht w�rde, noch zu schwer, was dem Verst�ndnis abtr�glich w�re. Vielmehr konkretisieren sie, zeigen Probleme oder pr�sentieren die in Pr�fungen so oft gebrauchten Gegenbeispiele. Das Buch l��t sich aber sicherlich nicht auf eine blo�e Ansammlung von Beispielen reduzieren. Der Stoff wird formal und genau eingef�hrt und ist klassisch in Definitionen und Theoreme gegliedert. Dazwischen ist aber viel motivierender Text, der Zusammenh�nge aufzeigt und die Problemstellungen unter verschiedenen Anschauungen beleuchtet. Jedes Kapitel wird au�erdem von einem Satz �bungen beendet, die ich zur Lernkontrolle sehr brauchbar fand. Besonders gut hat mir auch das Layout gefallen. Algorithmen, Theoreme und Grafiken sind klar abgesetzt, unterlegt und stimmig betitelt. Auf diese Weise kann man auch beim Nachschlagen schnell f�ndig werden. Die behandelten Themen umfassen den Kern der Theoretischen InformatikTuring- und Registermaschinen, sowie Kellerautomaten und die zugeh�rgen formalen Sprachen. Berechenbarkeit und Komplexit�t werden ebenso ausf�hrlich behandelt wie das Halteproblem und viele andere klassische Fragestellungen. Dar�ber hinaus gibt es einige Ausblicke in weitergehende Themen. Den mathematischen Anforderungen des Textes sollte sich jeder Studierende im Grundstudium Mathematik/Informatik gewachsen sehen. Es wird kein Verst�ndis komplizierter Zusammenh�nge, Symbole oder Programmiersprachen vorausgesetzt. Ich hatte Gelegenheit, das Buch w�hrend der Vorbereitungen zur Diplompr�fung in Theoretischer Informatik mit anderen zu vergleichen un.

N� de ref. del art�culo BN16478

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Theoretische Informatik. Eine Einf�hrung in Berechenbarkeit, Komplexit�t und formale Sprachen mit 101 Beispielen von Alexander Asteroth (Autor), Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universit�t Bonn Verifikation Berechenbarkeit Abstrakte Rechnermodelle Entscheidungsprobleme Komplexit�t Komplexit�tsklassen Das P-NP-Problem Formale Sprachen Grammatiken Regul�re Sprachen Kontextfreie Sprachen Deterministisch kontextfreie Sprachen
Editor: Pearson Studium Auflage: 1 (15. September 2002)
Fecha de publicaci�n: 2002
Idioma: Alem�n
ISBN 10: 3827370337
ISBN 13: 9783827370334
Encuadernaci�n: Softcover
Edici�n: Auflage: 1 (15. September 2002).
Estado: gut
Peso: 2000 gramos

Descripci�n de la librer�a

ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Sollten Sie auf der Suche nach einem (ggf.raren/vergriffenen) Fachbuch sein, nutzen Sie einfach unseren pers�nlichen Service rund ums Buch. Wir besorgen jedes lieferbare Buch schnellstm�glich (sowie CDs, Kassetten, Spiele, Fortsetzungen, Fachzeitschriften etc.) und l�sen auch anspruchsvollere Aufgaben - testen Sie uns! F�r Kunden, die nach bestimmten Buchtiteln suchen, bieten wir einen unverbindlichen und kostenlosen Recherche-Service. Dank unserer guten Vernetzung kann unser Buchservice oft selbst solche B�cher aufsp�ren, die auf dem Markt bereits seit langem vergriffen sind. ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Impressum: BuchService Lars Lutzer - Einzelunternehmung -Alte Landstr. 39- 23812 Wahlstedt- TEL: +49 (0) 176 / 63887918 Web: https://LLU-BUCHSERVICE.de Email: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE , UID: DE277819159

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

BUCHSERVICE / ANTIQUARIAT Lars Lutzer
Germany

Condiciones de venta y env�o

Condiciones de venta

Die Europ�ische Kommission stellt eine Plattform zur Online-Streitbeilegung (OS) bereit, die Sie hier finden: http://ec.europa.eu/consumers/odr

Allgemeine Gesch�fts- und Lieferbedingungen

Allgemeines - Geltungsbereich
Vertragsschluss
Eigentumsvorbehalt
Verg�tung
Gefahr�bergang
Gew�hrleistung
Haftungsbeschr�nkungen und -freistellung
Datenschutz
Schlussbestimmungen
Allgemeines - Geltungsbereich

1.1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwis...

M�s informaci�n

Derecho a cancelaci�n

Si eres un consumidor puedes cancelar el presente contrato de acuerdo con lo indicado a continuaci�n. Son consumidores las personas f�sicas que act�en con un prop�sito ajeno a su actividad comercial, empresarial, oficio o profesi�n.

Documento de informaci�n al consumidor y usuario sobre el desistimiento

Derecho de desistimiento:

Tienes derecho a desistir del presente contrato en un plazo de 14 d�as naturales sin necesidad de justificaci�n.

El plazo de desistimiento expirar� a los 14 d�as naturales del d�a en que t� o un tercero que hayas indicado, distinto del transportista, adquiera la posesi�n material del �ltimo bien, componente o pieza.

Para ejercer el derecho de desistimiento, deber�s notificarnos a Buchservice Lars Lutzer, Lars Lutzer, Einzelunternehmer - Alte Landstr. 39- 23812 Wahlstedt Deutschland / Germany, 49 0176-63887918, de tu decisi�n de desistir del contrato a trav�s de una declaraci�n inequ�voca (por ejemplo, una carta enviada por correo postal, fax o correo electr�nico). Podr�s utilizar el modelo de formulario de desistimiento que figura a continuaci�n, aunque su uso no es obligatorio. Tienes asimismo la opci�n de cumplimentar y enviar electr�nicamente el modelo de formulario de desistimiento o cualquier otra declaraci�n inequ�voca a trav�s de nuestro sitio web a "Mis pedidos" en "Mi cuenta". Si recurres a esta opci�n, te comunicaremos sin demora en un soporte duradero (por ejemplo, por correo electr�nico) la recepci�n de dicho desistimiento.

Para cumplir el plazo de desistimiento, basta con que la comunicaci�n relativa al ejercicio por tu parte de este derecho sea enviada antes de que venza el plazo correspondiente.

Consecuencias del desistimiento:

En caso de desistimiento por tu parte, te devolveremos todos los pagos recibidos de ti, incluidos los gastos de entrega (con la excepci�n de los gastos adicionales resultantes de la elecci�n por tu parte de una modalidad de entrega diferente a la modalidad menos costosa de entrega ordinaria que ofrezcamos) sin ninguna demora indebida y, en todo caso, a m�s tardar 14 d�as naturales a partir de la fecha en la que se nos informes de tu decisi�n de desistir del presente contrato. Procederemos a efectuar dicho reembolso utilizando el mismo medio de pago empleado por ti para la transacci�n inicial, a no ser que hayas dispuesto expresamente lo contrario; en todo caso, no incurrir�s en ning�n gasto como consecuencia del reembolso.

Podremos retenerte el reembolso hasta haber recibido los bienes, o hasta que hayas presentado una prueba de la devoluci�n de los mismos, seg�n qu� condici�n se cumpla primero. Deber�s devolvernos o entregarnos directamente los bienes a Buchservice Lars Lutzer, Einzelunternehmer - Alte Landstr. 39- 23812 Wahlstedt Deutschland / Germany, 49 0176-63887918, sin ninguna demora indebida y, en cualquier caso, a m�s tardar en el plazo de 14 d�as naturales a partir de la fecha en que nos comuniques tu decisi�n de desistimiento del contrato. Se considerar� cumplido el plazo si efect�as la devoluci�n de los bienes antes de que haya concluido dicho plazo. Deber�s asumir el coste directo de devoluci�n de los bienes. Solo ser�s responsable de la disminuci�n de valor de los bienes resultante de una manipulaci�n distinta a la necesaria para establecer la naturaleza, las caracter�sticas y el funcionamiento de los bienes.

Excepciones al derecho de desistimiento:

La entrega de peri�dicos, publicaciones especializadas o revistas con la excepci�n de contratos de suscripci�n; y
La entrega de contenido digital (incluyendo apps, software digital e-books, MP3, etc.) que no hubiera sido entregado en un medio tangible (por ejemplo: CD o DVD), si al realizar tu pedido has aceptado que podemos proceder al env�o del producto y que no resulta posible su cancelaci�n una vez comienza la entrega.

Modelo de formulario de desistimiento

(S�lo debe cumplimentar y enviar el presente formulario si desea desistir del contrato)

A la atenci�n de: (Buchservice Lars Lutzer, Lars Lutzer, Einzelunternehmer - Alte Landstr. 39- 23812 Wahlstedt Deutschland / Germany, 49 0176-63887918)

Por la presente le comunico/comunicamos* que desisto de mi/desistimos de nuestro* contrato de venta del siguiente bien/prestaci�n del siguiente servicio*

Pedido el/recibido el*:

Nombre del consumidor y usuario o de los consumidores y usuarios:

Domicilio del consumidor y usuario o de los consumidores y usuarios:

Firma del consumidor y usuario o de los consumidores y usuarios (solo si el presente formulario se presenta en papel):

Fecha:

* Eliminar en su caso

Condiciones de env�o

Widerrufsrecht f�r Verbraucher
Verbrauchern steht ein Widerrufsrecht nach folgender Ma�gabe zu, wobei Verbraucher jede nat�rliche Person ist, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbst�ndigen beruflichen T�tigkeit zugerechnet werden k�nnen:

Widerrufsbelehrung

Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen. Die Widerrufsfrist betr�gt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht Bef�rderer ist, die Waren in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszu�ben, m�ssen Sie uns: Lars Lutzer - Einzelunternehmer - Alte Landstr. 39- 23812 Wahlstedt, Deutschland /Germany- Email: l.lutzer(AT)llu-buchservice(PUNKT)de , TEL: +49 (0) 176 / 63887918 - Web: https://LLU-BUCHSERVICE.de - UID: DE277819159 mittels einer eindeutigen Erkl�rung (z.B. ein mit der Post versandter Brief, Telefax oder E-Mail) �ber Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie k�nnen daf�r das beigef�gte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist.

Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung �ber die Aus�bung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.

Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschlie�lich der Lieferkosten (mit Ausnahme der zus�tzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, g�nstigste Standardlieferung gew�hlt haben), unverz�glich und sp�testens binnen vierzehn Tagen ab dem Tag zur�ckzuzahlen, an dem die Mitteilung �ber Ihren Widerruf dieses Vertrags bei uns eingegangen ist. F�r diese R�ckzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der urspr�nglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdr�cklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser R�ckzahlung Entgelte berechnet.

Wir k�nnen die R�ckzahlung verweigern, bis wir die Waren wieder zur�ckerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zur�ckgesandt haben, je nachdem, welches der fr�here Zeitpunkt ist.

Sie haben die Waren unverz�glich und in jedem Fall sp�testens binnen vierzehn Tagen ab dem Tag, an dem Sie uns �ber den Widerruf dieses Vertrags unterrichten, an uns zur�ckzusenden oder zu �bergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden. Sie tragen die unmittelbaren Kosten der R�cksendung der Waren.

Sie m�ssen f�r einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Pr�fung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zur�ckzuf�hren ist.

Die Europ�ische Kommission stellt eine Plattform zur Online-Streitbeilegung (OS) bereit, die Sie hier finden: http://ec.europa.eu/consumers/odr

Tarifas de env�o de Alemania a Estados Unidos de America

Tarifas de env�o de Alemania a Estados Unidos de America
Cantidad del pedido	De 9 a 29 d�as h�biles	De 8 a 19 d�as h�biles
Primer art�culo	EUR 29.95	EUR 39.95

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor