Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
gallier_logic_book [2007/03/22 23:41] vkuncak |
gallier_logic_book [2007/03/28 23:01] vkuncak |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| * 3.1, 3.2, 3.3 (propositional logic) | * 3.1, 3.2, 3.3 (propositional logic) | ||
| * 5.1, 5.2, 5.3 (first-order logic) | * 5.1, 5.2, 5.3 (first-order logic) | ||
| - | * 10.6 (Congruence Closure) | + | * 5.4 (proof system for first-order logic) |
| - | * 6.5 (Interpolation, but see dependencies) | + | * 6.5 (interpolation) |
| + | * 8 (resolution) | ||
| + | * 10.6 (congruence closure algorithm) | ||
| + | However, please check the dependencies for chapters. | ||