L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

2
Théorie de type intuitioniste «minimale»?
Je suis surpris que les gens continuent d'ajouter de nouveaux types dans les théories de types, mais personne ne semble mentionner une théorie minimale (ou je ne la trouve pas). Je pensais que les mathaticiens aiment le minimum, n'est-ce pas? Si je comprends bien, dans une théorie des types avec …
2
Dans quel sens l'ensemble de Mandelbrot est-il «calculable»?
L' ensemble Mandelbrot est une belle créature en mathématiques. Il y a beaucoup de belles images de cet ensemble créées avec une grande précision, donc évidemment cet ensemble est "calculable" dans un certain sens. Cependant, ce qui m'inquiète, c'est qu'il n'est même pas récursivement énumérable - simplement parce que l'ensemble …
4
Définition du problème d'arrêt pour les automates non déterministes
La définition principale de la machine de Turing (TM), au moins dans mon propre manuel de référence (Hopcroft + Ullman 1979) est déterministe. Par conséquent, ma propre compréhension du problème de l' arrêt concerne principalement la MT déterministe, bien que je sache qu'il peut être envisagé pour d'autres types d'automates. …
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.