Contribuciones del usuario 200.55.91.154
De Cuba-Wiki
Para 200.55.91.154 discusión registro de bloqueos registros
21 dic 2015
- 23:3523:35 21 dic 2015 difs. hist. +114 Lógica y Computabilidad Agregado final del 21/12/15
- 23:3523:35 21 dic 2015 difs. hist. +495 N Final del 21/12/15 (Lógica y Computabilidad) Página creada con «1) Definir PRC. Probar que una función es primitiva recursiva sii pertenece a toda clase PRC. 2) Probar que A ⊆ N es computable sii A y Ā son computablemente enumerabl...» última
