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 3 projektów spełniających kryteria wyszukiwania:

  1. Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki

    Konkurs: OPUS 25 , panel: ST1

    Kierownik: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Rozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanych

    Konkurs: OPUS 2 , panel: ST6

    Kierownik: prof. Jarosław Grytczuk

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  3. 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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy