Wszystkie pola: logic reasoning

Skocz do pozycji: 1.

Tytuł:: Projektowanie sekwencyjnych układów cyfrowych z wykorzystaniem logiki sekwentów Gentzena
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2009
Słowa kluczowe:: logika Gentzena
sekwent
wnioskowanie symboliczne
synteza logiczna
Gentzen logic
sequent
symbolic reasoning
logic synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Wykorzystanie komputerowego wnioskowania w projektowaniu kombinacyjnych układów sterowania
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2008
Słowa kluczowe:: logika Gentzena
sekwent
wnioskowanie symboliczne
minimalizacja
tablice decyzyjne
VHDL
Gentzen logic
sequent
symbolic deduction
minimization
decision tables; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2011
Słowa kluczowe:: przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Calculation of State Machine cover of safe Petri net by means of computer based reasoning
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja