Index of /~a23gao/cs245_s18/notes

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