Qu'est-ce que l'informatique théorique?

Qu'est-ce que l'informatique théorique exactement? Apprend-il à coder dans différents langages et à créer des applications sur des plateformes? Ou pense-t-il simplement à des algorithmes de plus en plus rapides afin que vous puissiez réaliser une tâche plus efficacement par les ordinateurs? Ou s'agit-il de programmer et de penser à de nouvelles situations de vie qui peuvent être simulées sur un ordinateur? Qu'essayons-nous exactement de faire ici?

Par exemple, la physique essaie de trouver toutes les lois de la nature qui la régissent; les mathématiques sont une tautologie basée sur la modélisation de la réalité et utilisée comme langage très précis par d'autres matières.

Qu'est-ce que l'informatique théorique exactement? Lorsque les ordinateurs ont été conçus par nous, les humains, à des fins d'application, tout cela doit-il finalement tomber dans les mathématiques et la physique? Alors où est la "théorie" en informatique elle-même.

Désolé d'être trop naïf mais je veux savoir ce que fait un informaticien théorique?

big-picture

— Code
source

en.wikipedia.org/wiki/Theoretical_computer_science ... Le domaine de l'informatique théorique est interprété de manière large de manière à inclure les algorithmes, les structures de données, la théorie de la complexité computationnelle, le calcul distribué, le calcul parallèle, le VLSI, l'apprentissage automatique, la biologie computationnelle, la géométrie computationnelle , théorie de l'information, cryptographie, calcul quantique, théorie et algèbre numérique des nombres, sémantique et vérification des programmes, théorie des automates et étude de l'aléatoire ...

— Marzio De Biasi

Voir le centre d'aide .

— Kaveh

Q. "Qu'essayons-nous exactement de faire ici?" A: "Suivez une passion" :-D :-D

— Marzio De Biasi

nous étudions le calcul, pas les ordinateurs. ce sont les mathématiques, mais ce sont les mathématiques que nous avons récemment commencé à étudier. la théorie mathématique du calcul n'est pas nécessairement liée à une réalisation concrète spécifique; il ne se réduit pas à la physique, car il est indépendant du "monde réel". il a cependant le potentiel d'être une langue pour les sciences

— Sasho Nikolov

Il est largement admis que «informatique» est un terme impropre. Pour paraphraser Dijkstra: "Faire référence à ce domaine en tant qu'informatique, c'est comme se référer à la chirurgie comme science au couteau" ou, j'ajoute parfois, en faisant référence à l'astronomie en tant que science du télescope. --- La "science du calcul" est peut-être plus proche de la vérité, mais cela ne couvre pas encore tout à fait le domaine. Aux Pays-Bas, nous l'appelons «informatica», c'est-à-dire «science de l'information». --- Il y a évidemment un certain chevauchement avec les mathématiques. Mathématiques particulièrement discrètes.

— mhelvens

Réponses:

Votre question elle-même n'est pas naïve mais le type de réponse que vous demandez l'est. Il est rare qu'une ligne de travail ou une enquête intellectuelle ait une explication de la hauteur de l'ascenseur. Tous ne seraient pas d'accord avec vos caractérisations des mathématiques et de la physique, car ils ignorent la profondeur et les nuances de ces domaines.

Les informaticiens théoriques se préoccupent d'étudier et d'appliquer le calcul . La perspective informatique est profonde et englobe tout, de sorte que l'étude du calcul est également profonde et a une incidence sur de nombreux autres domaines d'étude. Chaque processus, qu'il soit de nature ou synthétique, manipule l'information. Ils calculent . Comme en mathématiques, il y a différents langages et types de structures impliqués dans le calcul, comme en physique, il y a des lois fondamentales sur le calcul que nous essayons de découvrir, comme en chimie, les éléments fondamentaux du calcul peuvent être classés. L'informatique théorique est suffisamment large et robuste pour s'adapter à toute perspective que vous y apportez. Certaines des questions étudiées sont:

Qu'est-ce que le calcul et comment le caractériser? (Machines de Turing, lambda calculi, systèmes de carrelage, machines d'enregistrement, ordinateurs ADN, etc.)
Quel est le modèle de calcul sous-jacent à un processus? (Processus biologiques, chimiques, économiques, sociologiques, etc.)
Qu'est-ce qu'un calcul efficace? (complexité via le temps, l'espace, la communication, amorti, lissé, etc.)
Quelles sont les caractérisations d'un calcul efficace? (Machines de Turing, notions algébriques, logique, systèmes de types, etc.)
Quelle est la manière la plus efficace de calculer une solution à un problème? (algorithmes)
Quelle est l'efficacité des processus algorithmiques existants (analyse d'algorithmes, phénomènes statistiques, équillibrie du marché, etc.)

Il s'agit d'un petit échantillon non représentatif des questions que l'on peut se poser. Comme dans n'importe quel domaine, les réponses à certaines questions génèrent de nouvelles questions et suscitent des interrogations sur d'autres questions. Vous pouvez trouver une vue plutôt datée du domaine en parcourant les articles du Handbook of Theoretical Computer Science.

— Vijay D
source

Pour une réponse approximative, si vous êtes nouveau dans TCS, vous pouvez probablement le considérer comme un sous-domaine des mathématiques: l'informatique théorique consiste principalement à prouver des théorèmes .

Si vous voulez un contraste avec les "mathématiques" standard, TCS est (je pense) principalement algorithmique : il se concentre sur la conception, l'analyse et les capacités / limitations théoriques des algorithmes.

L'informatique peut aussi être expérimentale, c'est-à - dire une science naturelle comme la physique ou la biologie, mais elle a tendance à tomber plus souvent hors du domaine de la "théorie".

— usul
source