15449026
Description
Mind Map by Jose Refugio Rivera Mendoza, updated more than 1 year ago
|
Created by Jose Refugio Rivera Mendoza
over 5 years ago
|
|
Lógica de Predicados
- Cuantificadores
- Un cuantificador se
utiliza para indicar
cuántos elementos de un
conjunto dado cumplen
con cierta propiedad.
- Un cuantificador se
utiliza para indicar
cuántos elementos de un
conjunto dado cumplen
con cierta propiedad.
- Representación y
Evaluación de
Predicados
- Forma lógica más general,
capaz de representar todos
los detalles expresados en
las sentencias, esta es la
lógica de predicados.
- Forma lógica más general,
capaz de representar todos
los detalles expresados en
las sentencias, esta es la
lógica de predicados.
- Álgebra Declarativa
- No es más que el
álgebra
proposicional, o la
estructura algebraica
está formada por
expresiones que
utilizan la lógica
conectivas.
- No es más que el
álgebra
proposicional, o la
estructura algebraica
está formada por
expresiones que
utilizan la lógica
conectivas.
- Inducción
Matemática
- Es un
razonamiento
que permite
demostrar una
infinidad de
proposiciones, o
una proposición
que depende de
un parámetro n
que toma una
infinidad de
valores enteros.
- Es un
razonamiento
que permite
demostrar una
infinidad de
proposiciones, o
una proposición
que depende de
un parámetro n
que toma una
infinidad de
valores enteros.
Want to create your own Mind Maps for free with GoConqr? Learn more.