Logik für Informatiker: Eine Einführung #2020

Logik für Informatiker: Eine Einführung By Bernhard Heinemann Logik f r Informatiker Eine Einf hrung Die Gedankenwelt der Logik gewinnt in der nformatik zunehmend an Bedeutung Der Anspruch immer komplexere Aufgaben auch aus Bereichen die bis vor kurzem ausschlie lich dem menschlichen Denken vorbe
  • Title: Logik für Informatiker: Eine Einführung
  • Author: Bernhard Heinemann
  • ISBN: 3519022486
  • Page: 276
  • Format:
  • Logik für Informatiker: Eine Einführung By Bernhard Heinemann 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.
    Logik für Informatiker: Eine Einführung By Bernhard Heinemann
    • BEST E-Book "Õ Logik für Informatiker: Eine Einführung" || READ (EPUB) ✓
      276 Bernhard Heinemann
    • thumbnail Title: BEST E-Book "Õ Logik für Informatiker: Eine Einführung" || READ (EPUB) ✓
      Posted by:Bernhard Heinemann
      Published :2020-02-25T20:21:01+00:00

    About "Bernhard Heinemann"

    1. Bernhard Heinemann

      Bernhard Heinemann Is a well-known author, some of his books are a fascination for readers like in the Logik für Informatiker: Eine Einführung book, this is one of the most wanted Bernhard Heinemann author readers around the world.

    560 thoughts on “Logik für Informatiker: Eine Einführung”

    1. Wer eine fundierte Einf hrung in die mathematische Logik sucht, der ist mit diesem Buch mehr als gut beraten Ich habe das Buch im Rahmen meines Studiums durchgearbeitet und das darin enthaltene Wissen ist umfangreich und wirklich beeindruckend Wer sich die M he macht und mit dem Text wirklich arbeitet, wird mit vielen interessanten Einsichten belohnt.


    Leave a Reply

    Your email address will not be published. Required fields are marked *