Please enable JavaScript.

Coggle requires JavaScript to display documents.

ESTILOS DE PROGRAMACIÓN Y SUS LENGUAJES, ESTILOS…

- - - - PREDICADOS
    - - DATOS (ATRIBUTOS, VALOR Y DATO)
  - - - IDENTIFICAR SUJETOS
      - HECHOS
- - - - OPERACIONES
        
        BOOLEANAS: and, or, not
        
        ARITMETICAS BÁSICAS: +,-,*,/
        
        OPERACIONES RELACIONALES: zerop, greaterp, lessp
        
        BÁSICAS: put, get, remprop
      - COMENTARIOS
      - EXPRESIONES CONDICIONALES
      - ENUNCIADOS
      - ENTRADAS Y SALIDAS
      - DEFINICIÓN DE FUNCIONES
      - SUBPROGRAMAS Y ALMACENAMIENTO
      - MACROS
      - FUNCIONALIDADES COMPILADAS
      - FUNCIONES DE LISTA
- - - - CODIFICA DATOS E INSTRUCCIONES
    - - PROCESA COMANDOS
- - - - NOMBRES ASOCIADOS A DEFINICIONES Y SON INMUTABLES
  - - - MODELOS DE CÓMPUTO
        
        CÁLCULO LAMBDA
        
        LÓGICA COMBINATORIA
      - DE PRIMER ORDEN
      - REDUCCIÓN FUNCIONAL
        
        TÉCNICAS DE RECURSIVIDAD
        
        PÁRAMETROS ACUMULADORES
        
        CPS
        
        MÓNADAS
    - - BASADA EN TEORÍA DE GRAFOS
      - VARIABLES LIGADAS QUE SE PROPAGA
      - HOJAS DE CÁLCULO SE BASAN EN ÉL
      - LENGUAJES
        
        SIMULINK
        
        OZ
        
        CLOJURE
    - - BASADA EN LÓGICA DE PREDICADOS
      - RESOLUCIÓN DE DECISIÓN
      - LENGUAJE: PROLOG
    - - DESCRIBE CÓMO REALIZAR EL CÁLCULO, NO EL PORQUÉ
      - EXPLÍCTO
      - MODIFICAN EL ESTADO
      - SENTENCIA PRINCIPAL: ASIGNACIÓN
- - - - LÓGICA BOOLEANA
    - - CINTA DE ENTRADA: 0 Y 1
      - CONTROLADOR: ESTADOS n
      - CODIFICACIÓN UNARIA
      - CODIFICACIÓN GENERAL
      - MÁQUINA DE TURING UNIVERSAL
        
        RECIBE DE OTRA MAQUINA
        
        SIMULA CUALQUIER MÁQUINA DE TURING
        
        COMPUTABILIDAD
        
        ALGORITMO
        
        FUNCIÓN COMPUTABLE
        
        ENTSCHEIDUNGSPROBLEM
        
        TESIS CHURCH-TURING
        
        SUPER-TURING
        
        EQUIVALENCIA
        
        EFICIENCIA
      - MÁQUINAS DE REGISTROS (RAM)
        
        EN VEZ DE CINTA SECUENCIAL USA MEMORIA DE ACCESO DIRECTO
        
        NÚMERO FINITO DE REGISTROS INTERNOS
        
        LA MAYORÍA DE COMPUTADORAS SE BASAN EN ÉL
  - - - BASADO EN LA REDUCCIÓN DE ELEMENTOS
      - SUMA, PREDECESO, RESTA, CONDICIONA, MÁXIMO COMÚN DIVISOR
      - SON FINITAS
      - EQUIVALENTE A BUCLES DE LENGUAJES DE PROGRAMACIÓN
  - - - PROGRAMA Y DATOS EN UN MISMO LUGAR
    - - CÓDIGO Y DATOS EN MEMORIAS SEPARADAS
- - - - C
    - - ADA
    - - ACMEScript
    - - TCL/TK
  - - - PROLOG
    - - ERLANG
      - OZ
    - - FORTH
      - APL
      - BRAINFUCK