| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| exer_Elkan.pdf | 2024-03-28 10:01 | 45K | ||
| exer_Elkan.tex | 2024-03-28 10:36 | 1.0K | ||
| exer_Gates.pdf | 2025-11-11 11:01 | 54K | ||
| exer_Gates.tex | 2025-11-11 11:01 | 1.3K | ||
| exer_absorb.pdf | 2023-11-03 13:09 | 79K | ||
| exer_alg.pdf | 2023-04-04 19:46 | 79K | ||
| exer_axioms_classical.pdf | 2022-11-24 09:08 | 71K | ||
| exer_axioms_classical.tex | 2022-11-24 09:08 | 857 | ||
| exer_cylinder.pdf | 2023-04-14 14:22 | 98K | ||
| exer_disj.pdf | 2025-10-22 13:31 | 118K | ||
| exer_disj.tex | 2025-10-22 13:31 | 1.9K | ||
| exer_distributivity.pdf | 2024-11-11 11:04 | 100K | ||
| exer_distributivity.tex | 2024-11-11 11:04 | 943 | ||
| exer_fl1.pdf | 2023-11-20 12:11 | 81K | ||
| exer_fl1_sol.pdf | 2023-12-11 10:27 | 99K | ||
| exer_hor_repr.pdf | 2025-09-25 13:19 | 91K | ||
| exer_hor_repr.tex | 2025-09-25 13:19 | 1.5K | ||
| exer_hor_reprB.pdf | 2023-10-07 18:42 | 100K | ||
| exer_hor_reprC.pdf | 2023-10-20 10:51 | 103K | ||
| exer_hor_repr_cont_neg.pdf | 2023-03-09 11:58 | 130K | ||
| exer_hor_repr_continuous.pdf | 2025-03-11 12:20 | 95K | ||
| exer_hor_repr_continuous.tex | 2025-03-11 12:20 | 1.5K | ||
| exer_hor_repr_continuous2.pdf | 2024-03-05 08:35 | 95K | ||
| exer_hor_repr_continuous2.tex | 2024-03-05 09:00 | 1.5K | ||
| exer_hor_repr_discrete.pdf | 2025-02-27 12:07 | 97K | ||
| exer_hor_repr_discrete.tex | 2025-02-27 12:07 | 1.6K | ||
| exer_hor_repr_discrete2.pdf | 2024-02-29 15:44 | 95K | ||
| exer_hor_repr_discrete2.tex | 2022-10-31 10:37 | 1.6K | ||
| exer_impl_ex.pdf | 2025-10-29 10:01 | 71K | ||
| exer_impl_ex.tex | 2025-10-29 10:01 | 1.2K | ||
| exer_impl_ex_equiv.pdf | 2024-04-08 14:32 | 78K | ||
| exer_impl_ex_equiv.tex | 2024-04-08 14:32 | 1.5K | ||
| exer_intersect.pdf | 2024-11-01 14:55 | 83K | ||
| exer_intersect_absorb.pdf | 2023-11-03 17:40 | 100K | ||
| exer_intersect_absorb.tex | 2024-03-14 11:11 | 1.8K | ||
| exer_intersection.pdf | 2022-11-22 16:38 | 90K | ||
| exer_intersection.tex | 2022-11-22 16:38 | 1.0K | ||
| exer_neg.pdf | 2023-10-27 19:34 | 86K | ||
| exer_neg_intersect.pdf | 2024-03-14 11:11 | 94K | ||
| exer_neg_intersect.tex | 2024-03-14 11:11 | 1.4K | ||
| exer_vert_repr.pdf | 2025-09-25 13:19 | 94K | ||
| exer_vert_repr.tex | 2025-09-25 13:19 | 1.1K | ||
| exer_vert_repr_compl.pdf | 2025-10-15 10:07 | 103K | ||
| exer_vert_repr_compl.tex | 2025-10-15 10:07 | 1.4K | ||
| exer_vert_repr_neg.pdf | 2025-10-07 12:27 | 102K | ||
| exer_vert_repr_neg.tex | 2025-10-07 12:27 | 1.2K | ||
| macros.tex | 2024-03-28 10:36 | 4.0K | ||