Wyszukiwarka projektów

• Słowa kluczowe: proof complexity ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 4 projekty spełniających kryteria wyszukiwania:

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

   Kierownik: dr hab. Dorota Leszczyńska-Jasion

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

   Konkurs: SONATA BIS 7, panel: HS1

2. 2. Koncepcja struktur kluczowych: wielopoziomowe znaczenie gniazd ptaków jako dowód na istnienie krytycznych komponentów ek…

   Kierownik: dr hab. Michał Adam Ciach

   Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

   Konkurs: OPUS 21, panel: NZ8

3. 3. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

   Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 14, panel: ST1

4. 4. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

   Kierownik: dr Michał Ksawery Zawidzki

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Konkurs: PRELUDIUM 1, panel: HS1