差異處

這裏顯示兩個版本的差異處。

連向這個比對檢視

Both sides previous revision 前次修改
download [2015/07/16 16:17]
pa4373 [一階邏輯可滿足性及其應用 First Order Logic Satisfiability and Its Applications]
download [2015/07/16 18:08] (目前版本)
bridge [一階邏輯可滿足性及其應用 First Order Logic Satisfiability and Its Applications]
行 24: 行 24:
       * Exercise: {{download:​tutor-smt.pdf|SMT}}       * Exercise: {{download:​tutor-smt.pdf|SMT}}
   * {{download:​5-quantifier-elimination.pdf|Quantifier Elimination for Presburger Arithmetic}}   * {{download:​5-quantifier-elimination.pdf|Quantifier Elimination for Presburger Arithmetic}}
-      * Exercise: {{download:​tutor-qe.pdf|Quantifier Elimination}}[{{:​download:​tutor-qe-solution.pdf|QE solution}}]+      * Exercise: {{download:​tutor-qe.pdf|Quantifier Elimination}}[{{:​download:​tutor-qe-solution.pdf|Solution}}]
       * References: {{:​download:​ref-ferranterackoffrealaddition.pdf|A DECISION PROCEDURE FOR       * References: {{:​download:​ref-ferranterackoffrealaddition.pdf|A DECISION PROCEDURE FOR
 THE FIRST ORDER THEORY OF REAL ADDITION WITH ORDER}} THE FIRST ORDER THEORY OF REAL ADDITION WITH ORDER}}
           * The paper introduces quantifier elimination procedure for FOL with theory of Presburger arithmetics over rational and real numbers (the same procedure works over both domains).           * The paper introduces quantifier elimination procedure for FOL with theory of Presburger arithmetics over rational and real numbers (the same procedure works over both domains).
   * {{download:​6-quantifier-free-linear-arithmetic.pdf|Quantifier-Free Linear Arithmetic}}   * {{download:​6-quantifier-free-linear-arithmetic.pdf|Quantifier-Free Linear Arithmetic}}
-      * Exercises: {{:​tutor-simplex.pdf|Simplex}}+      * Exercises: {{:​tutor-simplex.pdf|Simplex}}[{{:​download:​tutor-simplex-solution.pdf|Solution}}]
   * {{:​download:​7-quantifier-free-equality-data-structure-animated.pdf|Quantifier-Free Equality and Data Structure}}   * {{:​download:​7-quantifier-free-equality-data-structure-animated.pdf|Quantifier-Free Equality and Data Structure}}
       * Exercises: {{:​download:​tutor-equality-data-structure.pdf|Equality and Data Structure}}       * Exercises: {{:​download:​tutor-equality-data-structure.pdf|Equality and Data Structure}}
  • 顯示頁面