Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Contemporary Logic and Computing
Contenu du livre :
Le présent volume est issu d'une proposition de livre faite il y a environ deux ans à College Publications, Londres. L'idée principale était d'illustrer l'interaction entre les travaux contemporains en logique et les mathématiques dominantes.
La division du volume en deux sections - sujets en « logique » contre sujets en « informatique » - est plus ou moins conventionnelle. Certaines contributions se concentrent sur des détails historiques et techniques destinés à mettre en perspective l'impact du travail de certains mathématiciens et philosophes remarquables sur la recherche contemporaine en logique et en informatique. D'autres articles, également à caractère historique, sont censés mettre en évidence des méthodes de recherche ponctuelles et des concepts ou sujets spécifiques, tels que la décidabilité, la calculabilité, l'aléatoire et la complexité computationnelle ou descriptive. En général, les articles ont été conçus comme des études spécifiques de résultats.
D'autres volumes - à paraître ultérieurement dans la même série - délimiteront, nous l'espérons, des aspects du paysage logique contemporain qui n'ont pas été illustrés ici.
Ce livre s'adresse aux étudiants de troisième cycle en logique mathématique, en fondements des mathématiques et en informatique, ainsi qu'aux philosophes, aux mathématiciens et, éventuellement, à d'autres scientifiques intéressés par les recherches récentes sur la logique et l'informatique.
Autres informations sur le livre :
| ISBN : | 9781848903401 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
