15449026
Descrição
Mapa Mental por Jose Refugio Rivera Mendoza, atualizado more than 1 year ago
|
Criado por Jose Refugio Rivera Mendoza
aproximadamente 6 anos atrás
|
|
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.
Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.