Satisfiability Modulo Theories, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Satisfiability Modulo Theories" bietet eine umfassende Einführung in das Thema der Entscheidungsprobleme in der Inf... Mehr erfahren
Finde die besten Angebote
Bester Preis17 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing