Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Dana Scott

Índice Dana Scott

Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California.

44 relaciones: Alfred Tarski, Allen Newell, Alonzo Church, Association for Computing Machinery, Berkeley (California), Cambridge University Press, Christopher Strachey, Ciencias de la computación, Claremont (California), Doctorado, Filosofía, Herbert Alexander Simon, Hipótesis del continuo, Jack Copeland, Jefe de redacción, John Backus, Lógica matemática, Lógica modal, Lógica temporal, Licenciatura, Matemáticas, Michael Oser Rabin, Paul Cohen, Premio Leroy Steele, Premio Schock, Premio Turing, Real Academia de las Ciencias de Suecia, Richard Montague, Semántica de lenguajes de programación, Semántica formal, Stanford Encyclopedia of Philosophy, Teoría de autómatas, Teoría de categorías, Teoría de conjuntos, Teoría de la complejidad computacional, Teoría de la computación, Teoría de modelos, Tesis doctoral, Topología, Universidad Carnegie Mellon, Universidad de California en Berkeley, Universidad de Chicago, Universidad de Oxford, Universidad de Princeton.

Alfred Tarski

Alfred Tarski -originalmente Alfred Teitelbaum- (14 de enero de 1901—26 de octubre de 1983) fue un lógico, matemático y filósofo polaco.

¡Nuevo!!: Dana Scott y Alfred Tarski · Ver más »

Allen Newell

Allen Newell (19 de marzo de 1927 - 19 de julio de 1992) fue un investigador en informática y psicología cognitiva en la escuela de informática de Carnegie Mellon.

¡Nuevo!!: Dana Scott y Allen Newell · Ver más »

Alonzo Church

Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.

¡Nuevo!!: Dana Scott y Alonzo Church · Ver más »

Association for Computing Machinery

ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).

¡Nuevo!!: Dana Scott y Association for Computing Machinery · Ver más »

Berkeley (California)

Berkeley es una ciudad situada en el condado de Alameda, en el estado de California (Estados Unidos).

¡Nuevo!!: Dana Scott y Berkeley (California) · Ver más »

Cambridge University Press

Cambridge University Press (conocida en inglés coloquialmente como CUP) es una editorial que recibió su Royal Charter de la mano de Enrique VIII en 1534, y es considerada una de las dos editoriales privilegiadas de Inglaterra (la otra es la Oxford University Press).

¡Nuevo!!: Dana Scott y Cambridge University Press · Ver más »

Christopher Strachey

Christopher S. Strachey (16 de noviembre de 1916 - 18 de mayo de 1975) fue un informático teórico británico Fue uno de los fundadores de la semántica formal y un pionero en diseño de lenguajes de programación y computadoras de tiempo compartido Fue miembro de la familia Strachey, destacada en el gobierno, arte, administración y en la academia.

¡Nuevo!!: Dana Scott y Christopher Strachey · 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!!: Dana Scott y Ciencias de la computación · Ver más »

Claremont (California)

Claremont, fundada en 1907, es una ciudad ubicada en el condado de Los Ángeles en el estado estadounidense de California.

¡Nuevo!!: Dana Scott y Claremont (California) · Ver más »

Doctorado

El doctorado es el más alto grado académico que confieren las universidades u otras instituciones autorizadas.

¡Nuevo!!: Dana Scott y Doctorado · 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!!: Dana Scott y Filosofía · Ver más »

Herbert Alexander Simon

Herbert Alexander Simon (15 de junio de 1916-9 de febrero de 2001), fue un economista, politólogo y teórico de las ciencias sociales estadounidense.

¡Nuevo!!: Dana Scott y Herbert Alexander Simon · Ver más »

Hipótesis del continuo

En teoría de conjuntos, la hipótesis del continuo (también conocida como primer problema de Hilbert) es un enunciado relativo a la cardinalidad del conjunto de los números reales, formulado como una hipótesis por Georg Cantor en 1878.

¡Nuevo!!: Dana Scott e Hipótesis del continuo · Ver más »

Jack Copeland

Jack Copeland (nacido en 1950) es profesor de filosofía en la Universidad de Canterbury (Nueva Zelanda).

¡Nuevo!!: Dana Scott y Jack Copeland · Ver más »

Jefe de redacción

El jefe de redacción o redactor jefe (cuyas formas femeninas son jefa de redacción y redactora jefe o redactora jefa) es la principal persona responsable del equipo de redacción de una publicación (periódico, revista, programa informativo, etc.). Por influencia del inglés editor-in-chief, muchos hispanohablantes utilizan términos como «editor en jefe», «editor jefe», «redactor en jefe», etc.

¡Nuevo!!: Dana Scott y Jefe de redacción · Ver más »

John Backus

John Backus (Filadelfia, 3 de diciembre de 1924 - Oregón, 17 de marzo de 2007) fue un científico de la computación estadounidense.

¡Nuevo!!: Dana Scott y John Backus · 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!!: Dana Scott y Lógica matemática · Ver más »

Lógica modal

Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.

¡Nuevo!!: Dana Scott y Lógica modal · Ver más »

Lógica temporal

La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo.

¡Nuevo!!: Dana Scott y Lógica temporal · Ver más »

Licenciatura

La licenciatura es el título académico o grado académico que se obtiene tras realizar ciertos estudios de educación superior de entre tres y seis años de duración.

¡Nuevo!!: Dana Scott y Licenciatura · Ver más »

Matemáticas

Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.

¡Nuevo!!: Dana Scott y Matemáticas · Ver más »

Michael Oser Rabin

