Logique Mathématique par Youcef Belaifa

Logique Mathématique par Youcef Belaifa

Titre de livre: Logique Mathématique

Auteur: Youcef Belaifa

Broché: 78 pages

Date de sortie: July 27, 2018

ISBN: 2312059800

Éditeur: Les éditions du Net

Logique Mathématique par Youcef Belaifa est disponible au téléchargement en format PDF et EPUB. Ici, vous pouvez accéder à des millions de livres. Tous les livres disponibles pour lire en ligne et télécharger sans avoir à payer plus.

Youcef Belaifa avec Logique Mathématique

Résumé de l'ouvrage
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 de l'auteur
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.