Me han preguntado, es la ciencia de la computación una rama de las matemáticas? Nadie ha descrito convenientemente a mí. Todo parece muy de matemáticas-como a mí. Mi segunda pregunta es, ¿hay libros sobre ciencias de la computación/programación que son muy rigurosos y tomar un enfoque axiomático? Básicamente, poner ciencias de la computación y la programación en un riguroso fundación.
Respuestas
¿Demasiados anuncios?
QuentinUK
Puntos
116
La informática teórica sin duda podría ser considerado como una rama de las matemáticas. Esta rama de ciencias de la computación se ocupa con ordenadores y programas de ordenador como objetos matemáticos. Teóricos científicos de la computación podría ser descrito como equipo de científicos que saben poco acerca de las computadoras.
Sin embargo, cuando la gente dice "ciencias de la computación" suelen incluir muchas cosas que no serían considerados como las matemáticas, por ejemplo de arquitectura de computadores, lenguajes de programación específicos, etc.
user22988
Puntos
21
Vamos a $C$ y $M$ ser el conjunto de todas las cosas que son consideradas "ciencias de la computación" y "matemáticas", respectivamente. Si he entendido correctamente, la pregunta es: Es de $C\subconjunto de M$?
Si este es el caso, su pregunta no está bien planteada, porque ni $C$ ni $M$ están bien definidos. ¿Cómo trazar la línea entre lo que es la matemática y lo que no es de matemáticas sin ambigüedad? No hay una respuesta puede ser dada si intenta tratarlos como conjuntos.
Sin embargo, creo que $C\cap M\neq \varnothing$, por ciertos aspectos, tanto de los "conjuntos" son compartidas, como otros han señalado (por ejemplo, la lógica, pruebas, etc.)
Spencer
Puntos
5876
Yo diría que la informática es una rama de las matemáticas.
Donald Knuth es un famoso equipo de científicos y también es considerado como un gran matemático. Él escribió una serie de libros llamada "The Art of Computer Programming" que es extremadamente riguroso y matemático.
Editar:
Para hacer mi posición más claro ya que al parecer es controvertido.
Casi todos los de ciencias de la computación es responder a dos preguntas: "¿Qué puede hacer una máquina de turing hacer?" y "¿Cómo hacer que una máquina de turing hacer X?". Una máquina de Turing es un resumen objeto matemático y cualquier pregunta acerca de las máquinas de Turing o sus capacidades serán matemática en la naturaleza.
Ahora, hemos implementado máquinas de Turing de varias maneras (por ejemplo, su PC), pero los detalles de la implementación de la asignatura de ingeniería de la computación, no ciencias de la computación.
zyx
Puntos
20965
No es raro escuchar ideas a lo largo de las líneas que
ciencia de la computación es la programación sin restricciones prácticas
de la computación teórica de la ciencia es ciencia de la computación sin limitaciones físicas
la matemática es la ciencia de la computación, sin las limitaciones de la finitud
A cada sujeto en la cadena es visto como un caso límite de la anterior, donde algunos de los parámetros que describen las restricciones o límites de los recursos va a cero o infinito. Desde este punto de vista, las matemáticas es degenerado caso especial de la informática teórica, que es un caso de degeneración de ciencias de la computación, que es ...
Kjetil Klaussen
Puntos
1731
Eso depende de si usted se considera a la ingeniería de software a ser ciencia de la computación. Yo no. La teoría de la computación es una rama de las matemáticas, y uno de los más difíciles. Olvidarse de P vs NP, ni siquiera podemos decidir la conjetura de Collatz, que puede ser entendido por el promedio de tercer grado en un minuto o dos.
Por otro lado, la ingeniería de software es la psicología aplicada: ¿cómo podemos económicamente construir y mantener sistemas complejos de software, teniendo en cuenta los límites del intelecto humano?
