// objekt für GTM window.object = { mandantId: 2, livesystem: '', protocol: 'https', // URL-Protokoll ("http" oder "https") provid: '', // Prov-ID prodid: [], // Artikel-ID prodid_underscore: [], // Artikel-ID (Liste der IDs mit Unterstrich getrennt) pagetype: '', // Seitentyp ('searchresults' => Suchergebnisseite, 'product' => Artikeldetailseite, 'category' => Kategorieseite, 'start' => Startseite, 'cart' => Warenkorbseite, 'purchase' => Bestellbestätigungsseite) pcat: [], // Shop-Label (Buch, DVD, Musik, etc.) prodcat: '', // Kategorie (buch, ebooks, special0(ereader), hoerbuch, musik, film, spielwaren, spiele, special02 (Papeterie) pname: [], // Artikel-Titel age: '', // Kundenalter (in Jahren) conversionId: '', // Auftragsnummer pageTitle: '', // HTML-Title discount: '', // Gutschein eingesetzt discountvalueDE: '', // Gutscheinwert (Kommanotation) discountvalueUS: '', // Gutscheinwert (Punktnotation) g: '', // Anrede ("m" oder "w") price: [], // Artikelpreis (Kommanotation) priceUS: [], // Artikelpreis (Punktnotation) conversionValue: '', // Gesamtsumme (Kommanotation) value: '', // Gesamtsumme (Punktnotation) quantity: 0, // Anzahl der Produkte conversionCurrency: '', // Conversion Währung conversionType: '', // Intelliad - Conversion Typ (sale -> "sa", lead -> "le", signup -> "si", pageview -> "pa", download -> "do") plz: '', // Intelliad - Rechnungsanschrift - PLZ ort: '', // Intelliad - Rechnungsanschrift - Ort artikelAnzahl: '', // Intelliad - Artikelanzahl intelliadRandom: '', // Intelliad - Zufallszahl sociomantics: '', // Sociomantics - Liste der Produkte im WK oder Checkout affilinet_products: [], criteoItems: '', // Criteo - Liste der Produkte im WK oder Checkout criteo: {}, // Criteo - Sponsored Products tdUid: '', // Trade Doubler - tdUid tdProductIds: [], // Trade Doubler - Pipe-separierte Liste von Artikel-IDs tdProductNames: [], // Trade Doubler - Pipe-separierte Liste von Artikel-Titeln tdProductGroups: [], // Trade Doubler - Pipe-separierte Liste von Tradedouble Group IDs tdProductValues: [], // Trade Doubler - Pipe-separierte Liste von Artikel-Preisen tdProductQuantities: [], // Trade Doubler - Pipe-separierte Liste von Artikel-Anzahlen xPlosion_event_id: '', // xPlosion - Event ID xPlosion_shop_trackingproducts: [], // xPlosion - kommaseparierte Liste von EANs der ersten 6 Produkte auf der Seite xPlosion_shop_id: '', // xPlosion - Kategorie xPlosion_product_id: '', // xPlosion - EAN xPlosion_product_onsale: '', // xPlosion - 1, wenn Preisnachlass, 0 sonst xPlosion_product_price: '', // xPlosion - Artikelpreis (Punktnotation) xPlosion_order_article: [], // xPlosion - kommaseparierte Liste von EANs xPlosion_order_products_quantity: [], // xPlosion - kommaseparierte Liste der Anzahl der Produkte xPlosion_order_revenue: [], // xPlosion - kommaseparierte Liste der Preise der Produkte xPlosion_order_total: '', // xPlosion - Artikelsumme(Punktnotation) xPlosion_order_id: '', // xPlosion - Auftragsnummer xPlosion_customer_gender: '', // xPlosion - Geschlecht: 1 für männlich, 2 für weiblich xPlosion_customer_zip: '', // xPlosion - PLZ der Auftragsrechnungsanschrift xPlosion_customer_agerange: '', // xPlosion - Kundenalter order_payment_method: '', // Zahlungsart: 4 für Filialabholung, Zahlung vor Ort, 19 für Vorkasse, 9 für Rechnung, 10 für Bankeinzug, 1 für Kreditkarte, 21 - Geschenkkarte, 22 - Postfinance (Schweiz) order_in_store_pickup: '', // Filialabholung ja = 1/nein = 0 category_path: [], // Breadcrumbs / Artikel-Kategorie-Pfad recommendationsSessionId: '' // Empfehlungen-Session-ID };     object.livesystem = 1;      object.pageTitle = $('title').text(); object.criteo.items = []; object.shop_mandanten_id = 2; object.kunde = { }; object.recommendationsSessionId = "SIDXiNzk3T4uSz2xdmfQBf5QQAAAN4"; /* Kein GTM definiert */ window.dataLayer = [object]; if(trackData) { trackData.startGtm('GTM-3TL3') } else { (function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src='//www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);})(window,document,'script','dataLayer','GTM-3TL3'); } Logik für Informatiker von Uwe Schöning - Buch | Thalia
Warenkorb
if (typeof merkur !== 'undefined') { $(document).ready(merkur.config('COOKIECONSENT').init); }

Logik für Informatiker

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.

Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.
Portrait
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.
… weiterlesen
  • Artikelbild-0
  • Einleitung

    1 Aussagenlogik
    1.1 Grundbegriffe
    1.2 Äquivalenz und Normalformen
    1.3 Hornformeln
    1.4 Endlichkeitssatz
    1.5 Resolution

    2 Prädikatenlogik
    2.1 Grundbegriffe
    2.2 Normalformen
    2.3 Unentscheidbarkeit
    2.4 Herbrand-Theorie
    2.5 Resolution
    2.6 Verfeinerung der Resolution

    3 Logik-Programmierung
    3.1 Erzeugen von Antworten
    3.2 Hornklauselprogramme und deren Semantik
    3.3 Auswertungsstrategien
    3.4 PROLOG

    Lösungshinweise

    Literaturverzeichnis

    Symbolverzeichnis

    Index
In den Warenkorb

Beschreibung

Produktdetails

Einband Taschenbuch
Seitenzahl 200
Erscheinungsdatum 20.01.2000
Sprache Deutsch
ISBN 978-3-8274-1005-4
Reihe Spektrum Lehrbuch
Verlag Spektrum der Wissenschaft
Maße (L/B/H) 21,3/15,1/1,5 cm
Gewicht 300 g
Abbildungen zahlreiche Abbildungen
Auflage 5. Auflage
Buch (Taschenbuch)
Buch (Taschenbuch)
20,00
20,00
inkl. gesetzl. MwSt.
inkl. gesetzl. MwSt.
Sofort lieferbar Versandkostenfrei
Sofort lieferbar
Versandkostenfrei
In den Warenkorb
PAYBACK Punkte
Vielen Dank für Ihr Feedback!
Entschuldigung, beim Absenden Ihres Feedbacks ist ein Fehler passiert. Bitte versuchen Sie es erneut.
Ihr Feedback zur Seite
Haben Sie alle relevanten Informationen erhalten?
Ihr Feedback ist anonym. Wir nutzen es, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Wenn Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kundenservice wenden.

Kundenbewertungen

Durchschnitt
1 Bewertungen
Übersicht
0
1
0
0
0

Für die Uni gut
von einer Kundin/einem Kunden aus Weddelbrook am 16.07.2008

Ich bin studiere Informatik (Bachelor) im 2. Semester und Besuche die Vorlesung "Formale Grundlagen der Informatik" an der Uni Hamburg. Mir hilft dieses Buch sehr, auch wenn die Thematik einfach langweilig bleib - aber das ist ja rein subjektiv ;)