Logik für Informatiker

Logik für Informatiker

4.11 - 1251 ratings - Source



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 BedA¼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. SchApning gelingt eine kompakte und verstAcndliche Darstellung der Aussagen- und PrAcdikatenlogik, bei der die benAptigten Begriffe prAczise eingefA¼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 Aœbungsaufgaben mit ausfA¼hrlichen LApsungshinweisen erleichtern die Vertiefung des Lernstoffes.Prof. SchApning gelingt eine kompakte und verstAcndliche Darstellung der Aussagen- und PrAcdikatenlogik, bei der die benAptigten Begriffe prAczise eingefA¼hrt und durch Beispiele veranschaulicht werden.


Title:Logik für Informatiker
Author: Uwe Schöning
Publisher:Spektrum Akademischer Verlag - 2000-01-20
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA