Wyszukiwarka projektów

• Słowa kluczowe: dowodzenie twierdzeń ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 7 projektów spełniających kryteria wyszukiwania:

1. 1. Uczenie maszynowe i automatyczne dowodzenie twierdzeń

   Kierownik: dr hab. Henryk Michalewski

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 15, panel: ST6

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

   Kierownik: Bartosz Paweł Piotrowski

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: PRELUDIUM 15, panel: ST6

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

4. 4. Zastosowania logiki z funcjami częściowymi

   Kierownik: dr hab. Jean Marie de Nivelle

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 9, panel: ST6

5. 5. Automatyzacja wnioskowania konstruktywnego

   Kierownik: dr hab. Aleksy Andrzej Schubert

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 4, panel: ST6

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

   Kierownik: dr Małgorzata Biernacka

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 2, panel: ST6

7. 7. Procedury decyzyjne w weryfikacji

   Kierownik: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 2, panel: ST6