Wyniki wyszukiwania

Słowa kluczowe: proof systems

Zmień kryteria wyszukiwania ↓

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

1. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

Kierownik: prof. Andrzej Bogusław Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Konkurs: OPUS 13, panel: HS1
2. 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
3. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 4, panel: ST6
4. Metateoria systemów tablicowych

Kierownik: dr hab. Tomasz Dariusz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Konkurs: OPUS 10, panel: HS1
5. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Konkurs: PRELUDIUM 1, panel: HS1
6. Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Konkurs: SONATA 10, panel: ST6
7. Uprawa zbóż wieloletnich oparta na naturze jako model zachowania bioróżnorodności funkcjonalnej w przyszłościowym rolnic…

Kierownik: prof. Katarzyna Hrynkiewicz

Uniwersytet Mikołaja Kopernika, Wydział Nauk Biologicznych i Weterynaryjnych

Konkurs: BIODIVCLIM, panel: NZ9
8. Nowa konstrukcja półprzewodnikowego lasera dyskowego dla emisji w średniej podczerwieni ("proof of concept" dla emisji 1…

Kierownik: prof. Jan Maksymilian Muszalski

Sieć Badawcza ŁUKASIEWICZ - Instytut Mikroelektroniki i Fotoniki

Konkurs: OPUS 13, panel: ST7
9. Ścisła numeryka oraz dowody wspierane komputerowo dla dysypatywnych równań różniczkowych cząstkowych.

Kierownik: Jacek Cyranka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 1, panel: ST6
10. 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
11. Kombinatoryczne powiązania między topologią i dynamiką

Kierownik: prof. Marian Mrozek

Uniwersytet Jagielloński

Konkurs: OPUS 29, panel: ST1
12. Ścisłe metody numeryczne dla równań różniczkowych funkcyjnych

Kierownik: dr Robert Szczelina

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 25, panel: ST6
13. Strategiczna analiza sieci społecznych

Kierownik: dr Tomasz Michalak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 12, panel: ST6
14. Podpisy grupowe ukrywające afiliację

Kierownik: Kamil Krzysztof Kluczniak

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Konkurs: PRELUDIUM 8, panel: ST6
15. Formalne podstawy kryptowalut

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 7, panel: ST6

Wyszukiwarka projektów

Wyniki wyszukiwania