15449026
Beschreibung
Mindmap von Jose Refugio Rivera Mendoza, aktualisiert more than 1 year ago
|
Erstellt von Jose Refugio Rivera Mendoza
vor etwa 6 Jahre
|
|
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.
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.