15449026
Descripción
Mapa Mental por Jose Refugio Rivera Mendoza, actualizado hace más de 1 año
|
Creado por Jose Refugio Rivera Mendoza
hace alrededor de 6 años
|
|
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.
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.