Search results for "recursió"
showing 3 items of 3 documents
Comprensiones categoriales y subrecursión
2012
Se define una nueva estructura categorial con el objeto de caracterizar las clases de funciones subrecursivas pertenecientes a la Jerarquía de Grzegorzcyk. Ello se consigue por medio de functores de coerción sobre una categoría simétrica monoidal dotada de ciertos esquemas de recursión que imitan el esquema de recursión acotada. Ello se hace para dar una visión categorial generalizada de la recursión y la composición seguras. A new categorical setting is defined in order to characterize the subrecursive classes belonging to the Grzegorzcyk Hierarchy. This is achieved by means of coercion functors over a symmetric monoidal category endowed with certain recursion schemes that imitate the boun…
Matemàtica Discreta i Llògica. Teoria i, sobretot, problemes. Versió 2.4
2022
La versió inicial d'aquest material ha rebut un ajut del Servei de Política Lingüística de la Universitat de València en la convocatòria 2020 d'incentius per a la qualitat lingüística en l'elaboració de materials docents. L'assignatura 34666 - Matemàtica discreta i lògica s'imparteix en primer curs d'Enginyeria Informàtica a la Universitat de València. És una assignatura introductòria que hauria de servir de pont entre conceptes matemàtics, lògics i computacionals, importants a l'hora d'assolir certes competències transversals com ara la capacitat per a representar informació i per a resoldre problemes. En l'assignatura hi ha quatre blocs principals: combinatòria, lògica, recursió, i estruc…
Matemàtica Discreta i Lògica. Teoria i, sobretot, problemes. Versió 2.1
2020
L'assignatura 34666 - Matemàtica discreta i lògica s'imparteix en primer curs d'Enginyeria Informàtica a la Universitat de València. És una assignatura introductòria que hauria de servir de pont entre conceptes matemàtics, lògics i computacionals, importants a l'hora d'assolir certes competències transversals com ara la capacitat per a representar informació i per a resoldre problemes. En l'assignatura hi ha quatre blocs principals: combinatòria, lògica, recursió, i estructures gràfiques i arborescents. Encara que en queden fora molts continguts típics de cursos i llibres de matemàtica discreta (com ara resolució de recurrències, codificació, teoria de nombres, etc.), també és veritat que d…