¿Qué es la informática teórica?

13

¿Qué es exactamente la informática teórica? ¿Está aprendiendo a codificar en varios idiomas y creando aplicaciones en plataformas? ¿O solo está pensando en algoritmos cada vez más rápidos para que pueda lograr una tarea de manera más eficiente por parte de las computadoras? ¿O se trata de programar y pensar en nuevas situaciones de la vida que se pueden simular en una computadora? ¿Qué estamos tratando de hacer exactamente aquí?

Por ejemplo, la física está tratando de encontrar todas las leyes de la naturaleza que la gobiernan; La matemática es una tautología basada en el modelo de la realidad y utilizada como un lenguaje muy preciso por otras materias.

¿Qué es exactamente la informática teórica? Cuando las computadoras fueron diseñadas por nosotros los humanos para fines de aplicación, ¿por lo tanto, todo debe caer en matemáticas y física al final? Entonces, ¿dónde está la "teoría" en la informática misma.

Perdón por ser demasiado ingenuo, pero quiero saber qué hace un informático teórico.

big-picture Código
fuente
55
en.wikipedia.org/wiki/Theoretical_computer_science ... El campo de la informática teórica se interpreta de manera amplia para incluir algoritmos, estructuras de datos, teoría de la complejidad computacional, computación distribuida, computación paralela, VLSI, aprendizaje automático, biología computacional, geometría computacional , teoría de la información, criptografía, computación cuántica, teoría de números computacionales y álgebra, semántica y verificación de programas, teoría de autómatas y el estudio de la aleatoriedad ...
Marzio De Biasi
1
Ver centro de ayuda .
Kaveh
66
P. "¿Qué es exactamente lo que estamos tratando de hacer aquí?" R: "Sigue una pasión" :-D :-D
Marzio De Biasi
8
estudiamos computación, no computadoras. esto es matemática, pero es matemática que recién comenzamos a estudiar. la teoría matemática de la computación no está necesariamente vinculada a la realización específica del mundo real; no se reduce a la física, porque es independiente del "mundo real". Sin embargo, tiene el potencial de ser un lenguaje para las ciencias
Sasho Nikolov
1
Es ampliamente aceptado que la "informática" es un nombre inapropiado. Parafraseando a Dijkstra: "Hacer referencia a este campo como informática es como referirse a la cirugía como ciencia del cuchillo" o, a veces agrego, referirse a la astronomía como ciencia del telescopio. --- La "ciencia de la computación" podría estar más cerca de la verdad, pero eso todavía no cubre el campo. En los Países Bajos lo llamamos "informática", es decir, "ciencia de la información". --- Obviamente hay cierta superposición con las matemáticas. Matemáticas especialmente discretas.
mhelvens

Respuestas:

20

Su pregunta en sí no es ingenua, pero el tipo de respuesta que solicita es. Es raro que cualquier línea de trabajo o investigación intelectual tenga una explicación de tono de ascensor. No todos estarían de acuerdo con sus caracterizaciones de las matemáticas y la física porque ignoran la profundidad y los matices de esos campos.

Los informáticos teóricos se preocupan por estudiar y aplicar la computación . La perspectiva computacional es profunda y lo abarca todo, por lo que el estudio de la computación también es profundo y tiene relación con muchas otras áreas de estudio. Todos los procesos, ya sean de naturaleza o sintéticos, manipulan la información. Ellos computan . Al igual que en matemáticas, existen diferentes lenguajes y tipos de estructuras involucradas en la computación, como en física, hay leyes fundamentales sobre la computación que estamos tratando de descubrir, como en química, se pueden clasificar los elementos fundamentales de la computación. La informática teórica es lo suficientemente amplia y robusta como para tener en cuenta cualquier perspectiva que le brindes. Algunas de las preguntas estudiadas son:

  • ¿Qué es la computación y cómo se puede caracterizar? (Máquinas de Turing, cálculos lambda, sistemas de mosaico, máquinas de registro, computadoras de ADN, etc.)
  • ¿Cuál es el modelo computacional que subyace a un proceso? (Procesos biológicos, químicos, económicos, sociológicos, etc.)
  • ¿Qué es la computación eficiente? (complejidad a través del tiempo, espacio, comunicación, amortizado, suavizado, etc.)
  • ¿Qué son las caracterizaciones de la computación eficiente? (Máquinas de Turing, nociones algebraicas, lógica, sistemas de tipos, etc.)
  • ¿Cuál es la forma más eficiente de calcular una solución a un problema? (algoritmos)
  • ¿Qué tan eficientes son los procesos algorítmicos existentes (análisis de algoritmos, fenómenos estadísticos, equilibria de mercado, etc.)

Estas son una muestra pequeña y no representativa de las preguntas que uno puede hacer. Como en cualquier campo, las respuestas a algunas preguntas generan nuevas preguntas y generan consultas sobre otras preguntas. Puede encontrar una vista del campo bastante anticuada navegando por los artículos en el Manual de Ciencias de la Computación Teórica.

  1. Manual de Ciencias de la Computación Teórica, Volumen A: Algoritmos y Complejidad, 1990
  2. Manual de Ciencias de la Computación Teórica, Volumen B: Modelos formales y semántica, 1990
Vijay D
fuente
12

Para una respuesta aproximada, si eres nuevo en TCS, probablemente puedas considerarlo como una subárea de las matemáticas: la informática teórica consiste principalmente en probar teoremas .

Si desea un contraste con la "matemática" estándar, TCS es (creo) principalmente algorítmico : centrándose en el diseño, el análisis y las capacidades / limitaciones teóricas de los algoritmos.

La informática también puede ser experimental, es decir , una ciencia natural como la física o la biología, pero esto tiende a caer más a menudo fuera del ámbito de la "teoría".

usul
fuente