- ARTICLE INTERACTIF
|- 10 nov. 2023
|- Réf : AF88
Le terme « logique » est dérivé du grec ancien signifiant à la fois « discours... et plus récemment de l’informatique et surtout de l’intelligence artificielle, la logique traite de l’inférence,... sur les langages et sur les raisonnements, avant d’aborder les systèmes logiques, puis la métalogique. Un glossaire... ’une série de trois, dont le deuxième portera sur la « logique des propositions et la logique des prédicats...
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 janv. 2024
|- Réf : AF91
logiques intuitionnistes... et algèbre de Boole ; logique propositionnelle intuitionniste et algèbre d’Heyting ; logique... complètement dignes de confiance et véridiques. Logiques anti-intuitionnistes Les logiques anti-intuitionnistes... des logiques intuitionnistes (da Costa, 1974). Logique de l’arbre de calcul La logique de l’arbre...
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 nov. 2004
|- Réf : E181
élémentaires de mémorisation : les bascules réalisées à partir de différentes portes logiques. L’article... logiques des opérateurs matériels. Les opérateurs combinatoires présentés dans le premier article... et de l’état précédent des sorties. Les bascules, réalisées à partir des portes logiques élémentaires... logiques. Ces bascules, qui opèrent uniquement selon des principes logiques, sont appelées statiques...
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.