Wyszukiwarka projektów

• Słowa kluczowe: formalizacja ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

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

1. 1. Uznawanie świętych w pełnym średniowieczu. Nowe spojrzenie na lokalną i papieską formalizację kultów

   Kierownik: dr hab. Grzegorz Leszek Pac

   Uniwersytet Warszawski, Wydział Historii

   Konkurs: SONATA BIS 13, panel: HS3

2. 2. Epistemologiczne aspekty zastosowania implikacji treściowej jako narzędzia formalizacji wyrażeń języka naturalnego.

   Kierownik: dr hab. Piotr Łukowski

   Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

   Konkurs: OPUS 9, panel: HS1

3. 3. Zintegrowana formalizacja rozumowań normatywnych dotyczących własności deontycznych działań i stanów rzeczy

   Kierownik: dr Robert Trypuz

   TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

   Konkurs: OPUS 9, panel: HS1

4. 4. SYNAMET - mikrokorpus metafor synestezyjnych. Formalizacja opisu i wypracowanie efektywnych metod analizy metafor w dysk…

   Kierownik: dr hab. Magdalena Anna Zawisławska

   Uniwersytet Warszawski, Wydział Polonistyki

   Konkurs: OPUS 8, panel: HS2

5. 5. Metody formalizacji i kryteria racjonalności wnioskowań zawodnych

   Kierownik: dr hab. Anna Wójtowicz

   Uniwersytet Warszawski, Wydział Filozofii i Socjologii

   Konkurs: OPUS 3, panel: HS1

6. 6. Metateoria systemów tablicowych

   Kierownik: dr hab. Tomasz Dariusz Jarmużek

   Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

   Konkurs: OPUS 10, panel: HS1

7. 7. Czy język ekonomii ogranicza jej moc wyjaśniającą? Analiza wpływu nierealistycznych założeń, matematycznego formalizmu i…

   Kierownik: dr Łukasz Hardt

   Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

   Konkurs: SONATA 1, panel: HS4