Nouveaux paradigmes informatiques, évolution des conceptions de ce qui est calculable

Cette superbe exposition d'un sujet complexe examine les nouveaux développements dans la théorie et la pratique du calcul d'un point de vue mathématique, avec des sujets allant de la calculabilité classique à la complexité, de la bioinformatique à l'informatique quantique. Ce livre convient aux chercheurs et aux étudiants diplômés en mathématiques, philosophie et informatique ayant un intérêt particulier pour la logique et les questions fondamentales. Les documents d'enquête sur l'analyse calculable et l'informatique biologique sont les plus utiles aux étudiants diplômés. Les logiciens et les ...