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. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

    Konkurs: PRELUDIUM 1 , panel: HS1

    Kierownik: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  2. Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

    Konkurs: SONATA BIS 7 , panel: HS1

    Kierownik: dr hab. Dorota Leszczyńska-Jasion

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

  3. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

    Konkurs: OPUS 13 , panel: HS1

    Kierownik: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  4. Aksjomatyzacje rozmaitości i quasirozmaitości

    Konkurs: SONATA 1 , panel: ST1

    Kierownik: dr Michał Stronkowski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy