1. Décidable, oui, mais calculable ?

    Après une explication rapide sur les enjeux de la décidabilité, j'ai jugé intéressant de parler de quelques classes de complexité. La plupart d'entre vous a sûrement déjà entendu parler de "NP-complet", mais tout le monde ne sait pas forcément ce que c'est. Ce qu'il faut savoir :

    Classes de complexité

    • Les …
    read more

    There are comments.

  2. Problème de l'arrêt : démonstration ?

    Problème de l'arrêt et décidabilité

    Le problème de l'arrêt est un problème classique en décidabilité. Il fait partie des problèmes qui n'ont pas de solution : il est impossible d'écrire un algorithme qui résoud ce problème. La plupart des autres problèmes indécidables reviennent à ce problème. On les montres d'ailleurs par …

    read more

    There are comments.

  3. Les métaphores de navigation choisies par Gnome

    Si vous avez déjà utilisé un "Vanilla" Gnome, vous aviez peut-être remarqué que Nautilus ouvre une nouvelle fenêtre à chaque fois que vous voulez ouvrir un nouveau dossier. C'est quelque chose de complètement horrible à utiliser mais cependant justifié d'un point de vue ergonomique.

    C'est en fait la bataille entre …

    read more

    There are comments.

  4. Pourquoi un blog ?

    J'ai ouvert un blog il y a quelques jours, et je n'y ai toujours rien écrit. Je me demande donc pourquoi je l'ai fait, quel genre de choses je veux y placer, et quel genre de lectorat je vais avoir (si j'en ai).

    Déjà, clairement je ne veux pas parler …

    read more

    There are comments.

« Page 3 / 3