Questions marquées «soft-question»

Une question douce est une question (éventuellement subjective) sur le domaine de l'informatique théorique par opposition à une question de l'informatique théorique.

7
Organisation des données de recherche
C'est une question dans l'esprit de celle-ci où j'ai répondu qu'il est important de garder une trace de ce que vous avez fait quelque chose, pourquoi vous l'avez fait et ce qui ne fonctionne pas. J'utilise personnellement des ordinateurs portables à cette fin, mais cela présente plusieurs inconvénients: d'abord, j'ai …
2
(Comment) Pourrions-nous découvrir / analyser des problèmes NP en l'absence du modèle de calcul de Turing?
D'un point de vue purement abstrait de raisonnement mathématique / informatique, (comment) pourrait-on même découvrir ou raisonner sur des problèmes comme 3-SAT, Subset Sum, Travelling Salesman, etc.? Serions - nous encore en mesure de raisonner sur eux de quelque façon significative avec juste la fonction point de vue? Serait-ce même …
1
Pourquoi le travail de Schönfinkel sur l'élimination des «variables liées» dans la logique était-il si crucial?
AFAIK, La première preuve de l'utilisation de fonctions d'ordre supérieur remonte à l'article de Schönfinkel de 1924: "Sur les blocs de construction de la logique mathématique" - où il permettait à quelqu'un de passer des fonctions comme arguments à d'autres fonctions. Cela semble intéressant. Cependant, tout ce que j'ai lu …
5
Exemples de pédanterie dans TCS
Larry Wasserman a récemment publié un article dans lequel il parle de la "police p-value". Il fait un point intéressant (tout l'accent est mis sur moi) (la prémisse en italique que j'ai ajoutée et sa réponse ci-dessous): La plainte la plus courante est que les physiciens et les journalistes expliquent …
1
Maintenir l'ordre dans une liste en
Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel élément delete: donne …
2
Utilisation d'un assistant de preuve dans la recherche sur la théorie de la complexité?
Compte tenu des sujets abordés lors d'une conférence comme le STOC, des chercheurs en algorithmes ou en complexité utilisent-ils activement COQ ou Isabelle? Si oui, comment l'utilisent-ils dans leurs recherches? Je suppose que la plupart des gens n'utiliseraient pas de tels outils car les preuves seraient de trop bas niveau. …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.