Nucleo

COMPILADORES
Un compilador es un programa que permite traducir el código fuente de un programa en lenguaje de alto nivel, a otro lenguaje de nivel inferior (típicamente lenguaje de máquina). De estamanera un programador puede diseñar un programa en un lenguaje mucho más cercano a como piensa un ser humano, para luego compilarlo a un programa más manejable por una computadora.

EJECUTABLES
Eninformática, un ejecutable o archivo ejecutable, es un archivo binario cuyo contenido se interpreta por el ordenador como un programa. En la mayoría de los sistemas modernos, un archivo ejecutablecontiene mucha información que no es parte del programa en sí: recursos como textos e imágenes, requisitos del entorno de ejecución, información simbólica y de depuración, u otra información que ayudeal sistema operativo a ejecutar el programa.

PARADIGMAS DE PROGRAMACION
Un paradigma de programación es una propuesta tecnológica que es adoptada por una comunidad de programadores cuyo nucleocentral es incuestionable en cuanto a que unívocamente trata de resolver uno o varios problemas claramente delimitados. La resolución de estos problemas debe suponer consecuentemente un avancesignificativo en almenos un parámetro que afecte a la ingeniería de software. Tiene una estrecha relación con la formalización de determinados lenguajes en su momento de definición. Un paradigma de programaciónestá delimitado en el tiempo en cuanto a aceptación y uso ya que nuevos paradigmas aportan nuevas o mejores soluciones que la sustituyen parcial o totalmente.
Tipos de paradigmas de programación máscomunes
* Imperativo o por procedimientos: es considerado el más común y está representado, por ejemplo, por C o BASIC.
* Funcional: está representado por Scheme o Haskell. Este es un casodel paradigma declarativo.
* Lógico: está representado por Prolog. Este es otro caso del paradigma declarativo.
* Declarativo: por ejemplo la programación funcional, la programación lógica,...