Qu'est-ce que le calcul en Informatique ? Dans la première partie on s'intéresse à l'aspect épistémologique : comment s'est-on interessé au problème de la calculabilité en informatique  ? on abordera

Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en

Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux

Qu'est-ce que l'information et comment la mesurer ? qu'est-ce que la complexité et comment la mesurer ? En 2013, les travaux d'application sur la mesure de la complexité continuent car on est encore

En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne

Alan Mathison Turing est un mathématicien britannique auteur de l’article fondateur de la science informatique. Il est à l’origine de la formalisation des concepts d’algorithme et de calculabilité.