informatica

Á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

Función compuesta

Función inversa

Propiedades de las aplicaciones

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

Producto $(\cdot)$

Combinatoria

Principio de multiplicación

Principio de la división

Á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 o de enunciados

Proposición simple

Proposición compuesta

Estructura (lógica proposicional)

formalización( lenguaje proposicional )

Contrarecíproco

Equivalencia lógicao

Teorema proposición (th)

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)

Registros en Risc-V

Instrucciones al compilador de risc-V

Gestión de la memoria en R-V

Instruciones risc-v

Pseudoinstrucciones en el risc-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}$

producto $( \cdot)$

Algoritmo de la división

Análisis

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

--