- 5 Ergebnisse
Kleinster Preis: € 3,95, größter Preis: € 32,99, Mittelwert: € 23,44
1
Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik) (German Edition) - Heinemann, Bernhard
Bestellen
bei amazon.de
€ 14,29
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Heinemann, Bernhard:

Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik) (German Edition) - Taschenbuch

1992, ISBN: 9783519122487

Teubner Verlag, Taschenbuch, Auflage: 2. Aufl. 1991, 252 Seiten, Publiziert: 1992-09-01T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: black & white illustrations, bibliograph, 0.9 kg, V… Mehr…

Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Fast Cat Books
zuklappen (X)
2
Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik) (German Edition) - Heinemann, Bernhard
Bestellen
bei amazon.de
€ 32,99
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Heinemann, Bernhard:

Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik) (German Edition) - Taschenbuch

1992, ISBN: 9783519122487

Teubner Verlag, Taschenbuch, Auflage: 2. Aufl. 1991, 252 Seiten, Publiziert: 1992-09-01T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: black & white illustrations, bibliograph, 0.9 kg, V… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
3
Logik für Informatiker : eine Einführung. Leitfäden und Monographien der Informatik - Heinemann, Bernhard und Klaus Weihrauch
Bestellen
bei AbeBooks.de
€ 3,95
Versand: € 3,201
Bestellen
Details beim Anbieter
gesponserter Link
Heinemann, Bernhard und Klaus Weihrauch:
Logik für Informatiker : eine Einführung. Leitfäden und Monographien der Informatik - Taschenbuch

1992

ISBN: 3519122480

[EAN: 9783519122487], Gebraucht, sehr guter Zustand, [PU: Teubner Verlag;], MATHEMATISCHE LOGIK, INFORMATIK, DATENVERARBEITUNG, MATHEMATIK, 240 Seiten; Der Erhaltungszustand des hier ange… Mehr…

NOT NEW BOOK. Versandkosten: EUR 3.20 books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany [1048006] [Rating: 5 (von 5)]
zuklappen (X)
4
Logik für Informatiker Eine Einführung - Wehirauch, Klaus; Heinemann, Bernhard
Bestellen
bei Achtung-Buecher.de
€ 32,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Wehirauch, Klaus; Heinemann, Bernhard:
Logik für Informatiker Eine Einführung - neues Buch

1992, ISBN: 3519122480

2. Aufl. 1991 Kartoniert / Broschiert EDV / Theorie / Informatik / Allgemeines, EDV / Theorie / Informatik / Mathematik, Informatik, Logik, Philosophie / Logik, Alphabet; Aussagen; Erze… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
Logik für Informatiker - Bernhard Heinemann/ KLAUS WEHIRAUCH/ Thomas Ottman
Bestellen
bei Hugendubel.de
€ 32,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bernhard Heinemann/ KLAUS WEHIRAUCH/ Thomas Ottman:
Logik für Informatiker - Taschenbuch

ISBN: 9783519122487

*Logik für Informatiker* - Eine Einführung. 2. Aufl. 1991 / Taschenbuch für 32.99 € / Aus dem Bereich: Bücher, Wissenschaft, Mathematik Medien > Bücher nein Buch (kartoniert) Hardcover;Na… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logik für Informatiker
Autor:
Titel:
ISBN-Nummer:

3519122480


Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor kurzem ausschlie13lich dem menschlichen Denken vorbehalten waren, einem Rechner zu iiber tragen, setzt ein durchgreifendes Verstandnis der logischen Prinzipien voraus, die dem ProzeB des Modellbildens und dem Denken in Modellen zugrunde liegen. Umgekehrt eroffnet das Verstehen dieser Prinzipien oft neue Anwendungsmoglichkeiten in der 1n formatik. Die Mathematische Logik erweist sich dabei als ein auBerst niitzliches Hilfs mittel. Wir stellen hier drei ihrer Teilgebiete vor. Wir beginnen mit der Aussagenlogik. Den Hauptteil des Buches nimmt die Darstellung der Priidikatenlogik 1. Stufe ein. Schlie13lich behandeln wir die modale A ussagenlogik. Damit ist ein dem einfiihrenden Charakter dieses Buches entsprechender Grundstock bereitgestellt. Darauf aufbauend kann der interessierte Leser mit weiterfiihrender Literatur in aktuelle Fragestellungen der Informatik-orientierten Logik eindringen. Das Buch richtet sich durch die Auswahl des Stoffes und die Art der Darstel lung hauptsachlich an Informatik-Stlidenten nach dem ersten Studienjahr. Voraus gesetzt werden die iiblicherweise in den ersten Semestern vermittelten mathemati schen Grundbegriffe. Eine gewisse Vertrautheit mit mathematischen Methoden ist zum Verstiindnis des Stoffes unerla13lich, da Mathematik sowohl ein Gegenstand der Untersuchungen als auch das hierbei verwendete \\"Ierkzeug ist. Dariiber hinaus set zen wir die Kenntnis des Berechenbarkeitsbegriffs und del' damit zusammenhangen den Begriffe "rekursiv" und "rekursiv-aufzahlbar" in dem MaBe voraus, wie sie ein Informatik-Student im ersten Studienjahr erlernt.

Detailangaben zum Buch - Logik für Informatiker


EAN (ISBN-13): 9783519122487
ISBN (ISBN-10): 3519122480
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Vieweg+Teubner Verlag

Buch in der Datenbank seit 2007-05-30T15:29:33+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-30T18:15:59+01:00 (Berlin)
ISBN/EAN: 3519122480

ISBN - alternative Schreibweisen:
3-519-12248-0, 978-3-519-12248-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: klaus, heinemann, bernhard, koken, weihrauch, thomas, modellen, bucher
Titel des Buches: einführung logik, logik für informatiker, monographien, einführung informatik, leitfaden der logik, logik fuer informatiker, monographie edition

Daten vom Verlag:

Autor/in: Bernhard Heinemann; KLAUS WEHIRAUCH
Titel: Leitfäden und Monographien der Informatik; Logik für Informatiker - Eine Einführung
Verlag: Vieweg+Teubner Verlag; Vieweg & Teubner
240 Seiten
Erscheinungsjahr: 1992-09-01
Wiesbaden; DE
Sprache: Deutsch
32,99 € (DE)
33,91 € (AT)
36,50 CHF (CH)
Available
VIII, 240 S.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Alphabet; Aussagen; Erzeugungssystem; Herbrand-Struktur; Informatiker; Kompaktheit; Konjunktion; Logik; Prädikate; Resolution; Vollständigkeit; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Informatik; EA

1 Einführung und mathematische Grundlagen.- 1.1 Einführung in die Fragestellung.- 1.2 Allgemeine mathematische Grundbegriffe.- 1.3 Berechenbarkeit.- 1.4 Erzeugungssysteme, Termmengen.- 2 Aussagenlogik.- 2.1 Aussagenlogische Formeln, die Syntax.- 2.2 Interpretationen und Belegungen.- 2.3 Tautologien und logische Äquivalenz.- 2.4 Ausdrucksstärke, Normalformen, Kompaktheitssatz.- 3 Prädikatenlogik.- 3.1 Einleitung.- 3.2 Syntax der Prädikatenlogik.- 3.3 Semantik und logische Grundbegriffe.- 3.4 Formalisierung des logischen Schließens.- 3.5 Normalformen prädikatenlogischer Formeln.- 3.6 Herbrand-Strukturen, Kompaktheit und rekursive Aufzählbarkeit der logischen Konsequenz.- 3.7 Die Unentscheidbarkeit der Prädikatenlogik.- 3.8 Prädikatenlogik mit Gleichheit.- 3.9 Theorien.- 3.10 Ausdrucksstärke der Prädikatenlogik 1. Stufe.- 4 Grundlagen der Logischen Programmierung.- 4.1 Logik-Programme.- 4.2 Unifikation.- 4.3 Berechnungen von Logik-Programmen.- 4.4 Korrektheit und Vollständigkeit des Resolutionsverfahrens.- 5 Modale Aussagenlogik.- 5.1 Einführung in die Modallogik.- 5.2 Entscheidbarkeit.- 5.3 Von der Modallogik zur Temporären Logik.- Übungsaufgaben.- Das Griechische Alphabet.- Verzeichnis der verwendeten Symbole.- Stichwort- und Namensverzeichnis.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783519022480 Logik für Informatiker: Eine Einführung (Heinemann, Bernhard und Klaus Weihrauch)

< zum Archiv...