resolvent
21Resolution (Logik) — Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein Widerlegungsverfahren: Statt direkt die Allgemeingültigkeit einer Formel zu… …
22Resolutionskalkül — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
23Resolutionsprinzip — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
24Resolutionsverfahren — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
25Fredholm theory — In mathematics, Fredholm theory is a theory of integral equations. In the narrowest sense, Fredholm theory concerns itself with the solution of the Fredholm integral equation. In a broader sense, the abstract structure of Fredholm s theory is… …
26RÉSOUDRE — v. a. ( Je résous, tu résous, il résout ; nous résolvons, vous résolvez, ils résolvent. Je résolvais. Je résolus. J ai résolu. Je résoudrai. Je résoudrais. Résous, résolvez. Que je résolve. Que je résolusse. Résolvant. ) Faire cesser la… …
27Spectrum (functional analysis) — In functional analysis, the concept of the spectrum of a bounded operator is a generalisation of the concept of eigenvalues for matrices. Specifically, a complex number λ is said to be in the spectrum of a bounded linear operator T if… …
28C0-semigroup — In mathematics, a C0 semigroup, also known as a strongly continuous one parameter semigroup, is a generalization of the exponential function. Just as exponential functions provide solutions of scalar linear constant coefficient ordinary… …
29Perturbation theory — This article describes perturbation theory as a general mathematical method. For perturbation theory as applied to quantum mechanics, see perturbation theory (quantum mechanics). Perturbation theory comprises mathematical methods that are used to …
30Separable polynomial — In mathematics, two slightly different notions of separable polynomial are used, by different authors. According to the most common one, a polynomial P(X) over a given field K is separable if all its roots are distinct in an algebraic closure of… …
