Logik für Informatiker

Eine Einführung

Autor: Bernhard Heinemann, Klaus Weihrauch

Jazyk:

Vazba: Brožovaná

Vydavatel: Vieweg+Teubner

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

694 Kč

Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer kom...

Informace o knize

Autor

Bernhard Heinemann, Klaus Weihrauch

Jazyk

Němčina

Vazba

Kniha - Brožovaná

Vydáno

1992

Stránek

240

EAN

9783519122487

ISBN

3519122480

Enbook ID

06802130

Vydavatel

Vieweg+Teubner

Hmotnost

382

Rozměry

156 x 234 x 13

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Logik für Informatiker

Eine Einführung

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také