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”
CS
ČeštinaEnglish

Filtry

2 408 (0,12s) •

Projekt

Složitost t-normových logik - algebraický a důkazově teoretický přístup (KJB100300701)

je založena na zleva spojitých t-normách. Základní logika nad kterou chceme pracovat je Monoidal T-norm Logic (MTL). Existuje relativně mnoho výsledků studijících složitost t

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 741 tis. Kč
    • •
  • 741 tis. Kč
    • •
  • AV ČR
Projekt

Úplně uspořádané monoidy (GJ15-07724Y)

Tématem projektu je výzkum svazově uspořádaných monoidů se zvláštním důrazem na ty, které jsou úplně uspořádané. Protože dosud známé metody pro zkoumání této oblasti matematiky se zdají být vyčerpané, je záměrem projektu využít nových metod, jejichž ...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 2 999 tis. Kč
    • •
  • 2 999 tis. Kč
    • •
  • GA ČR
Projekt

Teorie důkazů modální koalgebraické logiky (GPP202/11/P304)

zkoumat algebraické vlastnosti modalit. Modální logiku koalgeber typu T lze založitRovnicová logika je považována za logiku algeber, modální logika je logikou projekt se soustředí na studium modá...

IN - Informatika

  • 2011 - 2015
    • •
  • 768 tis. Kč
    • •
  • 768 tis. Kč
    • •
  • GA ČR
Projekt

Ústní disputace v 16. a 17. století – Analýza tří nových zdrojů (GA18-24004S)

Projekt z oblasti aplikované logiky navrhuje analyzovat některé nové primární zdroje pro výzkum ústních disputací 16. a 17. století. Zkoumané zdroje jsou tyto tři: (a) Clare et non minus compendiose introductiones ad logicam, cum qu...

Philosophy, History and Philosophy of science and technology

  • 2018 - 2022
    • •
  • 626 tis. Kč
    • •
  • 570 tis. Kč
    • •
  • GA ČR
Projekt

Matematické základy inference a rozhodování za nejistoty (IAA100300503)

matematickým základům fuzzy logiky a logik domnění a druhého grantového projektu věnovaného kombinaci a společné zobecnění. V matematické fuzzy výrokové a predikátové logice na základní fuzzy logice BL. V teorii m...

BA - Obecná matematika

  • 2005 - 2009
    • •
  • 2 812 tis. Kč
    • •
  • 2 812 tis. Kč
    • •
  • AV ČR
Projekt

Geometrie asociativních struktur (GPP201/12/P055)

při popisu MTL algeber. Tyto algebry tvoří sémantiky MTL logiky, což je prototypická vícehodnotová logika, která se v současné době těší zájmu velkého množství vědců......

BA - Obecná matematika

  • 2012 - 2014
    • •
  • 1 578 tis. Kč
    • •
  • 1 578 tis. Kč
    • •
  • GA ČR
Projekt

Rozvoj nestandardních optimalizačních metod a jejich aplikace v ekonomii a managementu (GA402/09/0405)

Výzkum má dvě paralelní propojené části. V první části projektu je zaměřen na optimalizační problémy se zobecněnými aritmetickými operacemi v účelových funkcích a omezujících podmínkách, zejména t-normy a konormy a operace v extremá...

AE - Řízení, správa a administrativa

  • 2009 - 2013
    • •
  • 6 984 tis. Kč
    • •
  • 6 984 tis. Kč
    • •
  • GA ČR
Projekt

Matematické modely neurčitosti (GA201/97/0437)

Základním zaměřením projektu je studium logických operací nazývaných trojúhelníkové normy a konormy. Tyto operace zobecňují klasické booleovské spojky a v tomto smyslu představují logické operace v zobecněných či nestandardních logikách<...

BA - Obecná matematika

  • 1997 - 1999
    • •
  • 1 276 tis. Kč
    • •
  • 960 tis. Kč
    • •
  • GA ČR
Projekt

LOGICA série mezinárodních interdisciplinárních konferencí a vědeckých publikací (IAA0009001)

Projekt LOGICA tvoří komplex badatelských, konferenčních a publikačních aktivit v oblasti filosofické logiky a příbuzných hraničních oborů. Cíle: a) zabezpečení 14.-16. ročníku unikátní mezinárodní konference LOGICA (pořáda...

AA - Filosofie a náboženství

  • 2000 - 2002
    • •
  • 1 743 tis. Kč
    • •
  • 1 203 tis. Kč
    • •
  • AV ČR
Projekt

Deplece T regulačních buněk bez použití anti-CD25 monoklonální protilátky pro potenciaci chemoimunoterapie polymerními léčivy a IL-2 imunokomplexy (GAP301/11/0325)

Rozhodující roli v inhibici T buněčné imunitní odpovědi hrají T regulační (Treg signálu. Bohužel, anti-CD25 mAb může taktéž eliminovat následně aktivované T buňky, které mají vysokou stimulační aktivitu pro CD122high buňky,...

FD - Onkologie a hematologie

  • 2011 - 2015
    • •
  • 17 039 tis. Kč
    • •
  • 17 039 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 2 408