Preguntas etiquetadas con history

Hay muchos intentos de probar o , y, naturalmente, muchas personas piensan en la pregunta y tienen ideas para probar cualquier dirección.P ≠ N PP = N PPAGS=nortePAGS\mathsf{P} = \mathsf{NP} P ≠ N PPAGS≠nortePAGS\mathsf{P} \neq \mathsf{NP} Sé que hay enfoques que han demostrado que no funcionan, y probablemente hay más …

97 complexity-theory  reference-request  history  p-vs-np  reference-question 

He estado leyendo sobre el cálculo Lambda recientemente, pero extrañamente no puedo encontrar una explicación de por qué se llama "Lambda" o de dónde proviene la expresión. ¿Alguien puede explicar los orígenes del término?

75 terminology  computation-models  lambda-calculus  history 

Mientras se discuten algunos temas de nivel de introducción hoy, incluido el uso de algoritmos genéticos; Me dijeron que la investigación realmente se ha ralentizado en este campo. La razón dada fue que la mayoría de las personas se están centrando en el aprendizaje automático y la minería de datos. …

45 machine-learning  data-mining  evolutionary-computing  history 

Estoy cursando una licenciatura en Ciencias de la Computación, pero estoy en un punto temprano de la misma, y ​​estoy bastante seguro de que estaré contento con mi elección dado que parece una educación flexible académica y profesional. Dicho esto, parece haber una variedad de definiciones sobre lo que realmente …

39 terminology  history 

Acabo de completar el primer capítulo de Introducción a la teoría de la computación de Michael Sipser que explica los conceptos básicos de los autómatas finitos. Él define un lenguaje regular como cualquier cosa que pueda ser descrita por un autómata finito. Pero no pude encontrar dónde explica por qué …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Básicamente conozco tres fundamentos para las matemáticas. Teoría de conjuntos Teoría de tipo Teoría de la categoría Entonces, ¿de qué manera están relacionados los lenguajes de programación y los fundamentos de las matemáticas? EDITAR La pregunta original era "Lenguajes de programación basados ​​en fundamentos matemáticos" con el paragarph agregado de …

30 programming-languages  history  type-theory  category-theory 

Principalmente escribimos programas en lenguaje de alto nivel. Así que mientras estudiaba me encontré con el lenguaje ensamblador. Entonces, un ensamblador convierte el lenguaje ensamblador a lenguaje máquina y un compilador hace lo mismo con lenguaje de alto nivel. Encontré que el lenguaje ensamblador tiene instrucciones como mover r1 r3, …

27 programming-languages  education  history 

En la teoría de la computabilidad, las funciones computables también se denominan funciones recursivas. Al menos a primera vista, no tienen nada en común con lo que ustedes llaman "recursivo" en la programación diaria (es decir, funciones que se llaman a sí mismos). ¿Cuál es el significado real de recursivo …

23 computability  terminology  history 

¿Cuándo se usó Big O por primera vez en informática y cuándo se convirtió en estándar? La página de Wikipedia sobre esto cita a Knuth, Big Omicron y Big Omega y Big Theta , SIGACT de abril a junio de 1976, pero el comienzo de ese artículo dice La mayoría …

22 asymptotics  history 

Estoy tratando de descubrir quién acuñó el término "aprendizaje automático". Una pregunta complementaria es de dónde se cita a Arthur Samuel como definidor del campo del "aprendizaje automático" en 1959 como: El campo de estudio que brinda a las computadoras la capacidad de aprender sin ser programado explícitamente ? Puede …

19 terminology  reference-request  machine-learning  history 

Tengo una pequeña pregunta de historia, a saber, como dice el título, estoy buscando los primeros usos de los árboles (como estructura de datos, árbol de búsqueda, lo que sea) en informática.

18 data-structures  reference-request  trees  history 

Se dice que 'Eugene Goostman', un programa de computadora desarrollado para simular a un niño de 13 años, logró convencer al 33 por ciento de los jueces de que era humano, y así pasó la prueba de Turing. El programa de computadora, también conocido como chatbot, pretendía ser un niño …

18 reference-request  artificial-intelligence  history  turing-test 

Esta es una pregunta suave. No sé mucho acerca de la criptografía o su historia, pero parece que un uso común para RSA es hacer un intercambio de claves encriptando una clave simétrica para enviar un mensaje más largo (por ejemplo, la descripción de iMessage aquí ). ¿No es esto …

16 cryptography  history 

En el documento seminal de sistemas distribuidos The Part Time Parliament (el protocolo de Paxos), Leslie Lamport nombra legisladores ficticios que participan en el protocolo del parlamento de Paxon. Según este escrito , señala que: Les di a los legisladores griegos los nombres de los informáticos que trabajan en el …

15 distributed-systems  history 

Estoy usando una computadora digital para escribir este mensaje. Tal máquina tiene una propiedad que, si lo piensa, es realmente notable: es una máquina que, si se programa adecuadamente, puede realizar cualquier cálculo posible . Por supuesto, las máquinas de calcular de un tipo u otro vuelven a la antigüedad. …

15 computability  turing-machines  history