User Tools
courses:ssv2011:main
Differences
This shows you the differences between two versions of the page.
|
courses:ssv2011:main [2011/12/26 09:04] tsay |
courses:ssv2011:main [2012/01/07 21:37] (current) tsay |
||
|---|---|---|---|
| Line 49: | Line 49: | ||
| * Introduction (.5 week: 09/15a) \\ [{{courses:ssv2011:introduction.pdf|slides}}] | * Introduction (.5 week: 09/15a) \\ [{{courses:ssv2011:introduction.pdf|slides}}] | ||
| * Propositional and First-Order Logics (2.5 weeks: 09/15b, 09/22, 09/29) \\ [slides:{{courses:ssv2011:logic_propositional.pdf|Propositional Logic}}, {{courses:ssv2011:logic_first_order.pdf|First-Order Logic}}; notes: {{courses:ssv2011:natural_deduction.pdf|Natural Deduction}}] | * Propositional and First-Order Logics (2.5 weeks: 09/15b, 09/22, 09/29) \\ [slides:{{courses:ssv2011:logic_propositional.pdf|Propositional Logic}}, {{courses:ssv2011:logic_first_order.pdf|First-Order Logic}}; notes: {{courses:ssv2011:natural_deduction.pdf|Natural Deduction}}] | ||
| - | * Logical Proofs in the Coq Proof Assistant (1 week: 10/06) \\ [{{courses:ssv2011:natural_deduction_in_Coq.pdf|slides}}] | + | * Logical Proofs in the Coq Proof Assistant (1 week: 10/06) \\ [{{courses:ssv2011:natural_deduction_in_Coq.pdf|slides}}; {{courses:ssv2011:natural_deduction_tactics.pdf|Tactics for Natural Deduction in Coq}}] |
| * ESWeek + ATVA 2011 (10/09 -- 10/14) | * ESWeek + ATVA 2011 (10/09 -- 10/14) | ||
| * Verification of Sequential Programs: Hoare Logic (2 weeks: 10/20, 10/27) \\ [slides:{{courses:ssv2011:hoare_logic.pdf|Hoare Logic}}, {{courses:ssv2011:hoare_logic_soundness_completeness.pdf|Soundess and Completeness}}; notes: {{courses:ssv2011:hoare_logic_rules.pdf|Rules of Hoare Logic}}, {{courses:ssv2011:hoare_logic_proofs.pdf|Proofs with Hoare Logic}}] | * Verification of Sequential Programs: Hoare Logic (2 weeks: 10/20, 10/27) \\ [slides:{{courses:ssv2011:hoare_logic.pdf|Hoare Logic}}, {{courses:ssv2011:hoare_logic_soundness_completeness.pdf|Soundess and Completeness}}; notes: {{courses:ssv2011:hoare_logic_rules.pdf|Rules of Hoare Logic}}, {{courses:ssv2011:hoare_logic_proofs.pdf|Proofs with Hoare Logic}}] | ||
courses/ssv2011/main.1324861480.txt.gz · Last modified: 2011/12/26 09:04 by tsay
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
