informatica

Análisis

Álgebra

Teoría de conjuntos

Conjunto vacío ($ \emptyset $)

Pertenece ($\in$)

Diagramas de Venn

Unión $( \cup )$

Contenido en $( \subset )$

Intersección $( \cap )$

Conjuntos disjuntos

Conjuntos destacados

Boleano $\mathbb{B}$

Correspondencia (aplicaciones)

Imagen de una función

Relación

Relación de equivalencia

Relación de orden

Particionado de una relación

Reticulado Complementado

Reticulado distributivo

Ley de composición interna (LCI)

Elemento neutro $(i)$

Elemento inverso

Combinatoria

Álgebra de Boole

Estructura (boole)

teoría de grupos

Grupoide $ (G, \circ)$

Semigrupo $ ( G, \circ) $

Grupo $ ( G , \circ ) $

Unidad de un grupo (U)

Anillo

Unidad de un anillo

Elemento unidad

Conjunto unidad $ \mathbb{U}(A) $

Anillo de división

Lógica

general

Definición propia

Definición impropia

Lenguaje natural

Lenguaje formal

Verdad material

Definición por extensión

Ambigüedad semántica

Lógica proposicional

Proposición simple

Proposición compuesta

Estructura (lógica proposicional)

Informática

base

Computador (computadora)

Lenguaje máquina

Programa informático

Ensamblador (asm)

Archivo de texto

Modelo de von neumann

Unidad de control

Banco de registros

ALU (unidad aritmético lógica)

Contador de programa (PC)

ISA (instruction set architecture)

Máquina de Turing (MT)

Máquina A-Turing

Máqunia U-turing

RISC-V

Instrucciones(R-V:32I)

Algoritmia

Representación

Representación posicional $ \mathbb{N}$

Representación en distintas bases

Representación posicional variable

Operaciones

Suma de numeros naturales ($\mathbb{N}$)

Tablas de operaciones

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

Ciencia

Lenguaje científico

Estadística

Estadística descriptiva

población estadística o universo

Variable normal

Estadística inferencial

Máquina A-Turing

Es un autómata de turing que representa un algoritmo generalizado capaz de realizar cualquier tarea computable.

--