Fréquence de coupureLa fréquence de coupure d'un circuit électronique est la fréquence limite de fonctionnement utile d'un circuit électronique. La pulsation de coupure est la pulsation correspondante. Les fréquences de coupure basse et haute définissent la bande passante. Conventionnellement, cette limite est souvent fixée à la fréquence pour laquelle la puissance de sortie est réduite de moitié, pour un signal d'entrée de même amplitude, par rapport à la puissance de sortie à la fréquence de référence.
Modal operatorA modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not.
Logique dynamiqueLa logique dynamique est une extension de la logique modale destiné au raisonnement portant sur des programmes informatiques et appliqué plus tard à des comportements complexes plus généraux découlant de la linguistique, de la philosophie, IA, et d'autres domaines. Vaughan Pratt, "Semantical Considerations on Floyd-Hoare Logic", Proc. 17th Annual IEEE Symposium on Foundations of Computer Science, 1976, 109-121. David Harel, Dexter Kozen, and Jerzy Tiuryn, "Dynamic Logic". MIT Press, 2000 (450 pp).
