Quelle est la définition technique de l'informatique théorique? Quels sous-champs sont inclus?

Question

Quelle est la définition technique de l'informatique théorique? (Ou, que devrait-il être?)

Quels sous-champs principaux comprend-il, et quelle est la similitude qui les sépare du reste de l'informatique? Plus spécifiquement: si une recherche en particulier a des motivations pratiques directes, des objectifs et des résultats, mais implique surtout des méthodes très abstraites, est-ce que c'est de l'informatique théorique ou non?

Deux exemples à considérer:

« escouades double pour le mélange de transformation rigide » (meilleure représentation mathématique de rotation et transforment pour l'animation) https://www.cs.tcd.ie/publications/tech-reports/reports.06/TCD-CS-2006-46.pdf

« Sémantique Relationnel pour le programme axé sur les effets des transformations avec Dynamic Allocation "(Optimisation du Complier via la sémantique dénotationnelle): http://research.microsoft.com/pubs/67977/ppdprelational.pdf

[L'article de Wikipedia donne seulement une définition vague et une longue liste de sous-champs. Devrait juste accepter qu'il n'y a pas de meilleure définition que celle-ci? EDIT: Je suppose que cette question se résume à "Que signifie le terme" théorie "dans le contexte de l'informatique?". En regardant les 6 significations différentes du mot à wiktionary, je ne pense pas que l'un d'entre eux correspond parfaitement. Je suppose que le sens mathématique d'une théorie convient bien pour les champs complètement mathématiques mais pas pour les autres, et pour le VLSI, l'apprentissage automatique et la biologie computationnelle de wikipedia:TCS cela ne correspond pas du tout.

Answer 1

Je pense que la manière la plus simple de distinguer la théorie de l'application est de regarder la définition du champ d'un ordinateur. Si le travail sur le terrain est basé sur l'hypothèse qu'un ordinateur est un objet physique ou un système, alors c'est probablement une application. D'un autre côté, si le travail sur le terrain est basé sur l'hypothèse qu'un ordinateur est un objet abstrait (généralement mathématique), c'est probablement de la théorie. Donc, quand vous décidez de dire si vous êtes un informaticien théorique, je pense que vous devez juste vous demander, "qu'est-ce qu'un ordinateur?"

(Pour moi, c'est certainement un objet abstrait)

Answer 2

Ce lien contient une liste de sous-champs: http://arxiv.org/corr/home, je ne vais pas les reproduire ici car le lien peut changer, et il serait redondant.

Aussi, je me rappelle la citation de quelqu'un, ne me souviens pas qui, le long des lignes de:

mathématiques est tout mathématiciens

Il semblerait appliquer .