Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 7 projektów spełniających kryteria wyszukiwania:

  1. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Lidia Tendera

    Uniwersytet Opolski

  2. Automation of the Problem of Unification in Description Logics

    Konkurs: POLONEZ BIS 3 , panel: ST6

    Kierownik: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  3. Wokół logik modalnych - rozstrzygalność i złożoność

    Konkurs: PRELUDIUM 2 , panel: ST6

    Kierownik: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

    Konkurs: OPUS 16 , panel: ST6

    Kierownik: dr hab. Lidia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  5. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

    Konkurs: PRELUDIUM 1 , panel: HS1

    Kierownik: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  6. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

    Konkurs: OPUS 14 , panel: ST1

    Kierownik: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  7. W poszukiwaniu nowych logik komputerowych

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy