Documents tagged calgary

Publicly Shared

Title
Practice Problems VI.md
Description
Practice problems for interpretations in FOL, Part VI of forall x: Calgary.
Creator
Richard Zach
Created on
2019-10-21 16:03 UTC
Tags
calgary forall x
Title
279 Tutorial 9.md
Description
UCalgary Logic I: Practice exercises for tutorial week 9: proofs with multiple quantifiers
Creator
Richard Zach
Created on
2020-03-18 03:24 UTC
Tags
calgary forall x
Title
Practice Problems V.md
Description
Practice problems for Part V of forall x:Calgary
Creator
Richard Zach
Created on
2019-11-02 16:55 UTC
Tags
calgary forall x
Title
Practice Problems II.md
Description
Some practice problems for Part II of forall x: Calgary
Creator
Richard Zach
Created on
2019-09-17 18:10 UTC
Tags
calgary forall x
Title
Practice Problems III.md
Description
Practice problems for Part III of forall x, Calgary edition.
Creator
Richard Zach
Created on
2019-09-15 21:03 UTC
Tags
calgary forall x
Title
279 Worksheet 2 Symbolization.md
Description
Class examples on symbolization.
Creator
Richard Zach
Created on
2020-09-16 17:40 UTC
Tags
calgary forall x
Title
279 Worksheet 3 Truth Tables and Proofs.md
Creator
Richard Zach
Created on
2020-09-23 16:08 UTC
Tags
calgary forall x
Title
Practice Problems IV.md
Description
Practice problems for proofs in TFL, Part IV of forall x: Calgary.
Creator
Richard Zach
Created on
2019-09-18 00:14 UTC
Tags
calgary forall x
Title
More Practice Problems IV.md
Description
Additional practice problems on natural deduction proofs for TFL. They cover Part II of forall x: Calgary.
Creator
Richard Zach
Created on
2020-09-25 02:36 UTC
Tags
calgary forall x
Title
279 Worksheet 4 Proofs.md
Description
Practice problems on proofs. They cover Part IV of _forall x: Calgary_.
Creator
Richard Zach
Created on
2020-09-29 22:14 UTC
Tags
calgary forall x
Title
279 Tutorial Worksheet 5.md
Creator
Richard Zach
Created on
2020-10-06 23:24 UTC
Tags
calgary forall x
Title
279 Worksheet 5.md
Creator
Richard Zach
Created on
2020-10-07 16:55 UTC
Tags
calgary forall x
Title
Worksheet 6 Interpretations.md
Creator
Richard Zach
Created on
2020-10-16 16:32 UTC
Tags
calgary forall x
Title
Practice Problems VII.md
Description
Practice problems for Part VII of forall x: Calgary: proofs in FOL
Creator
Richard Zach
Created on
2019-10-23 15:40 UTC
Tags
calgary forall x
Title
279 Tutorial Worksheet 8.md
Creator
Richard Zach
Created on
2020-10-28 19:14 UTC
Tags
calgary forall x
Title
279 Class Worksheet 8.md
Creator
Richard Zach
Created on
2020-10-28 17:46 UTC
Tags
calgary forall x
Title
279 Tutorial Worksheet 9.md
Creator
Richard Zach
Created on
2020-11-03 23:18 UTC
Tags
calgary forall x
Title
279 Class Worksheet 9.md
Creator
Richard Zach
Created on
2020-11-04 18:20 UTC
Tags
calgary forall x
Title
279 Class Worksheet 10.md
Creator
Richard Zach
Created on
2020-11-16 18:51 UTC
Tags
calgary forall x
Title
279 Class Worksheet 11.md
Creator
Richard Zach
Created on
2020-11-25 00:38 UTC
Tags
calgary forall x
Title
279 Tutorial Worksheet 12.md
Creator
Richard Zach
Created on
2020-12-02 01:43 UTC
Tags
calgary forall x
Title
279 Class Worksheet 12.md
Creator
Richard Zach
Created on
2020-11-28 00:25 UTC
Tags
calgary forall x
Title
279 Tutorial Worksheet 2.md
Description
Exercises on symbolization in TFL
Creator
Richard Zach
Created on
2021-01-22 17:03 UTC
Tags
calgary forall x
Title
Ch2_GFA.md
Creator
Greg Frost-Arnold
Created on
2021-01-24 21:03 UTC
Tags
calgary forallx