¡Más rápido que el navegador!
51 relaciones: ACL2, Agencia de Proyectos de Investigación Avanzados de Defensa, American Airlines, ASCII, Árbol de sintaxis abstracta, Binding, Bit, C (lenguaje de programación), C++, CAR y CDR, Carácter (tipo de dato), CLISP, Coma flotante, Common Lisp Object System, Compilador, Continental Airlines, Demostración automática de teoremas, Espacio de nombres, Estructura de datos, Expansión (videojuegos), Expresión S, Herencia múltiple, Jak and Daxter, Java (lenguaje de programación), Lisp, Maxima, Número complejo, Número entero, Paradigma de programación, Pascal (lenguaje de programación), Paul Graham, Perl, Precisión arbitraria, Programación dinámica, Programación funcional, Programación imperativa, Programación orientada a objetos, Programación por procedimientos, Python, Razón (matemática), Scheme, Sistema algebraico computacional, Sistema de ventanas X, Smalltalk, Software libre y de código abierto, Tabla hash, Tiempo de ejecución, Tipo de dato lógico, Unicode, US Airways, ..., Yahoo!. Expandir índice (1 más) »
ACL2
ACL2 es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea.
¡Nuevo!!: Common Lisp y ACL2 · Ver más »
Agencia de Proyectos de Investigación Avanzados de Defensa
La Agencia de Proyectos de Investigación Avanzados de Defensa, más conocida por su acrónimo DARPA, proveniente de su nombre original en inglés Defense Advanced Research Projects Agency, es una agencia del Departamento de Defensa de Estados Unidos responsable del desarrollo de nuevas tecnologías para uso militar.
¡Nuevo!!: Common Lisp y Agencia de Proyectos de Investigación Avanzados de Defensa · Ver más »
American Airlines
American Airlines, Inc. conocida simplemente como American, es una aerolínea estadounidense con sede en Fort Worth, Texas. Opera vuelos programados en una extensa red de rutas nacionales e internacionales en América del Norte, el Caribe, América Central, América del Sur, Europa, Asia y Oceanía. Su red de rutas gira en torno a sus nueve centros de operaciones en Dallas-Fort Worth, Nueva York, Charlotte, Los Ángeles, Filadelfia, Washington D. C., Phoenix, Miami y Chicago. Su base principal de mantenimiento se encuentra en Tulsa. American Airlines fue fundadora de la alianza global Oneworld en 1999, y coordina tarifas, servicios y programación con British Airways, Finnair e Iberia en el mercado transatlántico y con Japan Airlines y Qantas en el mercado transpacífico. Envoy Air, SkyWest, Inc., SkyWest Airlines y ExpressJet Airlines operan los vuelos regionales para la aerolínea bajo la marca American Eagle. La antigua compañía matriz de American Airlines, AMR Corporation, se acogió al capítulo 11 de la Ley de Quiebras en noviembre de 2011, y en febrero de 2013 anunció planes de fusión con US Airways Group, para crear la mayor aerolínea del mundo. AMR y US Airways Group completaron la fusión el 9 de diciembre de 2013, creando una nueva compañía, American Airlines Group, Inc., que cotizó en NASDAQ ese mismo día, aunque la integración efectiva de las aerolíneas bajo un único certificado de operador aéreo no se completará hasta una fecha posterior. La aerolínea combinada llevará el nombre y marca de American Airlines y mantendrá los hubs de US Airways en Charlotte, Filadelfia, Phoenix y Washington D. C. por un período de al menos cinco años bajo los términos de un acuerdo con el Departamento de Justicia de Estados Unidos y varios fiscales generales estatales.
¡Nuevo!!: Common Lisp y American Airlines · Ver más »
ASCII
ASCII (acrónimo inglés de American Standard Code for Information Interchange —Código Estándar estadounidense para el Intercambio de Información—), pronunciado generalmente o (rara vez) o, es un código de caracteres basado en el alfabeto latino, tal como se usa en inglés moderno.
¡Nuevo!!: Common Lisp y ASCII · Ver más »
Árbol de sintaxis abstracta
En lenguajes formales y lingüística computacional, un árbol de sintaxis abstracta (AST), o simplemente un árbol de sintaxis, es una representación de árbol de la estructura sintáctica simplificada del código fuente escrito en cierto lenguaje de programación.
¡Nuevo!!: Common Lisp y Árbol de sintaxis abstracta · Ver más »
Binding
Binding es una palabra inglesa que significa «ligadura».
¡Nuevo!!: Common Lisp y Binding · Ver más »
Bit
En informática o teoría de la información, el bit corresponde a un dígito del sistema de numeración binario y representa la unidad mínima de información.
¡Nuevo!!: Common Lisp y Bit · Ver más »
C (lenguaje de programación)
C es un lenguaje de programación de propósito general originalmente desarrollado por Dennis Ritchie entre 1969 y 1972 en los Laboratorios Bell, como evolución del anterior lenguaje B, a su vez basado en BCPL.
¡Nuevo!!: Common Lisp y C (lenguaje de programación) · Ver más »
C++
C++ es un lenguaje de programación diseñado en 1979 por Bjarne Stroustrup.
¡Nuevo!!: Common Lisp y C++ · Ver más »
CAR y CDR
car y cdr son operaciones primitivas sobre las celdas cons (o "expresiones S no atómicas") introducidas en el lenguaje de programación Lisp.
¡Nuevo!!: Common Lisp y CAR y CDR · Ver más »
Carácter (tipo de dato)
En terminología informática y de telecomunicaciones, un carácter es una unidad de información que corresponde aproximadamente con un grafema o con una unidad o símbolo parecido, como los de un alfabeto o silabario de la forma escrita de un lenguaje natural.
¡Nuevo!!: Common Lisp y Carácter (tipo de dato) · Ver más »
CLISP
CLISP es una completa implementación libre de Common Lisp realizada por Bruno Haible, de la Universidad de Karlsruhe, y Michael Stoll, de la Universidad de Múnich, que cumple con casi la totalidad del estándar ANSI Common Lisp, además de muchas otras extensiones.
¡Nuevo!!: Common Lisp y CLISP · Ver más »
Coma flotante
La representación de coma flotante (en inglés, floating point) es una forma de notación científica usada en las computadoras con la cual se pueden representar números reales extremadamente grandes y pequeños de una manera muy eficiente y compacta y con la que se pueden realizar operaciones aritméticas.
¡Nuevo!!: Common Lisp y Coma flotante · Ver más »
Common Lisp Object System
Common Lisp Object System (CLOS por sus siglas en inglés) es un sistema de objetos.
¡Nuevo!!: Common Lisp y Common Lisp Object System · Ver más »
Compilador
En informática, un compilador es un programa que traduce código escrito en un lenguaje de programación (llamado fuente) a otro lenguaje (conocido como objeto).
¡Nuevo!!: Common Lisp y Compilador · Ver más »
Continental Airlines
Continental Airlines, Inc. (IATA: CO, ICAO: COA, indicativo: CONTINENTAL) fue una compañía aérea certificada de Estados Unidos.
¡Nuevo!!: Common Lisp y Continental Airlines · Ver más »
Demostración automática de teoremas
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
¡Nuevo!!: Common Lisp y Demostración automática de teoremas · Ver más »
Espacio de nombres
En informática, un espacio de nombres (namespace) es un contenedor abstracto en el que un grupo de uno o más identificadores únicos pueden existir.
¡Nuevo!!: Common Lisp y Espacio de nombres · Ver más »
Estructura de datos
En ciencias de la computación, una estructura de datos es una forma particular de organizar información en un computador para que pueda ser utilizada de manera eficiente.
¡Nuevo!!: Common Lisp y Estructura de datos · Ver más »
Expansión (videojuegos)
Una expansión o extensión es una adición a un videojuego existente.
¡Nuevo!!: Common Lisp y Expansión (videojuegos) · Ver más »
Expresión S
Una expresión-S, S-expresión o sexp (de Expresión Simbólica) es una notación en forma de texto, para representar una estructura de datos de árbol, basada en listas anidadas, en donde cada sublista es un subárbol.
¡Nuevo!!: Common Lisp y Expresión S · Ver más »
Herencia múltiple
Herencia múltiple hace referencia a la característica de los lenguajes de programación orientada a objetos en la que una clase puede heredar comportamientos y características de más de una superclase.
¡Nuevo!!: Common Lisp y Herencia múltiple · Ver más »
Jak and Daxter
Jak and Daxter es una serie de videojuegos creada por Naughty Dog.
¡Nuevo!!: Common Lisp y Jak and Daxter · Ver más »
Java (lenguaje de programación)
Java es un lenguaje de programación y una plataforma informática que fue comercializada por primera vez en 1995 por Sun Microsystems.
¡Nuevo!!: Common Lisp y Java (lenguaje de programación) · Ver más »
Lisp
Lisp (históricamente LISP) es una familia de lenguajes de programación de computadora de tipo multiparadigma con larga historia y una inconfundible y útil sintaxis homoicónica basada en la notación polaca.
¡Nuevo!!: Common Lisp y Lisp · Ver más »
Maxima
El sistema de álgebra computacional Maxima es un motor de cálculo simbólico escrito en lenguaje Lisp publicado bajo licencia GNU GPL.
¡Nuevo!!: Common Lisp y Maxima · Ver más »
Número complejo
Los números complejos, designados con la notación \scriptstyle\mathbb, son una extensión de los números reales \scriptstyle \mathbb y forman un cuerpo algebraicamente cerrado.
¡Nuevo!!: Common Lisp y Número complejo · Ver más »
Número entero
Un número entero es un elemento del conjunto numérico que contiene los números naturales; que son \mathbb.
¡Nuevo!!: Common Lisp y Número entero · Ver más »
Paradigma de programación
Se denominan paradigmas de programación a las formas de clasificar los lenguajes de programación en función de sus características.
¡Nuevo!!: Common Lisp y Paradigma de programación · Ver más »
Pascal (lenguaje de programación)
Pascal es un lenguaje de programación creado por el profesor suizo Niklaus Wirth entre los años 1968 y 1969, y publicado en 1970.
¡Nuevo!!: Common Lisp y Pascal (lenguaje de programación) · Ver más »
Paul Graham
Paul Graham (1964) es un programador inglés de Lisp, inversor de capital riesgo y ensayista.
¡Nuevo!!: Common Lisp y Paul Graham · Ver más »
Perl
Perl es un lenguaje de programación diseñado por Larry Wall en 1987.
¡Nuevo!!: Common Lisp y Perl · Ver más »
Precisión arbitraria
En computación, precisión arbitraria o bignum (por big number, "número grande" en inglés) es un método que permite la representación, en un programa informático, de números ya sean enteros o racionales con tantos dígitos de precisión como sean deseados y además posibilita la realización de operaciones aritméticas sobre dichos números.
¡Nuevo!!: Common Lisp y Precisión arbitraria · Ver más »
Programación dinámica
En informática, la programación dinámica es un método para reducir el tiempo de ejecución de un algoritmo mediante la utilización de subproblemas superpuestos y subestructuras óptimas.
¡Nuevo!!: Common Lisp y Programación dinámica · Ver más »
Programación funcional
En informática, la programación funcional es un paradigma de programación declarativa basado en el uso de verdaderas funciones matemáticas.
¡Nuevo!!: Common Lisp y Programación funcional · Ver más »
Programación imperativa
En ciencias de la computación se denomina programación imperativa a un paradigma de programación de software que utiliza fórmulas que alteran el estado de un programa.
¡Nuevo!!: Common Lisp y Programación imperativa · Ver más »
Programación orientada a objetos
La programación orientada a objetos (POO, en español); es un paradigma de programación que parte del concepto de "objetos" como base, los cuales contienen información en forma de campos (a veces también referidos como atributos o propiedades) y código en forma de métodos.
¡Nuevo!!: Common Lisp y Programación orientada a objetos · Ver más »
Programación por procedimientos
La programación procedimental o programación por procedimientos es un paradigma de la programación.
¡Nuevo!!: Common Lisp y Programación por procedimientos · Ver más »
Python
Python es un lenguaje de alto nivel de programación interpretado cuya filosofía hace hincapié en la legibilidad de su código, se utiliza para desarrollar aplicaciones de todo tipo, por ejemplo: Instagram, Netflix, Spotify, Panda3D, entre otros.
¡Nuevo!!: Common Lisp y Python · Ver más »
Razón (matemática)
En las matemáticas, la razón es una relación binaria entre magnitudes (es decir, objetos, personas, estudiantes, unidades del SI, etc.), generalmente se expresa como "a es a b" o a:b.
¡Nuevo!!: Common Lisp y Razón (matemática) · Ver más »
Scheme
Scheme es un lenguaje de programación funcional (si bien impuro pues sus estructuras de datos no son inmutables) y un dialecto de Lisp.
¡Nuevo!!: Common Lisp y Scheme · Ver más »
Sistema algebraico computacional
Un sistema algebraico computacional o sistema de álgebra computacional (CAS, del inglés computer algebra system) es un programa de ordenador o calculadora avanzada que facilita el cálculo simbólico.
¡Nuevo!!: Common Lisp y Sistema algebraico computacional · Ver más »
Sistema de ventanas X
El Sistema de Ventanas X (en inglés, X Window System) es un sistema de ventanas, común en sistemas operativos del tipo UNIX, que fue desarrollado a mediados de los años 1980 en el MIT para dotar de una interfaz gráfica a los sistemas Unix.
¡Nuevo!!: Common Lisp y Sistema de ventanas X · Ver más »
Smalltalk
Smalltalk es un lenguaje reflexivo de programación, orientado a objetos y con tipado dinámico.
¡Nuevo!!: Common Lisp y Smalltalk · Ver más »
Software libre y de código abierto
El software libre y de código abierto (también conocido como FOSS (Free and Open Source Software) o FLOSS (Free/Libre Open Source Software), mostrando claramente que es libre (free) y no gratis (que también es free en inglés), siglas de Software Libre y de Código Abierto, es el software que está licenciado de tal manera que los usuarios pueden estudiar, modificar y mejorar su diseño mediante la disponibilidad de su código fuente. El término: "software libre y de código abierto" abarca los conceptos de programas libres y programas de código abierto, que, si bien comparten modelos de desarrollo similares, tienen diferencias en sus aspectos filosóficos que destaca la Free Software Foundation en el libro Software libre para una sociedad libre de Stallman (Free Software Foundation). El software libre se enfoca en las libertades filosóficas que se les otorga a los usuarios, mientras que el software de código abierto se enfoca en las ventajas de su modelo de desarrollo. "FOSS" es un término imparcial respecto a ambas filosofías. Los programas gratis no necesariamente son libres o de código abierto, ni viceversa.
¡Nuevo!!: Common Lisp y Software libre y de código abierto · Ver más »
Tabla hash
Una tabla hash, matriz asociativa, hashing, mapa hash, tabla de dispersión o tabla fragmentada es una estructura de datos que implementa el tipo de dato abstracto llamado diccionario (tipo de dato abstracto).
¡Nuevo!!: Common Lisp y Tabla hash · Ver más »
Tiempo de ejecución
Se denomina tiempo de ejecución (runtime en inglés) al intervalo de tiempo en el que un programa de computadora se ejecuta en un sistema operativo.
¡Nuevo!!: Common Lisp y Tiempo de ejecución · Ver más »
Tipo de dato lógico
El tipo de dato lógico, también conocido como «booleano» en honor a George Boole, es en computación aquel que puede representar valores de lógica binaria, esto es 2 valores, que normalmente representan falso o verdadero.
¡Nuevo!!: Common Lisp y Tipo de dato lógico · Ver más »
Unicode
Unicode es un estándar de codificación de caracteres diseñado para facilitar el tratamiento informático, transmisión, y visualización de textos de numerosos idiomas y disciplinas técnicas, además de textos clásicos de lenguas muertas.
¡Nuevo!!: Common Lisp y Unicode · Ver más »
US Airways
US Airways fue una aerolínea con base en la ciudad estadounidense de Tempe, Arizona y controlada por American Airlines Group.
¡Nuevo!!: Common Lisp y US Airways · Ver más »
Yahoo!
Yahoo! es una empresa de tecnología con sede en Estados Unidos que posee un portal de Internet, un directorio web y una serie de servicios tales como el popular correo electrónico Yahoo! Su propósito es "ser el servicio global de Internet más esencial para consumidores y negocios".
¡Nuevo!!: Common Lisp y Yahoo! · Ver más »
