belegungsfunktion
1Belegungsfunktion — svorinė funkcija statusas T sritis fizika atitikmenys: angl. weight function; weighting function vok. Belegungsfunktion, f; Gewichtsfunktion, f rus. весовая функция, f pranc. fonction de pondération, f …
2Herbrand-Theorie — Der nach Jacques Herbrand, einem französischen Logiker, benannte Satz von Herbrand (engl. Herbrand s theorem, was gelegentlich nicht ganz korrekt als Herbrand Theorie übersetzt wird) in der Prädikatenlogik lautet: Sei F eine geschlossene Formel… …
3Satz von Herbrand — Der Satz von Herbrand ist ein Satz aus der Prädikatenlogik und wurde nach dem französischen Logiker Jacques Herbrand benannt. Er macht eine Aussage über die Erfüllbarkeit einer prädikatenlogischen Formel. Der Satz lautet: Sei F eine geschlossene… …
4Ruth Barcan Marcus — (* 2. August 1921 in der Bronx, New York)[1] ist eine US amerikanische Philosophin und Logikerin. Sie ist eine der Begründerinnen der quantifizierten Modallogik (modale Prädikatenlogik) und der Theorie der starren Desigantion ( direct reference ) …
5Gewichtsfunktion — svorinė funkcija statusas T sritis fizika atitikmenys: angl. weight function; weighting function vok. Belegungsfunktion, f; Gewichtsfunktion, f rus. весовая функция, f pranc. fonction de pondération, f …
6fonction de pondération — svorinė funkcija statusas T sritis fizika atitikmenys: angl. weight function; weighting function vok. Belegungsfunktion, f; Gewichtsfunktion, f rus. весовая функция, f pranc. fonction de pondération, f …
7svorinė funkcija — statusas T sritis fizika atitikmenys: angl. weight function; weighting function vok. Belegungsfunktion, f; Gewichtsfunktion, f rus. весовая функция, f pranc. fonction de pondération, f …
8weight function — svorinė funkcija statusas T sritis fizika atitikmenys: angl. weight function; weighting function vok. Belegungsfunktion, f; Gewichtsfunktion, f rus. весовая функция, f pranc. fonction de pondération, f …
9weighting function — svorinė funkcija statusas T sritis fizika atitikmenys: angl. weight function; weighting function vok. Belegungsfunktion, f; Gewichtsfunktion, f rus. весовая функция, f pranc. fonction de pondération, f …
10весовая функция — svorinė funkcija statusas T sritis fizika atitikmenys: angl. weight function; weighting function vok. Belegungsfunktion, f; Gewichtsfunktion, f rus. весовая функция, f pranc. fonction de pondération, f …