Preguntas etiquetadas con terminology

Estoy en un curso sobre computación y complejidad , y no puedo entender lo que significan estos términos. Todo lo que sé es que NP es un subconjunto de NP-completo, que es un subconjunto de NP-hard, pero no tengo idea de lo que realmente significan. Wikipedia tampoco es de gran …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

En la mayoría de las clases de algoritmos introductorios, se introducen anotaciones como (Big O) y , y un estudiante generalmente aprendería a usar una de estas para encontrar la complejidad del tiempo.OOOΘΘ\Theta Sin embargo, hay otras notaciones, como , y . ¿Hay escenarios específicos donde una notación sería preferible …

91 algorithms  terminology  asymptotics  landau-notation  reference-question 

Si calcula el área de un rectángulo, simplemente multiplique la altura y el ancho y recupere la unidad al cuadrado. Ejemplo: 5 cm * 10 cm = 50 cm² Por el contrario, si calcula el tamaño de una imagen, también multiplica la altura y el ancho, pero recupera la unidad, …

81 terminology 

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 

He oído hablar de inducción (estructural). Le permite construir estructuras finitas a partir de otras más pequeñas y le ofrece principios de prueba para razonar sobre tales estructuras. La idea es lo suficientemente clara. ¿Pero qué pasa con la coinducción? ¿Como funciona? ¿Cómo se puede decir algo concluyente sobre una …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

A menudo escucho a personas hablando de computación paralela y computación distribuida , pero tengo la impresión de que no hay un límite claro entre los 2, y las personas tienden a confundirlo con bastante facilidad, aunque creo que es muy diferente: La computación paralela está más estrechamente acoplada a …

61 terminology  distributed-systems  parallel-computing 

¿Alguien podría explicar la diferencia entre los tipos dependientes y los tipos de refinamiento? Según tengo entendido, un tipo de refinamiento contiene todos los valores de un tipo que cumple un predicado. ¿Existe una característica de los tipos dependientes que los distingue? Si ayuda, me encontré con tipos refinados a …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

¿Por qué en informática cualquier complejidad que sea polinomial se considera eficiente? Para cualquier aplicación práctica (a) , los algoritmos con complejidad son mucho más rápidos que los algoritmos que se ejecutan en el tiempo, por ejemplo, , pero el primero se considera ineficiente mientras que el segundo es eficiente. …

50 algorithms  complexity-theory  terminology  efficiency 

Esta es una pregunta básica, pero estoy pensando que es lo mismo que , ya que el término más grande debería dominar a medida que avanzamos hasta el infinito. Además, eso sería diferente de O (\ min (m, n)) . ¿Está bien? Sigo viendo esta notación, especialmente cuando discuto algoritmos …

44 terminology  asymptotics  mathematical-analysis  landau-notation 

Cuando se observa la programación concurrente, se usan comúnmente dos términos, es decir, concurrente y paralelo. Y algunos lenguajes de programación específicamente reclaman soporte para programación paralela, como Java . ¿Esto significa que la programación paralela y concurrente son realmente diferentes?

44 terminology  parallel-computing  concurrency 

En "Big O", las anotaciones comunes tienen nombres comunes (en lugar de decir, "Oh, de algún factor constante"): O (1) es "constante" O (log n) es "Logarítmico" O (n) es "Lineal" O (n ^ 2) es "Cuadrático" O (n * log n) es ??? ¿Es solo "n log n" o …

40 terminology  asymptotics 

Parece que en este sitio, las personas a menudo corrigen a otros por "algoritmos" y "problemas" confusos. ¿Cuál es la diferencia entre estos? ¿Cómo sé cuándo debería considerar algoritmos y problemas? ¿Y cómo se relacionan con el concepto de lenguaje en la teoría del lenguaje formal?

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

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 

He escuchado que la palabra "hash" se usa en diferentes contextos (todos dentro del mundo de la informática) con diferentes significados. Por ejemplo, en el libro Learn Python the Hard Way, en el capítulo sobre diccionarios se dice "Python los llama" dictos ". Otros idiomas los llaman" hashes "." Entonces, …

38 terminology  hashing 

Resumen: Según el teorema de Rice, todo es imposible. ¡Y sin embargo, hago cosas supuestamente imposibles todo el tiempo! Por supuesto, el teorema de Rice no dice simplemente "todo es imposible". Dice algo más específico: "Cada propiedad de un programa de computadora no es computable". (Si desea dividir pelos, cada …

37 terminology  computability  undecidability  rice-theorem