« Discussion Projet:Informatique » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- d'offrir + d’offrir ) |
m Robot : Remplacement de texte automatisé (- l'opposition + l’opposition , - d'asile + d’asile , - s'adresser + s’adresser , - l'ensemble + l’ensemble , - d'argent + d’argent , - l'argent + l’argent , - l'augmentation + l’augmentat... |
||
Ligne 154 :
Pour l'informatique, on peut distinguer la théorie de l'informatique des diverses disciplines qui appartiennent toutes à l'informatique. La théorie peut être un département, bien qu’il serait sans doute utile de le distinguer d'une façon ou d'une autre. Mais chaque département possède également (au moins en théorie :-)) sa propre théorie. Ca peut s'appeler l'algorithmique pour le département programmation. L'algorithmique n'est pas à mon sens une partie de la théorie de l'informatique, car elle concerne avant tout le sous-domaine représenté par le département programmation. Donc il faut distinguer théorie générale (pour une faculté) et spécifique (pour un département), et ne mettre dans la première que ce qui est général. Si c’est difficile, c sans doute que le découpage est mal foutu, par exemple à cause
Dans notre cas, je pense en particulier à tout ce qui tourne autour de la théorie de Türing. Pour moi, 'la' théorie de l'informatique, c ça. Et c d'ailleurs ce qui a historiquement fondé l'informatique, aussi bien en théorie qu'en pratique, non ? {note : C d'ailleurs à ce niveau que disparaît la distinction hard / soft, sans quoi le terme générique d'"informatique" n'aurait pas de sens.} En plus, histoire de rire un peu, le département théorie lui-même peut posséder son propre niveau théorique, cf. les degrés évoqués plus haut. Dans le cas de l'informatique, il s'agit peut-être de la logique booléenne, ou plus généralement formelle, voire de
''désolé pour le mal de crâne'' --[[Utilisateur:Denispir|spir]] 28 juin 2008 à 09:29 (UTC)
| |||