diff options
| author | Nao Pross <np@0hm.ch> | 2023-10-17 19:55:12 +0200 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-10-17 19:55:12 +0200 |
| commit | d6788202d19eb958a4263025128d524fe4d51cea (patch) | |
| tree | 3659930b3f38df7865814ea38172a8a85d78b0e8 /Homeworks.md | |
| parent | Pass TestFiniteRelationOperations (diff) | |
| download | act4e-d6788202d19eb958a4263025128d524fe4d51cea.tar.gz act4e-d6788202d19eb958a4263025128d524fe4d51cea.zip | |
Update Homeworks.md
Diffstat (limited to '')
| -rw-r--r-- | Homeworks.md | 50 |
1 files changed, 45 insertions, 5 deletions
diff --git a/Homeworks.md b/Homeworks.md index 79eb7b2..c0eaacc 100644 --- a/Homeworks.md +++ b/Homeworks.md @@ -6,12 +6,52 @@ $ colima start $ make docker-check ``` -## Week 1 +## Exercises for Oct. 30 + +- [X] TestSimpleIntro - [X] TestFiniteSetRepresentation - [X] TestFiniteSetProperties +- [?] TestFiniteMakePowerSet - [X] TestFiniteMakeSetProduct -- [ ] TestFiniteMapRepresentation -- [ ] TestFiniteMapOperations -- [ ] TestFiniteSetRepresentation -- [ ] TestFiniteRelationProperties +- [X] TestFiniteSetRepresentationProduct +- [?] TestFiniteMakeSetDisjointUnion + +- [X] TestFiniteMapRepresentation +- [X] TestFiniteMapOperations + +- [X] TestFiniteRelationRepresentation +- [X] TestFiniteRelationCompose +- [X] TestFiniteRelationProperties +- [X] TestFiniteRelationOperations + +- [?] TestFiniteEndorelationProperties +- [?] TestFiniteEndorelationOperations + +- [ ] TestFiniteSemigroupRepresentation +- [ ] TestFiniteSemigroupConstruct +- [ ] TestFiniteMonoidRepresentation +- [ ] TestFiniteGroupRepresentation + +- [ ] TestFiniteSemigroupMorphismRepresentation +- [ ] TestFiniteMonoidMorphismRepresentation +- [ ] TestFiniteGroupMorphismRepresentation +- [ ] TestFiniteSemigroupMorphismsChecks + +- [ ] TestFinitePosetRepresentation +- [ ] TestFinitePosetConstructionPower +- [ ] TestFinitePosetSubsetProperties +- [ ] TestFinitePosetMeasurement +- [ ] TestFinitePosetConstructionProduct +- [ ] TestFinitePosetConstructionSum +- [ ] TestFinitePosetConstructionOpposite +- [ ] TestFinitePosetConstructionTwisted +- [ ] TestFinitePosetConstructionArrow + +- [ ] TestFiniteMonotoneMapProperties + +## Exercises for Nov. 20 + +- [ ] TestSemiCategoryRepresentation +- [ ] TestCurrencyOptimization +- [ ] TestFinitePosetMinMax |