![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| 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 | |