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 !
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.
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.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
