- ARTICLE INTERACTIF
|- 10 nov. 2023
|- Réf : AF88
Le terme « logique » est dérivé du grec ancien signifiant à la fois « discours » et « raisonnement ». En tant que domaine interdisciplinaire de la philosophie, de la linguistique, des mathématiques et plus récemment de l’informatique et surtout de l’intelligence artificielle, la logique traite de l’inférence, qui se définit comme une « opération cognitive », forme élémentaire ...
Les bases documentaires des Techniques de l'Ingénieur couvrent tous les grands domaines de l'ingénierie. Lancez votre recherche, affinez-là, obtenez vos réponses !
- Article de bases documentaires
|- 10 févr. 2002
|- Réf : H3068
Le langage C a été défini en 1972 par Denis Ritchie, chercheur des laboratoires Bell... , dans le cadre d’un projet qui visait à réécrire le système d’exploitation Unix dans un langage de haut niveau... . Le langage C a été fortement influencé par son premier client : Unix, et nombre de ses caractéristiques... dans un langage comme Ada ; l’absence de bibliothèque obligatoire d’exécution rejetant la manipulation...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
- Article de bases documentaires
|- 10 mai 2018
|- Réf : H3320
Le typage dans les langages de programmation garantit l’absence de calculs erronés qui seraient dus à des opérations manipulant des données non-conformes. Cette vérification peut s’effectuer à l’exécution (typage dynamique) ou à la compilation (typage statique) et accroît la sûreté d’exécution des programmes. Le typage permet aussi de s’abstraire de la représentation des données pour faciliter la...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
