diff options
Diffstat (limited to 'Homeworks.md')
-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 |