docoo
Bienvenidos a Docoo.es
En esta página se trata de exponer documentación de las materias expuestas de la manera lo más ordenada posible y simple.

Reticulado

2021-04-10

Un conjunto parcialmente ordenado con supremo e ínfimo de dice que es un reticulado.
Sean cuales sean dos elementos del conjunto $a, b$ estos tendrán un supremos y un ínfimo.

Estadística

2021-02-26

Status (ciencia del estado) La estadística es una herramienta de recogida, organización e interpretación y análisis empírico de sucesos, objetos, personas, animales ...

Análisis

2021-05-27

En este apartados se analizarán elementos de manera individual y se compararan unos con otros.

Instrucciones(R-V:32I)

2021-04-15

La ISA de risc-v 32I se compone de un número reducido de instrucciones.
A continuación se ordenan por tipos.

Grupo abeliano

2021-05-05

Un grupo $(G,\circ)$ que cumple la propiedad conmutativa se denomina grupo conmutativo o abeliano.

Máquina de Turing (MT)

2021-03-17

Una máquina de Turing es el concepto teórico de una máquina capaz de resolver de manera formal problemas.
Es la base teórica de la computación.

Unidad de un grupo (U)

2021-04-22

Sea (G, \circ) un grupoide llamaremos unidad de este $(U(G))$ al conjunto de elementos del grupoide que tienen elemento inverso, este subconjunto ahora es un grupo.

Parte formal

2021-03-27

El lenguaje científico va a utilizar en lo posible un lenguaje formal (principalmente matemático)

Conjuntos destacados

2021-03-08

Existen algunos conjuntos que son destacados por lo habitual que es trabajar con ellos , el conjunto de dos elementos $\{ Verdadero,Falso \}$ y los conjuntos $ \mathbb{N}$ $ \mathbb{Z}$ $ \mathbb{Q}$ $ \mathbb{C}$

Verdad formal

2021-04-17

Toda premisa que es consecuencia de un desarrollo correcto a partir de premisas que son axiomas tienen la categoría de verdad formal.
También todas las premisas que son desarrolladas de forma correcta a partir de premisas que tienen la categoría verdad formal, también lo son .

Reticulado distributivo

2021-04-16

Un reticulado $(A,+,\cdot)$ se dice que es distributivo si cumple: $$ a_1 + (a_2 \cdot a_3) = (a_1 \cdot a_2) + (a_1 \cdot a_3) $$ $$ a_1 \cdot (a_2 + a_3) = (a_1 + a_2) \cdot (a_1 + a_3) $$ para todo $ \{ a_1 ,a_2 , a_3 \} $ pertenecientes a $A$

Cuerpo

2021-04-14

Anillo de división que es conmutativo sobre el producto.

Algoritmo de la resta en $\mathbb{N}$

2021-04-14

documentacion/lecc/algoritmia/operaciones/resta/img_0.svg

En una resta el orden de los operadores cambia el resultado, en estos casos los operadores tienen nombre diferente;

  1. Minuendo : valor de partida.
  2. Sustraendo : el valor a restar.
  3. Diferencia o resta : resultado de la operación.

--