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

  1. Teoriomnogościowe aspekty selekcji topologicznych

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: dr Piotr Jan Szewczak

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych

  2. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

    Konkurs: OPUS 6 , panel: ST6

    Kierownik: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  3. Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

    Konkurs: PRELUDIUM 4 , panel: ST6

    Kierownik: Łukasz Tadeusz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Kombinatoryczne i deskryptywne własności ideałów na zbiorach przeliczalnych.

    Konkurs: PRELUDIUM 4 , panel: ST1

    Kierownik: dr Adam Marek Kwela

    Instytut Matematyczny Polskiej Akademii Nauk