Cet article, le deuxième d’une série de trois, traite des logiques classiques qui donneront... naissance à la logique mathématique à la fin du XIXe siècle. La logique des propositions est d’abord... présentée. Ensuite, est exposée la logique des prédicats qui s’est imposée au tournant du XIXe et du XXe... illustrent les propos. En annexe, sont listées les propriétés des connecteurs logiques et les formes logiques...
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.
é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.
Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire des démonstrations de façon semi-automatique, tout en garantissant la correction de ces démonstrations. Ce type d'outil est utile à la vérification de logiciel critique. Cet article présente Coq, assistant de preuve développé en coordination avec l’Inria, à travers un exemple de vérification d'une fonctio...
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
