Choose your student project topic
Project descriptions can be found at https://github.com/danelahman/lograc-2022/blob/main/projects/README.md.
Please try to organise yourselves into teams of two. Pairing up with somebody from your weekly exercise class group is also a good idea---then you can use the weekly 2hrs for working on the project together.
Of course, let the course organisers know if you have a topic in mind you would like to formalise in Agda that is not among the ones we have listed here.
Odgovori
| Možnosti izbire | Predicate logic (Polno) |
Modal logic (Polno) |
Temporal logic (Polno) |
Hoare logic (state and exceptions) |
Hoare logic (state and input/output) |
Hoare logic (state and nondeterminism) (Polno) |
Extending PLFA (sum types) (Polno) |
Extending PLFA (list type) (Polno) |
Definitional interpreter (sum types and algebraic data types) (Polno) |
Definitional interpreter (exceptions and state) (Polno) |
Definitional interpreter (exceptions and nondeterminism) |
Definitional interpreter (algebraic effects and handlers) |
Definitional interpreter (recursion) (Polno) |
Update lenses |
Monadic lenses |
Update monads (Polno) |
Regular languages and finite automata (Polno) |
Search trees (red-black trees) (Polno) |
Search trees (2-3 trees) (Polno) |
Search trees (AVL trees) (Polno) |
Priority queue (Polno) |
Algebras for a functor (Polno) |
Coalgebras for a functor (Polno) |
Matrices (Polno) |
Polynomials (Polno) |
Formal power series (Polno) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Število odgovorov | 2 |
2 |
2 |
0 |
1 |
2 |
2 |
2 |
2 |
2 |
0 |
0 |
2 |
1 |
1 |
2 |
2 |
2 |
2 |
2 |
2 |
2 |
2 |
2 |
2 |
2 |
| Uporabniki, ki so izbrali to možnost |