<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-02-12 12:52:32Category theory Functional programming Algebras Boolean algebra F-algebra Functor Algebraic structure Ordinal number F-coalgebra Adjoint functors Constructible universe Free algebra |
Add to Reading List |
Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding
![SOLUZIONI DELL’ESAME DI ALGEBRA 3, Esercizio 1. Si consideri il polinomio f (X) := X 7 − 13 ∈ Q [X]. (a) Si presenti il suo campo di spezzamento E (su Q) nella forma E = Q (α, β) per opportuni α, β](https://www.pdfsearch.io/img/60b7bc5187a246199fff59a7408acab9.jpg "SOLUZIONI DELL’ESAME DI ALGEBRA 3, Esercizio 1. Si consideri il polinomio f (X) := X 7 − 13 ∈ Q [X]. (a) Si presenti il suo campo di spezzamento E (su Q) nella forma E = Q (α, β) per opportuni α, β")