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

18 808 (0,17s)

Výsledek výzkumu

MINISATION OF COMPLEXLOGICAL FUNCTIONS

IN - Informatika

  • 2012
  • D
  • Odkaz
Výsledek výzkumu

Compression of small text files

IN - Informatika

  • 2008
  • Jx
Výsledek výzkumu

Propositional Analyzer

BA - Obecná matematika

  • 2012
  • R
  • Odkaz
Výsledek výzkumu

Není k dispozici

Není k dispozici...

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

  • 2003
  • D
Výsledek výzkumu

Metoda Quine-McCluskey pro vícehodnotové logické funkce

V tomto článku se zabýváme zobecněněním metody Quine-McCluskey. Ukazujeme, že tato zobecněná metoda umí najít normální formu pro libovolnou konečně-hodnotovou logickou funkci. Tato nalezená normální forma je navíc jednodušší, než kd...

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

  • 2007
  • Jx
Výsledek výzkumu

Zlepšení Quine-McCluskeyho metody dodatečnou heuristikou založenou na řešení problému pokrytí

pro implementaci v počítači. Stručně shrneme známou Quine-McCluskeyho metodu, která dává Quine-McCluskeyho metody není obecně použitelné pro nalezení minima logických funcí s větším počtem hodnot, soustředíme se na interpretaci výs...

BC - Teorie a systémy řízení

  • 2007
  • Jx
Výsledek výzkumu

Minimalizace složitých logických funkcí s využitím technik soft computingu

Hledání minimálních logických funkcí má významné aplikace v návrhu logických obvodů. Tato úloha se řeší mnoha různými metodami, ty ale často nejsou vhodné pro implementaci v počítači. Stručně shrneme známou Quine-McCluskeyho metodu, která dá...

JC - Počítačový hardware a software

  • 2008
  • D
Výsledek výzkumu

Quine a sémantika

Argument proti Quinovu behaviorismu v sémantice. Na bázi příkladů se ukazuje, že Quinova sémantika je teoreticky neplodná.

AA - Filosofie a náboženství

  • 1997
  • Jx
Výsledek výzkumu

Zemřel W. V. O. Quine.

AA - Filosofie a náboženství

  • 2001
  • Jx
Výsledek výzkumu

Quine a rozhraní mezi analytickým a syntetickým.

AA - Filosofie a náboženství

  • 2003
  • Jx
  • 1 - 10 z 18 808