Documentos de Académico
Documentos de Profesional
Documentos de Cultura
programacin
Programacin
lgica
El programador
especifica cmo
realizar los
cmputos
Caractersticas
Programacin Semntica
Declarativa
Teora de modelos
Variable lgicos
Datos
especificados
+
Lgica
Significado
Control
Eficiencia
Matemtica
Enraizado como
funcin
Lenguaje funcional
Haskell
Evala
expresiones
de forma diferente.
Empleando
Polimorfismo Rasgos expresivos
Control en
evaluacin
de
expresiones
Ecuaciones