Questions marquées «pl.programming-languages»

Langages de programmation, en particulier, centrés sur leur sémantique.

7
Quels théorèmes intéressants dans TCS s'appuient sur l'axiome du choix? (Ou bien, l'axiome de la détermination?)
Les mathématiciens s’inquiètent parfois de l’axiome du choix (AC) et de l’axiome de la détermination (AD). Axiom of Choice : Compte tenu de toute collection des ensembles non vides, il y a une fonction qui, étant donné un ensemble dans , retourne un membre de . f S C SCC{\cal …
7
Que savons-nous sur les programmes parfaitement corrects?
La complexité croissante des programmes informatiques et la position de plus en plus cruciale des ordinateurs dans notre société me laissent nous demander pourquoi nous n'utilisons toujours pas collectivement des langages de programmation dans lesquels vous devez prouver formellement que votre code fonctionne correctement. Je crois que le terme est …
6
Les expressions régulières ne sont pas
Demandez même à une personne ayant une formation en informatique ce qu’est une expression régulière et la réponse ira probablement au-delà de la contrainte d’être à la portée d’un automate à états finis. Par exemple, l'expression «expression régulière» /^1?$|^(11+?)\1+$/ créé par une personnalité notée de Perl, Abigail (et faisant partie …
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.