Wyszukiwarka projektów

• Słowa kluczowe: logika kombinatoryczna ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 4 projekty spełniających kryteria wyszukiwania:

1. 1. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

   Kierownik: prof. Marek Zaionc

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: OPUS 6, panel: ST6

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

   Kierownik: dr Adam Marek Kwela

   Instytut Matematyczny Polskiej Akademii Nauk

   Konkurs: PRELUDIUM 4, panel: ST1

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

   Kierownik: Łukasz Tadeusz Czajka

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: PRELUDIUM 4, panel: ST6

4. 4. Teoriomnogościowe aspekty selekcji topologicznych

   Kierownik: dr Piotr Jan Szewczak

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

   Konkurs: WEAVE-UNISONO, panel: ST1