Discussion:Informatique théorique
Cet article est indexé par les projets Informatique et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | Maximum |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
| Élevée |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | |
Cet article comporte une liste de tâches suggérées :
Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Algèbre de Boole ⇒ Quelques explications pour effectuer ces corrections. -- 12 septembre 2022 à 05:44 (CEST)
Je suis désolé mais[modifier le code]
- Je suis désolé, mais on ne peut réduire l'informatique théorique à la théorie de l'information. Je pense qu'en outre l'informatique reste une science, même si dans la pensée populaire il ne s'agit que d'un lot étendu de techniques. Le but d'une encyclopédie est aussi de mettre de l'ordre dans la pensée populaire, non de s'y plier sans volonté. zircO 6 septembre 2005 à 09:46 (CEST)
Réécriture[modifier le code]
Je viens de commencer la réécriture complète de l'article. Je crois que les sous-sections algo, méthodes formelles, etc. devraient disparaître: des liens vers les articles correspondant devraient suffire. Par contre, il serait bon (comme dans l'article en anglais) de parler des principales associations et conférences vouées à l'informatique théorique au sens large. Pascal.Tesson 20 juin 2006 à 05:51 (CEST)
- Ne te gène surtout pas pour changer :) Outs 20 juin 2006 à 10:31 (CEST)
Informatique théorique et informatique fondamentale[modifier le code]
Je ne pense pas qu'informatique théorique et informatique fondamentale soient synonymes. Pour moi, l'informatique théorique est un corpus de concepts de nature mathématique traitant d'objets appartenant à l'informatique, tandis que l'informatique fondamentale étudie les bases de la discipline qui s'appelle l'informatique. Une table de hachage fait partie de l'informatique fondamentale, mais tant qu'on ne pose pas quelques théorèmes ou quelques formules mathématique sur les tables de hachage on ne fait pas de l'informatique théorique. Pierre de Lyon (d) 11 février 2009 à 23:34 (CET)
- J'ai enlevé mon rajout :) Outs (d) 18 février 2009 à 14:27 (CET)
- Pour info et sans vouloir te contredire Pierre :) L'article Informatique les posent comme synonymes dès la deuxième phrase. Personnellement la question m'importe peu. Outs (d) 12 mars 2009 à 11:08 (CET)
lien inter-wiki[modifier le code]
La page en anglais parle en fait de calculabilité, cet article-ci est plus général. Je ne sais pas si les pages dans les autres langues sont cohérentes ou non... Outs (d) 18 février 2009 à 18:59 (CET)
- Je pense que l'article en anglais semble plus orienté calculabilité parce qu'il est incomplet. Quant à l'article en allemand, il me parait correspondre à l'article français. Pour les autres je ne sais pas. Pierre de Lyon (d) 2 mars 2009 à 22:27 (CET)
- Peut-être cet article est en:Informatics (academic field), pas en:Theory of computation? Incnis Mrsi (d) 25 janvier 2010 à 20:16 (CET)
- Ah non, c’est en:Theoretical computer science et il y a un lien de l’article anglais à ici. Je vais réparer les interwiki de l’article français. Incnis Mrsi (d) 25 janvier 2010 à 20:52 (CET)
Ajouter les conférences et les périodiques ?[modifier le code]
Est-ce que c'est une bonne idée d'ajouter, comme sur la page en anglais, les conférences et les périodiques ? Je trouve que c'est plutôt bien, mais ça fait peut-être trop universitaire ? Cordialement, -- ManiacParisien (discuter) 17 février 2016 à 18:49 (CET)
- Dans l'absolu je trouve ça pas mal, mais j'ai peur que trouver une bonne source soit difficile. --Roll-Morton (discuter) 18 février 2016 à 12:21 (CET)
Disciplines manquantes[modifier le code]
Quid de la théorie de la programmation (en) ? Elle est loin d’être anecdotique malgré l’inexistence de l’article francophone, et inclut la sémantique et l’analyse statique, mais aussi la théorie des types, la logique, la preuve automatique ou assistée, les transformations de programmes…
Quid aussi de la cryptologie ?
Maëlan (discuter) 22 juillet 2016 à 22:31 (CEST)
Portée du domaine[modifier le code]
Pour définir la portée du domaine et éventuellement répondre au « par qui ? » et « selon qui ? », on pourrait s'inspirer de l'article « le GdR [Informatique mathématique en quelques mots ». --Pierre de Lyon (discuter) 5 janvier 2018 à 12:40 (CET)
Histoire[modifier le code]
Je ne suis pas d'accord que l'histoire de l’informatique théorique se résume aux modèles de computation. --Pierre de Lyon (discuter) 8 février 2019 à 21:11 (CET)
- Moi non plus. Mais il suffit de compléter. Bonne soirée. --Fschwarzentruber (discuter) 8 février 2019 à 22:54 (CET)