informatica

Ciencia

Conceptos

Variable normal

Conocimiento vulgar

Conocimiento científico

Ciencias empíricas

Método Científico

Investigación de campo / documental / experimental

Lenguaje científico

Parte de convenio

Aritmética

Suma (+)

Suma $\mathbb{N}$

Suma en $\mathbb{Z}$

Suma en $\mathbb{Q}$

Suma en $ \mathbb{Z}_{n} $

Resta (-)

Resta en $\mathbb{N}$

Resta en $\mathbb{Z}$

Producto ($\cdot$ )

Producto en $\mathbb{N}$ y $\mathbb{Z}$

Producto en $\mathbb{Q}$

División

División en $\mathbb{N}$

Fracciones equivalentes

Fracción (reducible/irreducible)

Múltiplo

Divisor

Factorizar

Potencia $(a^b)$

Logaritmo ($log_a b) $

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

Conjunto complementario $(A / B)$

Propiedades de los conjuntos

Principio de inclusión exclusión

Correspondencia (aplicaciones)

Imagen de una función

Función compuesta

Función inversa

Propiedades de las aplicaciones

Grado combinado (aplicación de)

Aplicaciones definidas mediante tablas

Relación

Aplicación en un particionado

Relación de equivalencia

Relación de orden

Particionado de una relación

Reticulado Complementado

Reticulado distributivo

Tabla de relación

Estabilidad de una (L.C.I.)

Ley de composición interna (LCI)

Elemento neutro $(i)$

Elemento inverso

Producto $(\cdot)$

Combinatoria

Principio de multiplicación

Principio de la división

Variaciones con repetición de m elementos tomados de n en n $VR_{m}^{n}$

Permutaciones de n elementos $P_n$

Variaciones sin repetición de m elementos tomados de n en n $V_{m}^{n}$

Permutaciones con algún elemento repetido

Combinaciones de n elementos tomados de k en k

Coef binomiales (propiedades)

Álgebra de Boole

Estructura (boole)

teoría de grupos

Grupoide $ (G, \circ)$

Semigrupo $ ( G, \circ) $

Grupo $ ( G , \circ ) $

Unidad de un grupo $(U)$

Grupos destacados

Notación de grupo

Orden de un grupo

Equación en un grupo

Propiedades de los grupos

Subgrupo trivial / propio

Coclases (propiedades)

Grupo (normal / invariante)

Propiedades de los grupos normales

Grupo normalizador

Anillo

Unidad de un anillo

Elemento unidad

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

Anillo de división

Álgebra lineal

Convinación lineal

Informática

base

Computador (computadora)

Lenguaje máquina

Programa informático

Ensamblador (asm)

Archivo de texto

S.O.C. (system on chip)

Editor 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)

(little/big)-endian

Hilo de ejecución

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

ABI interfaz binaria de aplicaciones

Estructura de un programa en R-V

Estructura subrutina

Protocolos de subrutinas

General (informática)

Representación numérica

gnuplot

Pintar funciones

Opciones generales (Gnuplot)

Opciones de puntos

Estadística

Estadística descriptiva

población estadística o universo

Estadística inferencial

Análisis

Sucesión

Sucesiones por aplicación

Sucesiones recursivas

Sucesiones destacadas

Operaciones con sucesiones

Sucesiones de recurrencia

Serie

Función

Algoritmia

Representación

Representación posicional $ \mathbb{N}$

Representación en distintas bases

Representación posicional variable

Representación posicional en $\mathbb{Z}$

Representación posicional en $\mathbb{Z}_{/n}$

Representación romana

Representación en $\mathbb{Q}$

Representación en memoria

Operaciones

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

Tablas de operaciones

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

producto $( \cdot)$

Algoritmo de la 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)

Tablas de lógica

Máquina A-Turing

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

--