docoo
Bienvenidos a Docoo.es
En esta página se trata de exponer:
  • contenido didáctico
  • Ejemplos de estos contenidos aplicados.
  • Personas que intervinieron en mayor o menor medida al desarrollo y descubrimiento de estos, de manera tanto directa como indirecta.

Todo tratando de ser una página lo más estática posible y firme, así como dinámica en cuanto al agregado.

Lógica

2020-10-29

La lógica es la ciencia que estudia el conjunto de los razonamientos.

Álgebra

2020-12-14

El álgebra es una herramienta de desarrollo abstracto.

Informática

2020-12-28

información automática. Ciencia encargada de la resolución de problemas de manera automática.

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 ...

Teoría de conjuntos

2021-03-02

La teoría de conjuntos es una rama de la matemática que estudia el comportamiento de dos conceptos básicos, el elemento , y el conjunto. estos dos conceptos que tenemos que asumir como innatos, van a servir de puente entre cualquier cosa que podamos imaginar y toda la lógica y la matemática que conocemos.

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}$

Algoritmia

2021-03-08

Es la ciencia que estudia la mecanización de los desarrollos lógicos.

Representación posicional $ \mathbb{N}$

2021-03-09

La representación posicional de números naturales es la más utilizada y naturalizada, y si no se dice nada se estará hablando de esta, el número 145 es una representación posicional.

Combinatoria

2021-03-09

Es la rama de las matemáticas que estudia el Cardinal ($Card$) de los conjuntos.

Aplicación en un particionado

2021-03-10

Si tenemos una aplicación "$f:A,A\longrightarrow A$" y una relación de equivalencia "$\Re$" definida en $A$.
Si $f$ es estable, tanto a derechas como a izquierdas, respecto de $\Re $ entonces queda perfectamente definida $$f:(A/\Re),(A/\Re)\longrightarrow (A/\Re) $$ siendo $(A/\Re)$ el conjunto cociente de de $A$ respecto de $ \Re$ $$ f: [a_1],[a_2]\longrightarrow [a_1] \circ [a_2] = [a_1 \circ a_2] $$

Conectores

2021-03-17

En la lógica, así como en el lenguaje cotidiano una misma frase puede contener varias indicaciones, estas indicaciones, van unidas por conectores como "y" , "o", etc...
En la lógica proposicional son los siguientes:

--