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. Automatyzacja wnioskowania konstruktywnego

    Konkurs: OPUS 4 , panel: ST6

    Kierownik: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

    Konkurs: OPUS 2 , panel: ST6

    Kierownik: dr Małgorzata Biernacka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Procedury decyzyjne w weryfikacji

    Konkurs: OPUS 2 , panel: ST6

    Kierownik: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Uczenie maszynowe i automatyczne dowodzenie twierdzeń

    Konkurs: OPUS 15 , panel: ST6

    Kierownik: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

    Konkurs: PRELUDIUM 15 , panel: ST6

    Kierownik: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  7. Zastosowania logiki z funcjami częściowymi

    Konkurs: OPUS 9 , panel: ST6

    Kierownik: dr hab. Jean de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki