Logic for Applications, Fachbücher von Anil Nerode, Richard A. Shore
53,49 €
"Logic for Applications" ist ein Fachbuch, das sich an Studierende und Fachleute richtet, die sich mit mathematischer Logik und deren Anwendungen in der Informatik beschäftigen. Das Buch bietet eine umfassende Einführung in die grundlegenden Themen der Logik, einschliesslich Syntax, Semantik, Vollständigkeit und Kompaktheit. Es hebt sich jedoch von traditionellen Lehrbüchern ab, indem es einen starken Fokus auf die praktischen Anwendungen der Logik legt, insbesondere in den Bereichen der Logikprogrammierung und PROLOG. Die Autoren, Anil Nerode und Richard A. Shore, integrieren auch nichtklassische Logiken wie modale und intuitionistische Logik, die in der modernen Informatik zunehmend an Bedeutung gewinnen. Durch die Verwendung von Kripke-Rahmen zur Erklärung der Syntax und Semantik dieser Logiken wird ein tieferes Verständnis für deren Anwendungsmöglichkeiten vermittelt. Das Buch ist somit sowohl für Einsteiger als auch für Fortgeschrittene geeignet, die sich mit den mathematischen Grundlagen und deren praktischen Anwendungen auseinandersetzen möchten.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
