Provide the reader with full information
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Documentación
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- tex
- Área
- content, documentation
Línea de trabajo
Comienza localizando el pasaje mostrado en la imagen enlazada dentro de la sección del libro de texto dedicada a la teoría axiomática rigurosa de conjuntos y lee la exposición circundante. Determina qué hechos, teoremas o demostraciones faltan en la presentación; se considera terminado cuando el pasaje afectado proporciona toda la información solicitada en lugar de depender de la abreviatura mostrada.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Hi, I would kindly like to suggest providing the reader with full information of the facts/theorems/proofs etc. regardless of difficulty or notation.
For instance, the following is not really a good representation especially when in the book says that this part is the rigorous one and not the naive set theory
This specific part of the book is all about rediscovering set theory on a rigorous axiomatic way and the above is not IMHO well-suited at all for this part of the book. It could have been fine to claim something like the above in the naive part of the book.
- Lenguaje dominante
- TeX
- Estrellas
- 1.4k
- Forks
- 289
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de OpenLogicProject/OpenLogic
-
Russel's Paradox typoAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100
OpenLogicProject/OpenLogic#339 · 1 comentario ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 50/100
OpenLogicProject/OpenLogic#436 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
OpenLogicProject/OpenLogic#435 · 1 comentario ·
-
Order-type of models of PAAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
OpenLogicProject/OpenLogic#425 · 1 comentario ·
-
Improve docsAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
OpenLogicProject/OpenLogic#390 ·
Todos los issues de OpenLogicProject/OpenLogic
Issues similares
-
Add: Cbeebies PL SDAbiertoapproved check:passed streams:add
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
iptv-org/iptv#54525 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
0xlau.dev 已失效，切换成 timlau.meAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 69/100
timqian/chinese-independent-blogs#2235 ·
Los mantenedores suelen responder en 1 día
-
abandoned plugin needs review
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
OctoPrint/plugins.octoprint.org#1496 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
correction revision
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
acl-org/acl-anthology#10192 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 95/100