¡Más rápido que el navegador!
45 relaciones: ALGOL, Algoritmo, Arquitectura de software, Belfast, Cambridge, Ciencias de la computación, Colombo, Compilador, Computación paralela, Comunicación de procesos secuenciales, Doctorado honoris causa, Edgar Frank Codd, Filosofía, Hardware, Informática, Inglaterra, Kenneth Iverson, Lógica de Hoare, Lógica matemática, Lenguaje de máquina, Lenguaje de programación, Lenguaje Z, Marina Real británica, Microsoft, Occam (lenguaje de programación), Premio Turing, Quicksort, Reino Unido, Retractación de artículos científicos, Sistema operativo, Sri Lanka, Teoría de la probabilidad, Teorema, Universidad Complutense de Madrid, Universidad de Bath, Universidad de Oxford, Universidad de Varsovia, Universidad Estatal de Moscú, 11 de enero, 1934, 1956, 1960, 1968, 1977, 1980.
ALGOL
Se denomina ALGOL (o Algol) a un lenguaje de programación.
¡Nuevo!!: C. A. R. Hoare y ALGOL · Ver más »
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: C. A. R. Hoare y Algoritmo · Ver más »
Arquitectura de software
En los inicios de la Ingeniería de Software, el desarrollo de software se realizaba libremente, pero con el tiempo se han ido descubriendo y desarrollando nuevos modelos y estándares, con base a las cuales se puedan resolver las problemáticas modernas.
¡Nuevo!!: C. A. R. Hoare y Arquitectura de software · Ver más »
Belfast
Belfast (del irlandés Béal Feirste, que significa «el vado arenoso en la desembocadura del río») es la capital y ciudad más grande de Irlanda del Norte en el Reino Unido y la segunda de toda la isla de Irlanda, después de Dublín.
¡Nuevo!!: C. A. R. Hoare y Belfast · Ver más »
Cambridge
Cambridge, históricamente conocida en español como Cambrigia, es un distrito no metropolitano del Reino Unido, una ciudad universitaria inglesa muy antigua y la capital del condado de Cambridgeshire, a orillas del río Cam.
¡Nuevo!!: C. A. R. Hoare y Cambridge · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: C. A. R. Hoare y Ciencias de la computación · Ver más »
Colombo
Colombo (කොළඹ Koḷam̆ba, கொழும்பு Koḻumpu) es la ciudad más poblada de Sri Lanka, capital comercial y sede del Gobierno.
¡Nuevo!!: C. A. R. Hoare y Colombo · 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!!: C. A. R. Hoare y Compilador · Ver más »
Computación paralela
La computación paralela es una forma de cómputo en la que muchas instrucciones se ejecutan simultáneamente, operando sobre el principio de que problemas grandes, a menudo se pueden dividir en unos más pequeños, que luego son resueltos simultáneamente (en paralelo).
¡Nuevo!!: C. A. R. Hoare y Computación paralela · Ver más »
Comunicación de procesos secuenciales
CSP (Comunicación de Procesos Secuenciales) es un modelo de programación de sistemas concurrentes basado en la comunicación entre procesos.
¡Nuevo!!: C. A. R. Hoare y Comunicación de procesos secuenciales · Ver más »
Doctorado honoris causa
El doctorado honoris causa es un título honorífico que da una universidad, asociación profesional, academia o colegio a personas eminentes.
¡Nuevo!!: C. A. R. Hoare y Doctorado honoris causa · Ver más »
Edgar Frank Codd
Edgar Frank "Ted" Codd fue un científico informático inglés (19 de agosto de 1923 - 18 de abril de 2003), conocido por crear el modelo relacional de bases de datos.
¡Nuevo!!: C. A. R. Hoare y Edgar Frank Codd · Ver más »
Filosofía
La filosofía (del griego ‘amor a la sabiduría’, derivado de, fileîn, ‘amar’, y, sofía, ‘sabiduría’; trans. en latín como philosophĭa) es una disciplina académica y «conjunto de reflexiones sobre la esencia, las propiedades, las causas y los efectos de las cosas naturales, especialmente sobre el hombre y el universo».
¡Nuevo!!: C. A. R. Hoare y Filosofía · Ver más »
Hardware
El hardware, equipo o soporte físico en informática se refiere a las partes físicas, tangibles, de un sistema informático, sus componentes eléctricos, electrónicos y electromecánicos.
¡Nuevo!!: C. A. R. Hoare y Hardware · Ver más »
Informática
La informática, también llamada computación, es el área de la ciencia que se encarga de estudiar la administración de métodos, técnicas y procesos con el fin de almacenar, procesar y transmitir información y datos en formato digital.
¡Nuevo!!: C. A. R. Hoare e Informática · Ver más »
Inglaterra
Inglaterra (en inglés, England; en córnico, Pow Sows) es una de las cuatro naciones constituyentes del Reino Unido.
¡Nuevo!!: C. A. R. Hoare e Inglaterra · Ver más »
Kenneth Iverson
Kenneth Iverson, (Alberta, 17 de diciembre de 1920-Toronto, 19 de octubre de 2004) fue un informático teórico y matemático canadiense.
¡Nuevo!!: C. A. R. Hoare y Kenneth Iverson · Ver más »
Lógica de Hoare
La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie de reglas de inferencia para razonar sobre la corrección de programas imperativos con el rigor de la lógica matemática.
¡Nuevo!!: C. A. R. Hoare y Lógica de Hoare · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: C. A. R. Hoare y Lógica matemática · Ver más »
Lenguaje de máquina
El lenguaje de máquina o código máquina es el sistema de códigos directamente interpretable por un circuito microprogramable, como el microprocesador de una computadora o el microcontrolador de un autómata.
¡Nuevo!!: C. A. R. Hoare y Lenguaje de máquina · Ver más »
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: C. A. R. Hoare y Lenguaje de programación · Ver más »
Lenguaje Z
El Lenguaje Z es un lenguaje de especificación formal utilizado en ingeniería del software para la especificación formal de sistemas de información, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación.
¡Nuevo!!: C. A. R. Hoare y Lenguaje Z · Ver más »
Marina Real británica
La Marina Real (en inglés, Royal Navy) es la rama de guerra naval de las Fuerzas Armadas británicas.
¡Nuevo!!: C. A. R. Hoare y Marina Real británica · Ver más »
Microsoft
Microsoft Corporation (SEHK) es una corporación tecnológica multinacional estadounidense con sede en Redmond, Washington.
¡Nuevo!!: C. A. R. Hoare y Microsoft · Ver más »
Occam (lenguaje de programación)
Occam es un lenguaje de programación imperativo y estructurado (al igual que Pascal).
¡Nuevo!!: C. A. R. Hoare y Occam (lenguaje de programación) · Ver más »
Premio Turing
El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.
¡Nuevo!!: C. A. R. Hoare y Premio Turing · Ver más »
Quicksort
El ordenamiento rápido (quicksort en inglés) es un algoritmo de ordenacion creado por el científico británico en computación C. A. R. Hoare.
¡Nuevo!!: C. A. R. Hoare y Quicksort · Ver más »
Reino Unido
El Reino Unido,Britain en inglés es la forma abreviada del nombre oficial, utilizada comúnmente.
¡Nuevo!!: C. A. R. Hoare y Reino Unido · Ver más »
Retractación de artículos científicos
Ocurre una retractación de artículos científicos cuando lo expresado por los autores de un estudio o artículo no cumple con los estándares requeridos para ser aceptados por los miembros de la comunidad científica, sean estos parte o no del área estudiada.
¡Nuevo!!: C. A. R. Hoare y Retractación de artículos científicos · Ver más »
Sistema operativo
Un sistema operativo (SO) es el conjunto de programas de un sistema informático que gestiona los recursos del hardware y provee servicios a los programas de aplicación de software.
¡Nuevo!!: C. A. R. Hoare y Sistema operativo · Ver más »
Sri Lanka
Sri Lanka,El país era conocido hasta 1972 como Ceilán y originalmente como Heladiva.
¡Nuevo!!: C. A. R. Hoare y Sri Lanka · Ver más »
Teoría de la probabilidad
La teoría de la probabilidad es una rama de las matemáticas que estudia los fenómenos aleatorios y estocásticos.
¡Nuevo!!: C. A. R. Hoare y Teoría de la probabilidad · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: C. A. R. Hoare y Teorema · Ver más »
Universidad Complutense de Madrid
La Universidad Complutense de Madrid (UCM), anteriormente denominada Universidad Central y Universidad de Madrid, y conocida de forma oficiosa como «la Docta» es la universidad pública más antigua de Madrid, considerada una de las universidades más importantes y prestigiosas de España y del mundo hispanohablante.
¡Nuevo!!: C. A. R. Hoare y Universidad Complutense de Madrid · Ver más »
Universidad de Bath
La Universidad de Bath es una universidad pública de investigación ubicada en Bath, Inglaterra, Reino Unido.
¡Nuevo!!: C. A. R. Hoare y Universidad de Bath · Ver más »
Universidad de Oxford
La Universidad de Oxford es una universidad pública de investigación ubicada en Oxford, Inglaterra, Reino Unido.
¡Nuevo!!: C. A. R. Hoare y Universidad de Oxford · Ver más »
Universidad de Varsovia
La Universidad de Varsovia (en polaco: Uniwersytet Warszawski) es la mayor universidad de Polonia y una de las más prestigiosas.
¡Nuevo!!: C. A. R. Hoare y Universidad de Varsovia · Ver más »
Universidad Estatal de Moscú
La Universidad Estatal de Moscú, cuyo nombre completo es Universidad Estatal M. V. Lomonósov de Moscú (en ruso: Московский государственный университет имени М. В. Ломоносова - МГУ; transliterado: Moskóvskiy gosudárstvenniy universitét ímeni M. V. Lomonósova - MGU), es la mayor y más antigua universidad de la actual Federación de Rusia, fundada en 1755.
¡Nuevo!!: C. A. R. Hoare y Universidad Estatal de Moscú · Ver más »
11 de enero
El 11 de enero es el 11.º (undécimo) o 11.ᵉʳ (decimoprimer) día del año en el calendario gregoriano.
¡Nuevo!!: C. A. R. Hoare y 11 de enero · Ver más »
1934
1934 fue un año común comenzado en lunes según el calendario gregoriano.
¡Nuevo!!: C. A. R. Hoare y 1934 · Ver más »
1956
1956 fue un año bisiesto comenzado en domingo según el calendario gregoriano.
¡Nuevo!!: C. A. R. Hoare y 1956 · Ver más »
1960
1960 fue un año bisiesto comenzado en viernes según el calendario gregoriano.
¡Nuevo!!: C. A. R. Hoare y 1960 · Ver más »
1968
1968 fue un año bisiesto comenzado en lunes según el calendario gregoriano.
¡Nuevo!!: C. A. R. Hoare y 1968 · Ver más »
1977
1977 fue un año común comenzado en sábado según el calendario gregoriano.
¡Nuevo!!: C. A. R. Hoare y 1977 · Ver más »
1980
1980 fue un año bisiesto comenzado en martes según el calendario gregoriano.
¡Nuevo!!: C. A. R. Hoare y 1980 · Ver más »
Redirecciona aquí:
Anthony richard hoare, C A R Hoare, C.A.R. Hoare, Charles Antony Richard Hoare, Tony Hoare.
