¿Que es el software ?

 La interacción entre el software y el hardware hace operativo un ordenador (u otro dispositivo), es decir, el software envía instrucciones que el hardware ejecuta, haciendo posible su funcionamiento.

Los componentes lógicos incluyen, entre muchos otros, las aplicaciones informáticas 

, tales como el procesador de texto , que permite al usuario realizar todas las tareas concernientes a la edición de textos; el llamado software de sistema, tal como el sistema operativo, que básicamente permite al resto de los programas funcionar adecuadamente, facilitando también la interacción entre los componentes físicos y el resto de las aplicaciones, y proporcionando una interfaz  con el usuario.​

El software, en su gran mayoría, está escrito en lenguaje de programación  de alto nivel, ya que son más fáciles y eficientes para que los programadores  los usen, porque son más cercanos al lenguaje natural respecto del lenguaje de maquina .​ Los lenguajes de alto nivel se traducen a lenguaje de máquina utilizando un compilador  o un interprete, o bien una combinación de ambos. El software también puede estar escrito en lenguaje ensamblador , que es de bajo nivel y tiene una alta correspondencia con las instrucciones de lenguaje máquina; se traduce al lenguaje de la máquina utilizando un ensamblador .

El anglicismo  software es el más amplia mente difundido al referirse a este concepto, especialmente en la jerga técnica ; en tanto que el término sinónimo «logicial», derivado del término francés logiciel, es utilizado mayormente en países y zonas de influencia francesa.

Considerando esta definición, el concepto de software va más allá de los programas de computación en sus distintos estados: código fuente , binario o ejecutable ; también su documentación, los datos a procesar e incluso la información de usuario forman parte del software: es decir, abarca todo lo intangible, todo lo «no físico» relacionado.

El concepto de leer diferentes secuencias de instrucciones (programa) desde la memoria de un dispositivo para controlar los cálculos fue introducido por charles babbage  como parte de su maquina diferencial. La teoría que forma la base de la mayor parte del software moderno fue propuesta por Alan turing en su ensayo de 1936, «Los números computables», con una aplicación al problema de decisión.