Usuario:Kaitxu/Taller

Aquí concretaré en profundidad el proceso de mi proyecto a medida que lo vaya desarrollando.

Los temas que voy tratar son:

Conjuntos:

• Esta es la primera contribución remarcable, dentro del ámbito (y la página) de conjuntos, y en la cual amplío información en el apartado de Cardinalidad de la misma página. En este, añado información sobre las propiedades de la cardinalidad y creo un nuevo apartado relacionado con cardinalidad de los reales, que ínfimamente presenta el último párrafo de la anterior edición. --Kai (discusión) 19:15 26 feb 2017 (UTC)
• Segunda edición dentro de la página de conjuntos, dentro de la cual doy más información sobre el apartado del conjunto vacío de una manera escueta sobre propiedades importantes. --Kai (discusión) 20:35 26 feb 2017 (UTC)

Geometria computacional:

• En esta edición de la página de geometría computacional he añadido un pequeño párrafo descriptivo sobre la teoría de la complejidad computacional, y más contundentemente dos nuevos apartados (Problemas dinámicos y Variantes) en su completitud. El conjunto de este trabajo representa una adición de apartados carentes en la wikipedia en español presentes en la versión inglesa.Kai (discusión)

Lenguaje de especificación:

• Esta contribución en la página de Lenguajes de especificación se basa en la ampliación de los lenguajes de especificación enlistados, más concretamente de Alloy y LOTOS, con la creación de ambas entradas.Kai (discusión)

Teoría de grafos:

• En esta ampliación he tomado el apartado "problemas de la teoría de grafos" de la versión inglesa de la página Teoría de grafos.Kai (discusión)