Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

17 082 (0,134s)

Výsledek výzkumu

Which Fuzzy Logic Satisfy the Compactness Problem?

Compactness in an important property of a classical logic. It states to the satisfiablity of all its subsets. In fuzzy logics, we have different degrees of satisfiability, hence the questions of compactness become ...

BA - Obecná matematika

  • 2002
  • D
Výsledek výzkumu

Compactness of Fuzzy Logics

Compactness is an important property of classical logic. It states to the satisfiability of all its finite subsets. In fuzzy logics, we have different degrees of satisfiability, hence the questions of compactness b...

JD - Využití počítačů, robotika a její aplikace

  • 2004
  • Jx
Výsledek výzkumu

Compactness of Fuzzy Logic

Compactness is an important property of classical logic. It states to the satisfiability of all its finite subsets. In fuzzy logics, we have different degrees of satisfiability, hence the questions of compactness b...

BA - Obecná matematika

  • 2004
  • Jx
Výsledek výzkumu

Two Notions of Compactness in Gödel Logics

In this paper we will deal with compactness of Gödel logics. We give a nearly complete answer to the problem of entailment and satisfiability based compactness. We show a tight correspondence between these two concepts....

BA - Obecná matematika

  • 2005
  • Jx
Výsledek výzkumu

Safe Arithmetic for Compact PLC

Compact programmable logic controllers for control applications...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2001
  • D
Výsledek výzkumu

The Open Compiler PCL for Compact Programmable Logic Controller

Not available...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2003
  • D
Výsledek výzkumu

The State-of-the-Art of Logical Circuits Automated Test Pattern Generation and Output Response Compaction

In this report, a basic overview of automated test pattern generation and output response compaction is given. Then the state-of-the-art in these fields is given....

Computer hardware and architecture

  • 2017
  • O
Výsledek výzkumu

Compactness of Fuzzy Logics

Not available...

JD - Využití počítačů, robotika a její aplikace

  • 2001
  • D
Výsledek výzkumu

Which fuzzy logics satisfy the compactness property

Not available...

JD - Využití počítačů, robotika a její aplikace

  • 2002
  • A
Výsledek výzkumu

Two approaches to fuzzy propositional logics

We compare two approaches to fuzzy logics: R-fuzzy logics studied mainly by H'ajek, and S-fuzzy logics introduced by Butnariu, Klement and Zafrany. We improve some previous results and we discuss satisfiability, compact...

BA - Obecná matematika

  • 2003
  • Jx
  • 1 - 10 z 17 082