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

16 (0,071s)

Výsledek výzkumu

Computability and Non-computability Issues in Amorphous Computing

IN - Informatika

  • 2012
  • D
Výsledek výzkumu

Demuth randomness and computational complexity

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

  • 2011
  • Jx
  • Odkaz
Výsledek výzkumu

Extendability of Continuous Maps Is Undecidable

BD - Teorie informace

  • 2014
  • Jx
  • Odkaz
Výsledek výzkumu

Vyčíslitelnost a složitost (část I.)

vyčíslitelnost...

IN - Informatika

  • 2005
  • Jx
Výsledek výzkumu

DEMUTH'S PATH TO RANDOMNESS

IN - Informatika

  • 2015
  • Jx
  • Odkaz
Výsledek výzkumu

Gödel and computations: a 100th anniversary retrospective

BA - Obecná matematika

  • 2006
  • Jx
Výsledek výzkumu

Vyčíslitelnost a složitost (část II.)

vyčíslitelnost...

IN - Informatika

  • 2005
  • Jx
Výsledek výzkumu

On transitive modal many-valued logics

Pure mathematics

  • 2021
  • Jimp
  • Odkaz
Výsledek výzkumu

Relativistic Computers and Non-Uniform Complexity Theory.

BA - Obecná matematika

  • 2002
  • D
Výsledek výzkumu

Exploring the Frontiers of Computability.

BA - Obecná matematika

  • 2002
  • Jx
  • 1 - 10 z 16