17515026
Programación Lógica
- Estilos de Programación
- Imperativo
- Funcional
- Lógico
- Orientado al Objeto
- Orientado al Evento
- Orientado al Formato
- Imperativo
- Evaluación de Expresiones
- Tipos
- Aritmeticas
- Devuelven un valor númerico
- Devuelven un valor númerico
- Lógicas
- Devuelven True o False
- Devuelven True o False
- Aritmeticas
- Expresión
- Combinacion de
operadores y
operandos
- Se obtiene un valor
- Se obtiene un valor
- Combinacion de
operadores y
operandos
- Tipos
- Definición de Funciones
- Forma parte del
algoritmo
principal
- Da cierto
orden al
código
- Propiedades
- Puede recibir valores
- Lista de parametros
- Puede ser invocada
- Se ejecuta para
devolver un
valor
- Nombre
unico en el
ambito
- Puede recibir valores
- Subalgoritmos
- Permite
resolver
una tarea
especifica
- Permite
resolver
una tarea
especifica
- Forma parte del
algoritmo
principal
- Disciplina de Datos
- Haskell
- Sistema de tipos Milner
- Caracteristicas
- Disciplina estática de tipos
- Un programa bien
tipado se puede
ejecutar sin
comprovaciones
- Un programa bien
tipado se puede
ejecutar sin
comprovaciones
- Polimorfismo
- Permite que
una función se
aplique a
parametros de
distintos tipos
- Permite que
una función se
aplique a
parametros de
distintos tipos
- Disciplina estática de tipos
- Caracteristicas
- Sistema de tipos Milner
- Haskell
- Tipos de Datos
- Númericos
- Cantidad o valor determinado
- Tipo entero
- Tipo real
- Tipo entero
- Cantidad o valor determinado
- Lógicos
- Clasificados en
- Falso
- Verdadero
- Falso
- Clasificados en
- De cadena
- Clasificado en
- Tipo de caracter
- Tipo de cadena
- Tipo de caracter
- Clasificado en
- Clasificados en
- Simples
- Compuestos
- Simples
- Númericos
Want to create your own Mind Maps for free with GoConqr? Learn more.