Temat: variables logic - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "variables logic" wg kryterium: Temat

Wyświetlanie 1-10 z 12

Zaznacz

Skocz do pozycji: 1.

Tytuł:: On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic
Autorzy:: Cantone, D.
Asmundo, M. N.
Data publikacji:: 2013
Słowa kluczowe:: syllogism
problem solving
satisfiability
variables logic
predicate calculus
mathematical proofs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Single–word self–referential sentences
Autorzy:: Laudański, Ludomir M.
Data publikacji:: 2013
Wydawca:: Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:: Grelling‟s paradox
logic
string variables; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Single–word self–referential sentences
Autorzy:: Ludomir M. Laudański
Tematy:: Grelling‟s paradox
logic
string variables; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Mathematical model of thyristor’s system control of DC motor with independent excitation
Autorzy:: Samotyy, V.
Dzelendzyak, U.
Data publikacji:: 2013
Słowa kluczowe:: motor of direct-current
controlled three-phase rectifier
equation of dynamics
ideal key
logic variables
silnik prądu stałego
sterowany prostownik trójfazowy
równania dynamiki
klucz idealny
zmienne logiczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: An evolutionary model for the parametric optimisation of electromagnetic instruments of variable structures
Autorzy:: Samotyy, V.
Dzelendzyak, U.
Pavelchak, A.
Data publikacji:: 2018
Słowa kluczowe:: evolutionary model
parametric optimisation
ideal key
voltage tripler
fixed mode
additional logic variables
model ewolucyjny
optymalizacja parametryczna
zawór idealny
przetwornica napięcia zmiennego na stałe o potrójnej amplitudzie
przebiegi ustalone
dodatkowe zmienne logiczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Extending Logic Programming with Labelled Variables : Model and Semantics
Autorzy:: Calegari, R.
Denti, E.
Dovier, A.
Omicini, A.
Data publikacji:: 2018
Słowa kluczowe:: formal semantics
labelled systems
labelled variables
logic programming
metainterpretation
situated intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Multi-robot systems scheduling under uncertainty constraints
Autorzy:: Bocewicz, G.
Banaszak, Z.
Bach, I.
Data publikacji:: 2009
Słowa kluczowe:: knowledge engineering
modelling
accurate and uncertain decision variables
constraints logic programming
scheduling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Assessment of economic activity of the company on the base of fuzzy inference rules
Autorzy:: Chojnacki, A.
Borzęcka, H.
Data publikacji:: 2009
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: fuzzy sets theory
fuzzy logic
fuzzy rule of conclusion
linguistic variables
fuzzy model of assessment; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Assessment of economic activity of the company on the base of fuzzy inference rules
Autorzy:: Chojnacki, A.
Borzęcka, H.
Data publikacji:: 2009
Słowa kluczowe:: fuzzy sets theory
fuzzy logic
fuzzy rule of conclusion
linguistic variables
fuzzy model of assessment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Zastosowanie komputerowego wspomagania wyznaczania rangi ważności parametrów z funkcją zmienna zastępcza oraz warunkowość na rzeczywistym przykładzie ze zmiennymi zależnymi o podobnej ważności
Autorzy:: Tiszbierek, Agnieszka
Data publikacji:: 2021
Słowa kluczowe:: algorytm Quine’a-McCluskeya minimalizacji indywidualnych funkcji logicznych
ranga ważności zmiennych decyzyjnych
warunkowość zmiennych oraz zmienna zastępcza
algorithm Quine-McCluskey for minimizing individual logic functions
decision variables importance rank
conditionality of variables and substitute variable; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 12

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "variables logic" wg kryterium: Temat