1. Jeunesse
  2. Documentaire / Encyclopédie
  3. Sciences

EAN13
9782312059808
Éditeur
Les éditions du Net
Date de publication
27 juillet 2018
Nombre de pages
74
Dimensions
23 x 15 x 0,5 cm
Poids
127 g
Langue
fre

Logique Mathématique

Youcef Belaifa

Les éditions du Net

Prix public : 15,00 €

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.
Trouver ou

Offres