Index of /~a23gao/cs245_s18/slides

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lec0_intro_cs245.pdf2018-05-02 21:04 91K 
[ ]lec0_intro_cs245_h.pdf2018-05-02 21:04 56K 
[ ]lec0_intro cs245.pdf2018-04-30 20:26 63K 
[ ]lec00_intro_cs245_nosol.pdf2018-09-04 14:48 26K 
[ ]lec00_intro_cs245_post.pdf2018-06-27 09:51 26K 
[ ]lec00_intro_cs245_show.pdf2018-06-27 09:51 26K 
[ ]lec00_intro_cs245_sol.pdf2018-09-04 14:48 26K 
[ ]lec01_prop_intro_nosol.pdf2018-09-04 14:48 82K 
[ ]lec01_prop_intro_post.pdf2018-06-27 09:51 82K 
[ ]lec01_prop_intro_show.pdf2018-06-27 09:51 82K 
[ ]lec01_prop_intro_sol.pdf2018-09-04 14:48 82K 
[ ]lec02_prop_syntax_nosol.pdf2018-09-04 14:48 45K 
[ ]lec02_prop_syntax_post.pdf2018-06-27 09:51 45K 
[ ]lec02_prop_syntax_show.pdf2018-06-27 09:51 45K 
[ ]lec02_prop_syntax_sol.pdf2018-09-04 14:48 45K 
[ ]lec04_prop_semantics_nosol.pdf2018-09-04 14:48 49K 
[ ]lec04_prop_semantics_post.pdf2018-06-27 09:51 49K 
[ ]lec04_prop_semantics_show.pdf2018-06-27 09:51 49K 
[ ]lec04_prop_semantics_sol.pdf2018-09-04 14:48 49K 
[ ]lec05_prop_equivalence_nosol.pdf2018-09-04 14:48 66K 
[ ]lec05_prop_equivalence_post.pdf2018-06-27 09:51 66K 
[ ]lec05_prop_equivalence_show.pdf2018-06-27 09:51 107K 
[ ]lec05_prop_equivalence_sol.pdf2018-09-04 14:48 107K 
[ ]lec06_prop_entailment_nosol.pdf2018-09-04 14:48 33K 
[ ]lec06_prop_entailment_post.pdf2018-06-27 09:51 33K 
[ ]lec06_prop_entailment_show.pdf2018-06-27 09:51 33K 
[ ]lec06_prop_entailment_slides.pdf2018-05-16 20:45 32K 
[ ]lec06_prop_entailment_sol.pdf2018-09-04 14:48 33K 
[ ]lec06_prop_semantics_post.pdf2018-05-14 17:11 86K 
[ ]lec06_prop_semantics_show.pdf2018-05-14 17:11 86K 
[ ]lec07_prop_natural_deduction_nosol.pdf2018-09-04 14:48 22K 
[ ]lec07_prop_natural_deduction_post.pdf2018-06-27 09:51 22K 
[ ]lec07_prop_natural_deduction_show.pdf2018-06-27 09:51 22K 
[ ]lec07_prop_natural_deduction_sol.pdf2018-09-04 14:48 22K 
[ ]lec09_prop_soundness_completeness_nosol.pdf2018-09-04 14:48 46K 
[ ]lec09_prop_soundness_completeness_post.pdf2018-06-27 09:51 40K 
[ ]lec09_prop_soundness_completeness_show.pdf2018-06-27 09:51 40K 
[ ]lec09_prop_soundness_completeness_sol.pdf2018-09-04 14:48 46K 
[ ]lec1_prop_intro.pdf2018-05-02 21:04 133K 
[ ]lec1_prop_intro_h.pdf2018-05-02 21:04 82K 
[ ]lec2_prop_syntax.pdf2018-05-02 21:04 44K 
[ ]lec2_prop_syntax_h.pdf2018-05-02 21:04 42K 
[ ]lec4_prop_semantics.pdf2018-05-02 21:04 81K 
[ ]lec4_prop_semantics_h.pdf2018-05-09 17:58 49K 
[ ]lec5_prop_semantics.pdf2018-05-02 21:04 126K 
[ ]lec6_prop_natural_deduction.pdf2018-05-02 21:04 119K 
[ ]lec6_prop_semantics.pdf2018-05-02 21:04 119K 
[ ]lec7_prop_soundness_completeness.pdf2018-05-02 21:04 68K 
[ ]lec10_pred_intro_nosol.pdf2018-09-04 14:48 50K 
[ ]lec10_pred_intro_post.pdf2018-06-27 09:51 47K 
[ ]lec10_pred_intro_show.pdf2018-06-27 09:51 48K 
[ ]lec10_pred_intro_slides.pdf2018-06-15 14:54 48K 
[ ]lec10_pred_intro_sol.pdf2018-09-04 14:48 51K 
[ ]lec12_pred_syntax_nosol.pdf2018-09-04 14:48 55K 
[ ]lec12_pred_syntax_post.pdf2018-06-27 09:51 55K 
[ ]lec12_pred_syntax_show.pdf2018-06-27 09:51 55K 
[ ]lec12_pred_syntax_slides.pdf2018-06-15 14:54 55K 
[ ]lec12_pred_syntax_sol.pdf2018-09-04 14:48 55K 
[ ]lec13_pred_semantics_nosol.pdf2018-09-04 14:48 51K 
[ ]lec13_pred_semantics_post.pdf2018-06-27 09:51 51K 
[ ]lec13_pred_semantics_show.pdf2018-06-27 09:51 54K 
[ ]lec13_pred_semantics_slides.pdf2018-06-21 08:23 54K 
[ ]lec13_pred_semantics_sol.pdf2018-09-04 14:48 54K 
[ ]lec14_pred_entailment_nosol.pdf2018-09-04 14:48 24K 
[ ]lec14_pred_entailment_post.pdf2018-06-27 09:51 24K 
[ ]lec14_pred_entailment_show.pdf2018-06-27 09:51 24K 
[ ]lec14_pred_entailment_sol.pdf2018-09-04 14:48 24K 
[ ]lec14_pred_semantic_entailment_post.pdf2018-06-21 08:23 24K 
[ ]lec14_pred_semantic_entailment_show.pdf2018-06-21 08:23 24K 
[ ]lec14_pred_semantic_entailment_slides.pdf2018-06-18 20:36 24K 
[ ]lec15_pred_natural_deduction_nosol.pdf2018-09-04 14:48 31K 
[ ]lec15_pred_natural_deduction_post.pdf2018-06-27 09:51 33K 
[ ]lec15_pred_natural_deduction_show.pdf2018-06-27 09:51 33K 
[ ]lec15_pred_natural_deduction_slides.pdf2018-06-27 09:51 31K 
[ ]lec15_pred_natural_deduction_sol.pdf2018-09-04 14:48 31K 
[ ]lec17_pred_soundness_completeness_nosol.pdf2018-09-04 14:48 20K 
[ ]lec17_pred_soundness_completeness_post.pdf2018-06-27 09:51 15K 
[ ]lec17_pred_soundness_completeness_show.pdf2018-06-27 09:51 15K 
[ ]lec17_pred_soundness_completeness_slides.pdf2018-06-27 16:56 20K 
[ ]lec17_pred_soundness_completeness_sol.pdf2018-09-04 14:48 20K 
[ ]lec18_verification_nosol.pdf2018-09-04 14:48 1.1M 
[ ]lec18_verification_slides.pdf2018-09-04 14:48 1.1M 
[ ]lec18_verification_sol.pdf2018-09-04 14:48 1.1M 
[ ]lec19_notes_empty_verification_assignments_conditionals.pdf2018-09-04 14:48 270K 
[ ]lec19_notes_filled_verification_assignments_conditionals.pdf2018-09-04 14:48 3.3M 
[ ]lec19_verification_assignments_conditionals.pdf2018-07-05 15:08 25K 
[ ]lec19_verification_assignments_conditionals_nosol.pdf2018-09-04 14:48 41K 
[ ]lec19_verification_assignments_conditionals_slides.pdf2018-07-18 22:25 40K 
[ ]lec19_verification_assignments_conditionals_sol.pdf2018-09-04 14:48 41K 
[ ]lec20_notes_empty_verification_while.pdf2018-09-04 14:48 207K 
[ ]lec20_verification_while_nosol.pdf2018-09-04 14:48 53K 
[ ]lec20_verification_while_slides.pdf2018-07-18 22:25 57K 
[ ]lec20_verification_while_sol.pdf2018-09-04 14:48 57K 
[ ]lec21_verification_array_assignments_nosol.pdf2018-09-04 14:48 39K 
[ ]lec21_verification_array_assignments_slides.pdf2018-07-18 22:25 38K 
[ ]lec21_verification_array_assignments_sol.pdf2018-09-04 14:48 39K 
[ ]lec22_verification_reverse_nosol.pdf2018-09-04 14:48 40K 
[ ]lec22_verification_reverse_slides.pdf2018-07-18 22:25 40K 
[ ]lec22_verification_reverse_sol.pdf2018-09-04 14:48 40K 
[ ]lec23_notes_filled_undecidability_reductions.pdf2018-09-04 14:49 1.6M 
[ ]lec23_undecidability_intro_nosol.pdf2018-09-04 14:48 717K 
[ ]lec23_undecidability_intro_slides.pdf2018-07-18 22:25 717K 
[ ]lec23_undecidability_intro_sol.pdf2018-09-04 14:48 717K 
[ ]lec24_undecidability_reduction_nosol.pdf2018-09-04 14:48 30K 
[ ]lec24_undecidability_reduction_slides.pdf2018-09-04 14:48 30K 
[ ]lec24_undecidability_reduction_sol.pdf2018-09-04 14:48 30K 
[ ]lecture1.pdf2018-04-30 10:36 299K 
[ ]lecture2.pdf2018-04-30 10:36 135K 
[ ]lecture 2 and 3.pdf2018-04-30 10:36 157K 
[ ]lecture4and5.pdf2018-04-30 10:36 199K 
[ ]lecture4and5_to_post.pdf2018-04-30 10:36 114K 
[ ]lecture6and7_to_post.pdf2018-04-30 10:36 137K 
[ ]lectures_predlogic_intro.pdf2018-06-21 08:23 232K 
[ ]lectures_predlogic_intro_h.pdf2018-05-02 21:04 45K 
[ ]lectures_predlogic_syntax.pdf2018-06-21 08:23 104K 
[ ]lectures_predlogic_syntax_h.pdf2018-05-02 21:04 57K 
[ ]nov9_program_verification_intro.pdf2018-04-30 10:36 517K 
[ ]verif_arrays.pdf2018-04-30 10:36 929K 
Apache/2.4.41 (Ubuntu) Server at cs.uwaterloo.ca Port 443