De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Bag om Logik für Informatiker

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.

Vis mere
  • Sprog:
  • Tysk
  • ISBN:
  • 9783519122487
  • Indbinding:
  • Paperback
  • Sideantal:
  • 252
  • Udgivet:
  • 1. september 1992
  • Udgave:
  • 92002
  • Størrelse:
  • 160x14x240 mm.
  • Vægt:
  • 409 g.
  • 8-11 hverdage.
  • 20. november 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af Logik für Informatiker

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.

Brugerbedømmelser af Logik für Informatiker