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

5 405 (0,162s) •

Project

Mathematical Fuzzy Logic in Computer Science (GAP202/10/1826)

other logics of importance for computer science (epistemic, deontic, dynamic, etc.)., stressing the purely theoretical logical study as well as its application in computer and model theory of fuzzy lo...

IN - Informatika

  • 2010 - 2016
    • •
  • 9 136 tis. Kč
    • •
  • 9 136 tis. Kč
    • •
  • GA ČR
Project

Predicate graded logics and their applications to computer science (GA17-04630S)

Classical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role in modern computer science. A critical partially developed and scarcely applied to particular c...

IN - Informatika

  • 2017 - 2021
    • •
  • 6 926 tis. Kč
    • •
  • 5 714 tis. Kč
    • •
  • GA ČR
Project

Institute of Theoretical Computer Science (Center of Young Science) (LN00A056)

will include design and analysis of discrete algorithms,computational complexity, computational geometry, mathematical logic and mathematical foundations of computer science, structural issues of comp...

BA - Obecná matematika

  • 2000 - 2004
    • •
  • 78 921 tis. Kč
    • •
  • 60 823 tis. Kč
    • •
  • MŠMT
Project

Mathematical logic, complexity, and algorithms (IAA100190902)

Project of basic research in mathematical logic and theoretical computer science. We focus on bounded arithmetic and proof complexity, set theory, computational complexity theory, and the theory of algorithms. The ...

BA - Obecná matematika

  • 2009 - 2013
    • •
  • 5 509 tis. Kč
    • •
  • 5 509 tis. Kč
    • •
  • AV ČR
Project

An Order-Based Approach to Non-Classical Propositional and Predicate Logics (GA13-14654S)

Formal systems of (non-)classical logics are essential in many areas of computer science. Their appreciation is due to their deductive nature, universality. Such a diverse landscape of logical systems has greatly b...

IN - Informatika

  • 2013 - 2018
    • •
  • 4 570 tis. Kč
    • •
  • 4 570 tis. Kč
    • •
  • GA ČR
Project

Hyperintensional logic for natural language analysis (GA15-13277S)

The main goal of the project is a computer-aided linguistic and logical analysis. Thus the project will apply tools from computational linguistic, logic, philosophy and computer science in order t...

AI - Jazykověda

  • 2015 - 2017
    • •
  • 4 679 tis. Kč
    • •
  • 4 679 tis. Kč
    • •
  • GA ČR
Project

Dynamic Formal Systems (IAA900090703)

dynamic approaches to non-classical logics and formal systems in general, to be applied in various disciplines including computer science, analytic philosophy discourse (applications in philosophy of language and compu...

BA - Obecná matematika

  • 2007 - 2010
    • •
  • 4 479 tis. Kč
    • •
  • 4 479 tis. Kč
    • •
  • AV ČR
Project

Soft Computing Theoretical foundations and experiments (GA201/00/1489)

The SOFT COMPUTING project is a basic and partly also applied research project in computer science and mathematics with distinguished interdisciplinary features within both sciences. Softcomputing is seen as a new ...

BA - Obecná matematika

  • 2000 - 2002
    • •
  • 3 190 tis. Kč
    • •
  • 2 300 tis. Kč
    • •
  • GA ČR
Project

A logico-philosophical analysis of the notion of identity (GJ17-18344Y)

on technical work in theoretical computer science and mathematical logicModern predicate logic teaches us that identity is a reflexive, symmetric and unproblematic''. That identity and its logic is much m...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 2 874 tis. Kč
    • •
  • 2 874 tis. Kč
    • •
  • GA ČR
Project

The Idea of constructions in 'Transparent Intentional Logic" (GA401/99/0006)

the logic - philosophical viewpoint but also as regards theoretical linguistics and theoretical foundations of computer science. The main conceptual means used to fulfilOne of the topical themes in the contemporary epistem...

AA - Filosofie a náboženství

  • 1999 - 2000
    • •
  • 246 tis. Kč
    • •
  • 246 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 5 405