Gilles Dowek
Note moyenne : /5 (sur 0 notes)
Note moyenne : /5 (sur 0 notes)
Résumé :
Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le... >Voir plus
Acheter ce livre sur
étiquettes
Ajouter des étiquettes
Que lire après Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilitéVoir plus
autres livres classés : programmationVoir plus
Les plus populaires : Non-fiction
Voir plus
Acheter ce livre sur
Les Dernières Actualités
Voir plus
Autres livres de Gilles Dowek (11)
Voir plus
Quiz
Voir plus
Un caillou dans la chaussure.
Les orientation Nord, Sud, Est et Ouest sont-elles fondamentalement différentes.
Oui les unes sont relatives les autres sont absolues
Non
3 questions
2 lecteurs ont répondu
Thème :
Gilles DowekCréer un quiz sur ce livre2 lecteurs ont répondu