Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Logique Mathématique
Du Net - EAN : 9782312059808
Édition papier
EAN : 9782312059808
Paru le : 27 juil. 2018
15,00 €
14,22 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9782312059808
- Editeur : Du Net
- Date Parution : 27 juil. 2018
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 78
- Format : H:150 mm L:230 mm E:5 mm
- Poids : 127gr
- 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.
-
Biographie :
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.