Index of /~a23gao/cs245_f17/notes

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]PropLogic_ParseTree.pdf2017-09-12 16:47 15M 
[IMG]PropLogic_Translation.jpg2017-09-07 17:58 6.6M 
[ ]PropLogic_Translation.pdf2017-09-08 10:47 16M 
[ ]PropLogic_Translation_Ambiguity.pdf2017-09-12 16:47 6.6M 
[ ]PropLogic_WellFormedFormulas.pdf2017-09-12 16:48 16M 
[ ]PropLogic_balanced_brackets.pdf2017-09-14 18:12 39K 
[ ]PropLogic_onnagata_problem.pdf2017-09-13 09:59 13K 
[ ]PropLogic_onnagata_problem_solutions.pdf2017-09-16 09:46 27K 
[ ]PropLogic_proof_of_unique_readability.pdf2017-09-18 20:36 41K 
[ ]PropLogic_structural_induction_WFF.pdf2017-09-18 20:07 28K 
[ ]PropLogic_structural_induction_template.pdf2017-09-17 15:02 23K 
[ ]PropLogic_unbalanced_brackets.pdf2017-09-14 18:12 56K 
[ ]decidability_example.pdf2017-12-01 11:48 335K 
[ ]midterm_review_semantic_entailment.pdf2017-11-01 11:29 74K 
[ ]midterm_review_soundness_completeness.pdf2017-11-01 11:29 51K 
[ ]predlogic_axioms_of_equality.pdf2017-11-09 16:03 382K 
[ ]predlogic_env_reassign.pdf2017-10-24 21:50 58K 
[ ]predlogic_environment_common_questions.pdf2017-11-09 16:03 12K 
[ ]predlogic_environment_reassignment.pdf2017-11-09 16:03 59K 
[ ]predlogic_evaluate_a_formula.pdf2017-10-27 13:53 1.6M 
[ ]predlogic_interpreting_quantifiers.pdf2017-11-09 16:03 78K 
[ ]predlogic_intro_translations.pdf2017-11-09 16:03 1.4M 
[ ]predlogic_natural_deduction.pdf2017-11-09 16:03 1.6M 
[ ]predlogic_natural_deduction_bad_examples.pdf2017-11-09 16:03 71K 
[ ]predlogic_natural_deduction_lecture.pdf2017-10-30 19:16 2.1M 
[ ]predlogic_peano_arithmetic.pdf2017-11-07 15:49 2.2M 
[ ]predlogic_peano_arithmetic_nov7.pdf2017-11-09 16:03 3.2M 
[ ]predlogic_peano_arithmetic_nov9.pdf2017-11-09 16:03 1.3M 
[ ]predlogic_semantic_entailment.pdf2017-11-09 16:03 1.5M 
[ ]predlogic_semantics.pdf2017-10-27 11:32 245K 
[ ]predlogic_semantics_evaluate_formula_no_quantifier.pdf2017-11-09 16:03 1.8M 
[ ]predlogic_semantics_evaluate_quantified_formula.pdf2017-11-09 16:03 3.5M 
[ ]predlogic_soundness_completeness.pdf2017-11-09 16:03 145K 
[ ]predlogic_structural_induction.pdf2017-11-09 16:03 29K 
[ ]predlogic_syntax.pdf2017-11-09 16:03 2.2M 
[ ]predlogic_syntax_careful_substitution.pdf2017-11-09 16:03 675K 
[ ]predlogic_translation_summary.pdf2017-11-09 16:03 379K 
[ ]predlogic_translation_summary_exercises.pdf2017-11-09 16:03 55K 
[ ]predlogic_translations.pdf2017-10-12 13:15 1.4M 
[ ]proplogic_1_intro_translation_syntax.pdf2017-11-02 14:00 236K 
[ ]proplogic_a4q1b.pdf2017-11-02 14:00 242K 
[ ]proplogic_a4q1c.pdf2017-11-02 14:00 529K 
[ ]proplogic_adequate_set.pdf2017-09-21 12:55 19M 
[ ]proplogic_intro_translation_syntax.pdf2017-10-13 14:37 102K 
[ ]proplogic_logical_equivalence_proof.pdf2017-10-03 13:39 6.3M 
[ ]proplogic_meaning_of_connectives.pdf2017-09-19 13:46 2.2M 
[ ]proplogic_natural_deduction_derived_rules.pdf2017-10-11 11:36 39M 
[ ]proplogic_natural_deduction_implication_1.pdf2017-11-02 14:00 162K 
[ ]proplogic_natural_deduction_implication_2.pdf2017-11-02 14:00 176K 
[ ]proplogic_natural_deduction_knights_knaves_problem.pdf2017-11-02 14:00 27K 
[ ]proplogic_natural_deduction_knights_knaves_problem_solutions.pdf2017-11-02 14:00 39K 
[ ]proplogic_natural_deduction_knights_knaves_proof.pdf2017-11-02 14:00 6.0M 
[ ]proplogic_natural_deduction_onnagata_problem.pdf2017-11-01 12:09 21K 
[ ]proplogic_natural_deduction_onnagata_problem_solutions.pdf2017-11-01 12:09 45K 
[ ]proplogic_natural_deduction_onnagata_proof.pdf2017-11-01 12:09 6.5M 
[ ]proplogic_natural_deduction_proofs_1.pdf2017-09-28 15:10 81M 
[ ]proplogic_natural_deduction_proofs_1_questions.pdf2017-09-28 15:24 1.9M 
[ ]proplogic_natural_deduction_proofs_1_solutions.pdf2017-10-03 13:40 81M 
[ ]proplogic_natural_deduction_rules.pdf2017-09-28 15:10 4.4M 
[ ]proplogic_natural_deduction_rules_examples.pdf2017-11-01 12:09 1.4M 
[ ]proplogic_natural_deduction_rules_huthandryan.pdf2017-10-03 14:14 6.8K 
[ ]proplogic_natural_deduction_soundness_completeness.pdf2017-11-01 12:09 253K 
[ ]proplogic_natural_deduction_superman_problem.pdf2017-11-01 12:09 26K 
[ ]proplogic_natural_deduction_superman_problem_solutions.pdf2017-11-01 12:09 37K 
[ ]proplogic_natural_deduction_superman_proof.pdf2017-11-01 12:09 6.5M 
[ ]proplogic_non_adequate_set.pdf2017-09-21 12:55 13M 
[ ]proplogic_properties_of_formula.pdf2017-09-19 13:54 6.3M 
[ ]proplogic_semantic_entailment.pdf2017-11-01 12:09 48K 
[ ]proplogic_semantics_1_meaning_of_connectives.pdf2017-11-01 12:09 2.2M 
[ ]proplogic_semantics_2_valuation_tree.pdf2017-11-01 12:09 18M 
[ ]proplogic_semantics_3_properties_of_formula.pdf2017-11-01 12:09 6.3M 
[ ]proplogic_semantics_4_logical_equivalence.pdf2017-11-01 12:09 6.3M 
[ ]proplogic_semantics_5_1_other_possible_binary_connectives.pdf2017-11-01 12:09 5.6M 
[ ]proplogic_semantics_5_2_adequate_set.pdf2017-11-01 12:09 19M 
[ ]proplogic_semantics_5_3_non_adequate_set_1.pdf2017-11-01 12:09 25K 
[ ]proplogic_semantics_5_3_non_adequate_set_2.pdf2017-11-01 12:09 13M 
[ ]proplogic_semantics_6_entailment.pdf2017-11-01 12:09 15M 
[ ]proplogic_syntax_structural_induction_template.pdf2017-10-13 15:00 23K 
[ ]proplogic_syntax_structural_induction_template_general.pdf2017-11-01 12:09 23K 
[ ]proplogic_syntax_structural_induction_template_wff.pdf2017-11-01 12:09 28K 
[ ]proplogic_syntax_structural_induction_wff.pdf2017-10-13 15:00 28K 
[ ]proplogic_syntax_wff_1_balanced_brackets.pdf2017-11-01 12:09 39K 
[ ]proplogic_syntax_wff_2_unbalanced_brackets.pdf2017-11-01 12:09 56K 
[ ]proplogic_syntax_wff_3_unique_readability.pdf2017-11-01 12:09 41K 
[ ]proplogic_syntax_wff_backup.pdf2017-11-01 12:09 186K 
[ ]proplogic_valuation_tree.pdf2017-09-25 22:13 18M 
[ ]undecidability_empty.pdf2017-12-01 11:48 718K 
[ ]undecidability_reduction_empty.pdf2017-12-01 11:48 25K 
[ ]undecidability_solutions.pdf2017-12-01 11:48 4.1M 
[ ]verif_array_assignment.pdf2017-11-27 21:48 1.4M 
[ ]verif_array_assignment_empty.pdf2017-11-27 21:48 32K 
[ ]verif_array_assignment_solutions.pdf2017-11-27 21:48 2.6M 
[ ]verif_array_reverse.pdf2017-11-27 21:48 3.5M 
[ ]verif_rules_assignment_conditilonal_solutions.pdf2017-11-21 12:08 3.0M 
[ ]verif_rules_assignment_conditional_empty.pdf2017-11-27 21:48 572K 
[ ]verif_rules_assignment_conditional_solutions.pdf2017-11-27 21:49 3.0M 
[ ]verif_while_empty.pdf2017-11-27 21:49 163K 
[ ]verif_while_invariants.pdf2017-11-27 21:49 2.3M 
[ ]verif_while_solutions.pdf2017-11-27 21:49 3.3M 
[ ]verification_assignment_conditional.pdf2017-11-16 13:10 2.7M 
[ ]verification_empty.pdf2017-11-16 13:10 233K 
[ ]verification_while.pdf2017-11-15 15:08 92K 
[ ]verification_while_empty.pdf2017-11-16 13:10 92K 
[ ]verification_while_filled.pdf2017-11-16 13:11 3.3M 
Apache/2.4.41 (Ubuntu) Server at cs.uwaterloo.ca Port 443