All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

807 (0,069s) •

Project

Complexity of mathematical proofs and structures (GA19-05497S)

We study weak logical systems, guided by the question: what is the weakest natural theory in which we can prove a mathematical statement? This question is often fundamentally complexity theoretic in nature, as proofs in such weak systems can be assoc...

Pure mathematics

  • 2019 - 2022
    • •
  • 9 171 tis. Kč
    • •
  • 8 514 tis. Kč
    • •
  • GA ČR
Project

Solution of climatic conditions in great depths by a proposition of new more effective cooling system (ABCBU51-07)

The aim is the solution of climatic conditions in great depths and the proposition of new more effective cooling system. On the basis of new findings a proposition to edit the regulations and to analyze the microclimatic conditions ...

DH - Báňský průmysl včetně těžby a zpracování uhlí

  • 2007 - 2008
    • •
  • 5 800 tis. Kč
    • •
  • 5 800 tis. Kč
    • •
  • ČBÚ
Project

Arithmetic, proof theory and complexity theory (IAA1019602)

: complexity theory, bounded arithmetic and propositional logic, higher order arithmetic and propositional logic, higher order arithmetic and set theory. Problems of particular interest to arithmetic, independence results for bounde...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 1 779 tis. Kč
    • •
  • 823 tis. Kč
    • •
  • AV ČR
Project

Theories, proofs and computational complexity (IAA1019401)

This is a purely tehoretical research in mathematics and theoretical computer science. The main aim is to study the concept of computational complexity from several points of view:1. first order tehories, 2. the propositional calculus and 3....

BA - Obecná matematika

  • 2004 - 2008
    • •
  • 2 165 tis. Kč
    • •
  • 2 165 tis. Kč
    • •
  • AV ČR
Project

Between Perception and Propositional Knowledge (GA17-05919S)

The core of the project consists in revisiting, in a new and non-trivial way, the nexus that connects perception and thought, including the question of the latter’s propositional and non-propositional kinds. Within this framework, w...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 4 886 tis. Kč
    • •
  • 4 376 tis. Kč
    • •
  • GA ČR
Project

Algebraic methods in non-classical logics (MEB060912)

Every propositional logic is naturally connected with several derived algebraic structures. In particular, these are the implication reducts, the ordered structures of values and so-called ring-like structures. Besides of these, proposit...

BA - Obecná matematika

  • 2009 - 2010
    • •
  • 76 tis. Kč
    • •
  • 76 tis. Kč
    • •
  • MŠMT
Project

Production and distribution balances for selected wastes in conjuction with proposition of instrument´s mix to the prevence of rise material utilization of wastes (1C/7/41/04)

The aim of the project is identification of the key´s elements and definition of relationships in the systemof waste management in the Czech republic, creation of production and distribution balances of thesystem of waste management and propositi...

AH - Ekonomie

  • 2004 - 2005
    • •
  • 1 663 tis. Kč
    • •
  • 1 503 tis. Kč
    • •
  • MŽP
Project

Analysis of the school network development and studyfields structure in secondary education a starting poind for the formulation of propositions of national p. (RS95RC346)

AM - Pedagogika a školství

  • 1995 - 1995
    • •
  • 0 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MŠMT
Project

Human disaffection to the nature research (1C/4/40/04)

Research on natural and anthropogenic environment action impact on human (especially children) sensation and behaviour; proposition solvable measure to optimize advancement.research on natural and anthropogenic environment action impact on m...

DN - Vliv životního prostředí na zdraví

  • 2004 - 2005
    • •
  • 1 893 tis. Kč
    • •
  • 1 434 tis. Kč
    • •
  • MŽP
Project

Logic and unsatisfiability (GA23-04825S)

How does the size of the smallest proof of a statement change, as we increase the complexity of the concepts used in the proof? This is a basic question in logic which, for proofs in weak theories or in propositional logic, is tied to fundam...

Pure mathematics

  • 2023 - 2025
    • •
  • 11 138 tis. Kč
    • •
  • 10 889 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 807