#

Logiques-intuitionnistes

Logiques-intuitionnistes dans l'actualité

Toute l'actualité


Logiques-intuitionnistes dans les livres blancs


Logiques-intuitionnistes dans les conférences en ligne


Logiques-intuitionnistes dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 nov. 2023
  • |
  • Réf : AF89

Logique des propositions et logique des prédicats

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.

  • Article de bases documentaires
  • |
  • 10 nov. 2004
  • |
  • Réf : E180

Opérateurs logiques

Cet article décrit comment réaliser les opérateurs logiques de calcul et de mémorisation... ). Le chapitre « Opérateurs logiques » présente les différents opérateurs de calcul et de mémorisation... de réaliser les opérateurs logiques combinatoires. L’algèbre de Boole fournit les fondements mathématiques... matériels qui réalisent ce traitement. Les portes logiques (composants logiques de base) sont associées...

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

Opérateurs logiques

élémentaires de mémorisation : les bascules réalisées à partir de différentes portes logiques. L’article... particulier des compteurs, puis celui des automates synchrones. Un premier article [ Opérateurs logiques- Fondements... ] a présenté les fondements logiques des opérateurs matériels. Les opérateurs combinatoires présentés... . Dans cette seconde partie [ Opérateurs logiques- Opérateurs séquentiels ], nous abordons les opérateurs séquentiels...

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 : FICHE PRATIQUE
  • |
  • 05 sept. 2011
  • |
  • Réf : 0273

Observer et modéliser les micro-séquences de comportements

Vous avez un cahier des charges fonctionnel et technique qui vous conduit « naturellement » vers des logiques de conception centrée sur l’objet, et vous souhaitez équilibrer cette approche avec la logique d’usage du client final pour une plus grande satisfaction de l’expérience vécue.

Identifier ce qui est contraint ou non naturel du point de vue de l’usage doit vous permettre une nouvelle approche du produit, de son architecture ou de sa logique de dialogue.

  • Observer les usages : contenu et enchaînement.
  • Qu’est-ce que le découpage de « micro-séquences » ?
  • Modéliser les logiques d’usages pour identifier les zones de freins.
  • Schématiser et rééquilibrer la logique machine vers la logique utilisateur.
  • Comment transformer une zone de frein en opportunité d’innovation ?

Méthodes, outils, pilotage et cas d'étude

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 31 août 2012
  • |
  • Réf : 0796

Le réseau logique (réseau PERT)

La réalisation d’un projet nécessite souvent une succession de tâches auxquelles s’attachent des contraintes de temps, d’antériorité des tâches et de moyens.

Vous recherchez la meilleure organisation possible pour que le projet soit terminé à la date voulue ? Vous souhaitez mettre en place un PERT (Program Evaluation and Review Technic) ? La méthodologie détaillée ici vous permettra de créer un réseau PERT. Elle vous donnera étape par étape les éléments indispensables à la réussite de votre projet.

Gestion et pilotage du projet : les fiches pour évaluer, planifier, communiquer, capitaliser

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 11 nov. 2021
  • |
  • Réf : 1728

Comment mettre en place les principes d’effectuation ?

Les principes d’effectuation sont issus des travaux de Saras Sarasvathy qui a travaillé avec Simon Herbert, prix Nobel d’économie. Ils décrivent ce que l’on peut appeler des principes permettant le développement d’une démarche entrepreneuriale.

S’ils s’appliquent parfaitement aux entrepreneurs, sont-ils adaptés aux intrapreneurs ? Et comment, dans une entreprise pilotée par des logiques causales, une démarche aussi antagoniste qu’une démarche effectuale peut-elle naître, survivre, voire même être cultivée ?

Pour chacun des principes, la suite évoque quelques éléments concrets de mise en œuvre au sein d’une organisation classique. Elle fait le parallèle entre l’entrepreneur avec sa liberté de manœuvre – notamment dans le choix de ses investisseurs – et l’intrapreneur qui, lui, subit les contraintes d’un investisseur-employeur souvent unique et issu d’une organisation mature et peu encline à prendre des risques.

Mettre en place une organisation agile dans votre entreprise


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !