Döntési eljárások: Egy algoritmikus nézőpont

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 12 olvasói szavazat alapján történt.

Eredeti címe:

Decision Procedures: An Algorithmic Point of View

Könyv tartalma:

A döntési eljárás egy olyan algoritmus, amely egy döntési probléma esetén helyes igen/nem válasszal zárul. A szerzők itt olyan elméletekre összpontosítanak, amelyek elég kifejezőek ahhoz, hogy valós problémákat modellezzenek, de még mindig eldönthetőek.

Konkrétan a könyv olyan elsőrendű elméletekre vonatkozó döntési eljárásokra koncentrál, amelyeket gyakran használnak az automatizált verifikációban és következtetésben, a tételmegoldásban, a fordítóoptimalizálásban és az operációkutatásban. A könyvben leírt technikák olyan területekről merítenek, mint a gráfelmélet és a logika, és az iparban rutinszerűen használják őket. A szerzők bevezetik a kielégíthetőségi modulo elméletek alapvető terminológiáját, majd külön fejezetekben tanulmányozzák a döntési eljárásokat a következő elméletek mindegyikére: kijelentő logika egyenlőségek és értelmezhetetlen függvények lineáris aritmetika bitvektorok tömbök pointer logika és kvantifikált formulák.

Tanulmányozzák a kombinált elméletek eldöntésének problémáját is, és egy fejezetet szentelnek a modern technikáknak, amelyek egy SAT-megoldó és a vizsgált elméletre vonatkozó döntési eljárás kölcsönhatásán alapulnak. Ezt a tankönyvet a zürichi ETH-n, a haifai Technionban és az Oxfordi Egyetemen is használták alap- és mesterképzésben.

Minden fejezet részletes irodalomjegyzéket és feladatokat tartalmaz. Az előadók diái és egy C++ könyvtár a döntési eljárások gyors prototípusának elkészítéséhez elérhető a szerzők weboldalán.