Discussion:Informatique théorique

message: :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)
thread_title:  Je suis désolé mais 

message: 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)
replies: text: Ne te gène surtout pas pour changer :) Outs 20 juin 2006 à 10:31 (CEST)
thread_title:  Réécriture 

message: 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)
replies: text: J'ai enlevé mon rajout :) Outs (d) 18 février 2009 à 14:27 (CET)

text: 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)
thread_title:  Informatique théorique et informatique fondamentale 

message: 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)
replies: text: 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)

text: Peut-être cet article est :en:Informatics (academic field), pas :en:Theory of computation? Incnis Mrsi (d) 25 janvier 2010 à 20:16 (CET)
replies: text:  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)
thread_title:  lien inter-wiki 

message: 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)
replies: text: 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)
thread_title:  Ajouter les conférences et les périodiques ? 

message: Quid de la  ? 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)
thread_title:  Disciplines manquantes 

message: 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)
thread_title:  Portée du domaine 

message: 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)
replies: text: Moi non plus. Mais il suffit de compléter. Bonne soirée. --Fschwarzentruber (discuter) 8 février 2019 à 22:54 (CET)
thread_title:  Histoire