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 $Card$ de los conjuntos.

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:

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.

--