Michael Oser Rabin (nacido en 1931 en Breslavia, Alemania, hoy en día parte de Polonia) es un notable científico de la computación y ganador del Premio Turing, el galardón más prestigioso en el campo.

¡Nuevo!!: Dana Scott y Michael Oser Rabin · Ver más »

Paul Cohen

Paul Joseph Cohen (2 de abril de 1934 – 23 de marzo de 2007) fue un matemático estadounidense, que aportó un nuevo punto de vista sobre la hipótesis del continuo apoyándose en la teoría de conjuntos.

¡Nuevo!!: Dana Scott y Paul Cohen · Ver más »

Premio Leroy Steele

El Premio Leroy Steele es otorgado anualmente por la American Mathematical Society, para distinguir la labor de investigación y escritura en el campo de las matemáticas.

¡Nuevo!!: Dana Scott y Premio Leroy Steele · Ver más »

Premio Schock

El Premio Schock fue instituido en el testamento del filósofo y artista Rolf Schock (1933-1986).

¡Nuevo!!: Dana Scott y Premio Schock · 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!!: Dana Scott y Premio Turing · Ver más »

Real Academia de las Ciencias de Suecia

La Real Academia de las Ciencias de Suecia (Kungliga Vetenskapsakademien) fue fundada en 1739 por el rey Federico I a propuesta del taxónomo Carlos Linneo, el empresario Jonas Alströmer, el ingeniero mecánico Mårten Triewald, los funcionarios públicos Sten Carl Bielke y Carl Wilhelm Cederhielm y el político Anders Johan von Höpken.

¡Nuevo!!: Dana Scott y Real Academia de las Ciencias de Suecia · Ver más »

Richard Montague

Richard Merett Montague (Stockton, California, 20 de septiembre de 1930 - Los Ángeles, 7 de marzo de 1971) fue un matemático y filósofo estadounidense.

¡Nuevo!!: Dana Scott y Richard Montague · Ver más »

Semántica de lenguajes de programación

En la Teoría de lenguajes de programación, la semántica es el campo que tiene que ver con el estudio riguroso desde un punto de vista matemático del significado de los lenguajes de programación.

¡Nuevo!!: Dana Scott y Semántica de lenguajes de programación · Ver más »

Semántica formal

La semántica formal es el estudio de las interpretaciones de los lenguajes formales.

¡Nuevo!!: Dana Scott y Semántica formal · Ver más »

Stanford Encyclopedia of Philosophy

La Enciclopedia de filosofía de Stanford (SEP) es una enciclopedia de libre acceso en línea mantenida por la Universidad de Stanford.

¡Nuevo!!: Dana Scott y Stanford Encyclopedia of Philosophy · Ver más »

Teoría de autómatas

La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver.

¡Nuevo!!: Dana Scott y Teoría de autómatas · Ver más »

Teoría de categorías

La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos.

¡Nuevo!!: Dana Scott y Teoría de categorías · Ver más »

Teoría de conjuntos

La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.

¡Nuevo!!: Dana Scott y Teoría de conjuntos · Ver más »

Teoría de la complejidad computacional

La teoría de la complejidad computacional o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con su dificultad inherente, y en la relación entre dichas clases de complejidad.

¡Nuevo!!: Dana Scott y Teoría de la complejidad computacional · Ver más »

Teoría de la computación

La teoría de la computación o teoría de la informática es un conjunto de conocimientos racionales y sistematizados que se centran en el estudio de la abstracción de los procesos, con el fin de reproducirlos con ayuda de sistemas formales; es decir, a través de símbolos y reglas lógicas.

¡Nuevo!!: Dana Scott y Teoría de la computación · Ver más »

Teoría de modelos

En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.

¡Nuevo!!: Dana Scott y Teoría de modelos · Ver más »

Tesis doctoral

Una tesis doctoral es un trabajo de investigación original realizado y presentado por un estudiante, el doctorando, para obtener el grado de doctor por una institución académica.

¡Nuevo!!: Dana Scott y Tesis doctoral · Ver más »

Topología

La topología (del griego τόπος, 'lugar', y λόγος, 'estudio') es la rama de la matemática dedicada al estudio de aquellas propiedades de los cuerpos geométricos que permanecen inalteradas por transformaciones continuas.

¡Nuevo!!: Dana Scott y Topología · Ver más »

Universidad Carnegie Mellon

La Universidad Carnegie Mellon (en inglés: Carnegie Mellon University, CMU) se ubica en Pittsburgh, Pensilvania, y es uno de los más destacados centros de investigación superior de los Estados Unidos en el área de ciencias de la computación y robótica.

¡Nuevo!!: Dana Scott y Universidad Carnegie Mellon · Ver más »

Universidad de California en Berkeley

La Universidad de California en Berkeley (en idioma inglés University of California, Berkeley), también conocida como Berkeley o Cal, es una universidad pública estadounidense con sede en Berkeley, California (Estados Unidos).

¡Nuevo!!: Dana Scott y Universidad de California en Berkeley · Ver más »

Universidad de Chicago

La Universidad de Chicago (en inglés: The University of Chicago) es una universidad privada ubicada en Chicago, Illinois (Estados Unidos).

¡Nuevo!!: Dana Scott y Universidad de Chicago · 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!!: Dana Scott y Universidad de Oxford · Ver más »

Universidad de Princeton

La Universidad de Princeton (en inglés: Princeton University) es una de las ocho universidades privadas de investigación de la Ivy League situada en Princeton (Nueva Jersey).

¡Nuevo!!: Dana Scott y Universidad de Princeton · Ver más »

Redirecciona aquí:

Dana S Scott, Dana S. Scott.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »