- EAN13
- 9782312059808
- ISBN
- 978-2-312-05980-8
- Éditeur
- Les éditions du Net
- Date de publication
- 27/07/2018
- Nombre de pages
- 74
- Dimensions
- 23 x 15 x 0,5 cm
- Poids
- 127 g
- Langue
- français
Trouvez les offres des librairies les plus proches :
ou
Offres
Résumé :
Dans ce livre on a essayé de faire un bref tour d’horizons dans le monde des fondements des mathématiques, en particulier la logique mathématique. J’ai mis en relief surtout les travaux du grand mathématicien et logicien Kurt Gödel, vu l’importance des travaux qu’il a réalisés : logique prédicative, logique intuitionniste, hypothèse du continu, les deux célèbres théorèmes d’incomplétude.
Auteur(s) :
L’auteur est un informaticien qui s’intéresse beaucoup à l’informatique théorique et fondements des mathématiques, en particulier la logique mathématique moderne. Il a travaillé pendant de nombreuses années dans le développement des systèmes informatiques en particulier le Retail (Grande distribution organisée) et les finances.
Domaines d’intérêt et de recherche : Informatique fondamentale, Logique mathématique, Génie logiciel, Programmation, Calcul parallèle, Cryptographie, Langages C, C#, Prolog, Bases de données SQLServer et OLAP, Réseaux informatiques.
Dans ce livre on a essayé de faire un bref tour d’horizons dans le monde des fondements des mathématiques, en particulier la logique mathématique. J’ai mis en relief surtout les travaux du grand mathématicien et logicien Kurt Gödel, vu l’importance des travaux qu’il a réalisés : logique prédicative, logique intuitionniste, hypothèse du continu, les deux célèbres théorèmes d’incomplétude.
Auteur(s) :
L’auteur est un informaticien qui s’intéresse beaucoup à l’informatique théorique et fondements des mathématiques, en particulier la logique mathématique moderne. Il a travaillé pendant de nombreuses années dans le développement des systèmes informatiques en particulier le Retail (Grande distribution organisée) et les finances.
Domaines d’intérêt et de recherche : Informatique fondamentale, Logique mathématique, Génie logiciel, Programmation, Calcul parallèle, Cryptographie, Langages C, C#, Prolog, Bases de données SQLServer et OLAP, Réseaux informatiques.
S'identifier pour envoyer des commentaires.