Satisfiability Modulo Theories, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
34,00 €
Das Buch "Satisfiability Modulo Theories" bietet eine umfassende Einführung in das Thema der Entscheidungsprobleme in der Informatik, insbesondere im Zusammenhang mit logischen Formeln und deren Kombinationen in der klassischen Prädikatenlogik. Es behandelt das Satisfiability Modulo Theories (SMT) Problem, das sich mit der Frage beschäftigt, ob bestimmte logische Formeln erfüllbar sind, wenn sie mit verschiedenen Hintergrundtheorien kombiniert werden. Zu den behandelten Theorien gehören unter anderem die der reellen Zahlen, der ganzen Zahlen sowie verschiedene Datenstrukturen wie Listen und Arrays. Das Buch richtet sich an Fachleute und Studierende, die ein vertieftes Verständnis für die theoretischen Grundlagen und praktischen Anwendungen von SMT entwickeln möchten. Es ist eine wertvolle Ressource für alle, die sich mit logischen Systemen und deren Anwendungen in der Informatik auseinandersetzen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
