L'informatique

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







5
Le problème de l'arrêt pourrait-il être «résolu» en s'échappant vers une description de niveau supérieur du calcul?
J'ai récemment entendu une analogie intéressante qui déclare que la preuve de Turing de l'indécidabilité du problème d'arrêt est très similaire au paradoxe du barbier de Russell. Je me suis donc demandé: les mathématiciens ont finalement réussi à rendre la théorie des ensembles cohérente en passant de la formulation naïve …







12
Comment puis-je enseigner l'informatique sans utiliser d'ordinateurs?
Dans certains endroits du monde, les gens n'ont généralement pas accès (et donc peu de connaissances) aux ordinateurs, et même s'ils en ont, le matériel et les logiciels sont obsolètes et leur utilisation est en proie à des pannes de courant et autres. L'accès aux (bons) livres a également tendance …
21 education 


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.