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.

Principio de la división

2021-09-16

El principio de la división se basa en que si tengo un conjunto que genera n posibilidades diferentes, pero hay elementos de ese conjunto que su intercambio no genera una posibilidad adicional, las posibilidades reales son las posibilidades que generaría como si todos fuesen diferentes dividido entre las posibilidades que generarían estos conjuntos que no lo son en el caso de serlo.

Corolario

2021-09-14

Es una proposición que se deduce fácilmente de un teorema y tiene una relevancia considerable en lo expresado. No aporta nada más que el teorema pero si puede aclararlo.

Pseudoinstrucciones en el risc-V 32i

2021-09-14

Las pseudoinstrucciones desde el punto de vista del programador se pueden considerar instrucciones, pero desde el punto de vista de la arquitectura no existen como tal, cuando nosotros escribimos una de estas el compilar la transforma en una o más instrucciones reales.

Principio de multiplicación

2021-09-14

El principio de multiplicación se basa en:

Si un conjunto A tiene n elementos y otro conjunto B tiene m elementos, el conjunto $(A \times B)$ tiene $n \times m $ elementos.

Teorema proposición (th)

2021-09-13

Son enunciados con una cierta importancia.
Estos han de deducirse de axiomas o otros teoremas.
La proposición matemática es lo mismo que el teorema matemático solo que con un grado menor de importancia (no confundir con la definición de proposición lógica)

Firmware

2021-03-12

Representa la conexión entre software y hardware. Es la parte encargada de traducir impulsos físicos a otras cosas físicas como condensadores cargados etc... pero que tienen un significado para la máquina como 1 o 0 de una manera determinada.
Es la interpretación de la física que existe en la máquina.
El firmware se encuentra en todo periférico de una máquina.

Parte formal

2021-03-27

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

Adición

2021-09-13

Si dos conjuntos son disjuntos entonces el conjunto unión de ambos tiene tantos tantos elementos como la suma del número de elementos de cada uno más los del otro. $$ |A \cup B | = |A| \cup |B| $$

Instruciones risc-v

2021-09-11

El código risc-V son las instrucciones en binario expresadas en el apartado Instrucciones(R-V:32I), pero estas instrucciones tienen una forma más comoda y legible que es lenguaje ensamblador. Aquí se ordenaran no por la estructura binaria que tiene, las ordenaremos por el tipo de función que desempeñan.

Tautología

2021-09-10

Una tautología es una expresión lógica que con independencia de los valores de sus premisas siempre es cierta. $$ (q \vee ¬q) $$ por ejemplo , da igual los valores que tome q que el resultado siempre será cierto

Dividir 374 entre 4

2021-09-10

Es una división en $\mathbb{N}$ luego esperamos como resultado dos números naturales.

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.

Contradicción

2021-09-09

Una contradicción se da cuando decir que una premisa es cierta nos lleva a que sea falsa y viceversa $$ p \rightarrow ¬p $$

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.

Fichero

2021-03-05

Un fichero es un modo de agrupar datos en una máquina.

Equivalencia lógicao

2021-09-09

Si dos expresiones representan la misma verdad, se llaman equivalencias lógica.

--