Télécharger le livre :  Méthodes logiques pour les sciences cognitives
Ajouter à ma liste d'envies
Feuilleter
Méthodes logiques pour les sciences cognitives réunit des chercheurs de notoriété internationale (D. Andler, J.-P. Delahaye, D. Dubois, H. Prade, L. Fariñas del Cerro, P. Gochet, D. Vandervecken, etc.) autour de trois thèmes majeurs en sciences cognitives : logique et...

Editeur : Hermés science
Parution : 1995-04-15

PDF sans DRM

54,86
Télécharger le livre :  Constructivity and Computability in Historical and Philosophical Perspective
Ajouter à ma liste d'envies
Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though...

Editeur : Springer
Parution : 2014-08-27
Collection : Logic, Epistemology, and the Unity of Science
ePub

52,74