Temat: binary logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Deconstruction. Critical Interventions for the 21st Century and Beyond
Autorzy:: Gunkel, David J.
Data publikacji:: 2022
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: binary logic
deconstruction
Jacques Derrida
Georg W.F. Hegel
philosophy; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: n-ARY FUZZY LOGIC AND NEUTROSOPHIC LOGIC OPERATORS
Autorzy:: Smarandache Florentin
Christianto Vic
Tematy:: BINARY/TRINARY/N-ARY FUZZY LOGIC OPERATORS
BINARY/TRINARY/N-ARY NEUTROSOPHIC LOGIC OPERATORS
N-CONORM
N-NORM
T-CONORM
T-NORM
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Quantitative comparison of Intuitionistic and Classical logics - full propositional system
Autorzy:: Kozik, Jakub
Antoine, Genitrini
Data publikacji:: 2009
Wydawca:: Springer
Słowa kluczowe:: intuitionistic logic
classical logic
Heyting algebra
binary complete tree
left subtree; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: The complexity of certain modal formulas on binary ramified subset trees
Autorzy:: Heinemann, B.
Data publikacji:: 1999
Słowa kluczowe:: modal logic of subset spaces
binary ramified subset trees
satisfiability problem
complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
Autorzy:: Kürbis, Nils
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: definite descriptions
binary quantifier
term forming operator
Lambert's Law
intuitionist negative free logic
natural deduction; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Data publikacji:: 2007
Słowa kluczowe:: binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Data publikacji:: 2007
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing
Autorzy:: Vitulyova, Elizaveta S.
Matrassulova, Dinara K.
Suleimenov, Ibragim E.
Data publikacji:: 2022
Słowa kluczowe:: digital signal processing
non-binary Galois fields
fourier transform
rademacher functions
walsh function
multivalued logic
visibility problem
algebraic extensions
ternary representation of number; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing
Autorzy:: Vitulyova, Elizaveta S.
Matrassulova, Dinara K.
Suleimenov, Ibragim E.
Data publikacji:: 2022
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: digital signal processing
non-binary Galois fields
fourier transform
rademacher functions
walsh function
multivalued logic
visibility problem
algebraic extensions
ternary representation of number; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja