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.

1
Carrières pour les informaticiens théoriques
Quelles sont les carrières typiques des informaticiens théoriques (personnes titulaires d'un diplôme d'études supérieures en informatique théorique)? Quels types d'industries et d'institutions recherchent des connaissances théoriques en informatique? Quelles carrières les informaticiens théoriques parcourent-ils généralement?

4
Résultats intéressants dans TCS facilement explicables aux programmeurs sans formation technique
Supposons que vous rencontriez des programmeurs qui ont suivi des cours de programmation professionnelle (/ auto-réflexion) mais n'ont pas étudié les mathématiques de niveau universitaire. Afin de leur montrer la beauté de TCS, j'aimerais rassembler de bons résultats / questions ouvertes provenant de TCS qui peuvent facilement être expliquées. Un …



6
Conseils pour les études supérieures en informatique
Je recherche des conseils et des retours. Contexte: Je suis un étudiant de premier cycle en mathématiques, avec un intérêt pour l'informatique théorique (complexité informatique, théorie des graphes, combinatoire). Je veux poursuivre un doctorat en informatique et me concentrer sur la théorie. Mes antécédents sont dans des domaines mathématiques intensifs …



3
Se sentir insatisfait après chaque soumission
Je suis un étudiant diplômé de troisième année dans une université "top 20" qui travaille sur la complexité fine (beaucoup de jeu avec 3-SUM, OV et les conjectures de dureté populaires habituelles). J'ai été assez productif au cours de la dernière année environ et j'ai 3 articles acceptés et 2 …

2
Comment le calcul lambda capture-t-il exactement la notion intuitive de calculabilité?
J'ai essayé d'enrouler ma tête autour du quoi, pourquoi et comment du -calculus mais je ne suis pas parvenu à comprendre "pourquoi ça marche"?λλ\lambda «Intuitivement», j'obtiens le modèle de calculabilité de Turing Machines (TM). Mais cette -abstraction me laisse juste perplexe.λλ\lambda Supposons que les MT n'existent pas - alors comment …

3
Utilisations des catégories
Je ne suis pas un informaticien théorique. Je suis un théoricien stable de l'homotopie utilisant -categories. J'ai vu des applications de la théorie des catégories et de la théorie des topos à l'informatique théorique, et je me demandais s'il y avait un moyen d'utiliser -catégories (et de préférence pour moi, …



4
Comment être plus «à l'esprit théorique»?
Toutes mes excuses à l'avance pour cette question douce qui n'a pas de réponse fermée et correcte. C'est probablement le meilleur forum pour poser ma question. Je suis un étudiant diplômé de troisième année dans un groupe théorique d'une école du top 15 aux États-Unis. Jusqu'à présent, je me débrouille …


1
Comment les journaux servent-ils la communauté TCS?
Dans le passé, les revues étaient le principal moyen de diffusion et d'approbation des découvertes scientifiques / mathématiques. Dans certaines régions, ils le sont toujours. Cependant, en informatique (théorique), ce rôle est presque entièrement assuré par des conférences et une diffusion ouverte sur le Web (par exemple arxiv ou des …

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.