Wszystkie pola: binary logic

Skocz do pozycji: 1.

Tytuł:: Przetwornik logiki binarnej na logikę trójwartościową i czterowartościową
Signal converter of the binary logic to ternary and quaternary logic
Autorzy:: Walecki, M.
Urbańczyk, M.
Słota, M.
Wituła, R.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: modelowanie matematyczne
logika binarna i wielowartościowa
przetworniki logiki
binary logic
logic conversion; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Deconstruction. Critical Interventions for the 21st Century and Beyond
Autorzy:: David J. Gunkel
Data publikacji:: 2022
Tematy:: binary logic
deconstruction
Jacques Derrida
Georg W.F. Hegel
philosophy; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

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ł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Przetwornik logiki binarnej na logikę trójwartościową i czterowartościową
Autorzy:: Walecki, M.
Urbańczyk, M.
Słota, M.
Wituła, R.
Data publikacji:: 2012
Słowa kluczowe:: modelowanie matematyczne
logika binarna i wielowartościowa
przetworniki logiki
binary logic
logic conversion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

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ł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Definability and Canonicity for Boolean Logic with a Binary Relation
Autorzy:: Balbiani, P.
Tinchev, T.
Data publikacji:: 2014
Słowa kluczowe:: Boolean algebra
modal logic
definability
canonicity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Modelowanie matematyczne przetworników logiki binarnej na logikę wielowartościową oraz realizacja praktyczna przetwornika
Autorzy:: Walecki, M.
Urbańczyk, M.
Słota, D.
Wituła, R.
Data publikacji:: 2011
Słowa kluczowe:: modelowanie matematyczne
logika binarna i wielowartościowa
enkoder
mathematical modelling
multivalued logic converter
practical converter; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Modelowanie matematyczne przetworników logiki binarnej na logikę wielowartościową oraz realizacja praktyczna przetwornika
Mathematical modelling of binary to multivalued logic converters and practical converter design
Autorzy:: Walecki, M.
Urbańczyk, M.
Słota, D.
Wituła, R.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: modelowanie matematyczne
logika binarna i wielowartościowa
enkoder
mathematical modelling
multivalued logic converter
practical converter; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
Autorzy:: Petrukhin Yaroslav
Shangin Vasilyi
Data publikacji:: 2019-06-15
Tematy:: proof search
correspondence analysis
three-valued logic
strong Kleene logic
natural deduction
proof theory; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
Współwytwórcy:: Shangin, Vasilyi Autor
Petrukhin, Yaroslav Autor
Data publikacji:: 2019
Tematy:: Dedukcja naturalna
Logika trójwartościowa
Algorytmy
Automatyczne dowodzenie twierdzeń
Dowodzenie (logika); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Wykorzystanie binarnych diagramów decyzyjnych do syntezy wielopoziomowych układów logicznych
Autorzy:: Opara, A.
Data publikacji:: 2006
Słowa kluczowe:: binarne diagramy decyzyjne
synteza wielopoziomowych układów logicznych
binary decision diagrams
level logic synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Przetwornik sygnałów logiki dwuwartościowej na czterowartościową z zastosowaniem sześciowejściowego napięciowego wzmacniacza operacyjnego
Autorzy:: Topór-Kamiński, L.
Walecki, M.
Data publikacji:: 2008
Słowa kluczowe:: logika wielowartościowa
sześciowejściowy wzmacniacz operacyjny
wzmacniacz bezrezystancyjny
multiple-valued logic
six-input operational amplifier
resistanceless amplifier; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

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ł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Zmodyfikowany system rozmyty w układzie sterowania obiektów o wejściach dyskretnych
Autorzy:: Gacek, T.
Data publikacji:: 2000
Słowa kluczowe:: sterownik rozmyty
układ sterowania
sygnały dyskretne
fuzzy logic system
binary inputs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

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ł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
Autorzy:: Bubacz, P.
Adamski, M.
Data publikacji:: 2007
Słowa kluczowe:: binarne diagramy decyzyjne
OBDD
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
Reconfigurable Logic Controller state space representation using encoded Binary Decision Diagrams
Autorzy:: Bubacz, P.
Adamski, M.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: 1st order nonstationary measurement system
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: On logic transformations of the binary stochastic process
O transformacjach logicznych binarnego procesu stochastycznego
Autorzy:: Korzan, B.
Data publikacji:: 1971
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

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ł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Wykorzystanie pseudo-MTBDD w dekompozycji zespołu funkcji
Autorzy:: Opara, A.
Kania, D.
Data publikacji:: 2008
Słowa kluczowe:: binary decision diagrams (BDD)
multi-terminal BDD (MTBDD)
logic synthesis
decomposition; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
Autorzy:: Kürbis, Nils
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: definite descriptions
negative intuitionist free logic
natural deduction
normalization; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Synteza wielowyjściowych układów logicznych prowadząca do wykorzystania wspólnych bloków logicznych
Autorzy:: Opara, A.
Kania, D.
Data publikacji:: 2007
Słowa kluczowe:: dekompozycja
wielokorzeniowe binarne diagramy decyzyjne (BDD)
synteza programowalnych układów logicznych
decomposition
shared binary decision diagrams (SBDD)
programmable logic devices synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: BDD-based decompositions of multiple output logic functions
Autorzy:: Dzikowski, A.
Hrynkiewicz, E.
Data publikacji:: 2006
Słowa kluczowe:: binary decision diagrams
decomposition
FPGA; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

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ł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: A binary quantifier for definite descriptions in intuitionist negative free logic : natural deduction and normalisation
Autorzy:: Kürbis, Nils Autor
Data publikacji:: 2019
Tematy:: Dedukcja naturalna
Logika wolna
Kwantyfikator
Teoria deskrypcji
Logika intuicjonistyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "binary logic" wg kryterium: Wszystkie pola