Change language

Wyszukiwarka projektów

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

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

  1. 51. Logiczno-filozoficzne podstawy geometrii i topologii

    Kierownik: dr hab. Rafał Gruszczyński

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

    Konkurs: OPUS 20, panel: HS1

  2. 52. Modelowanie rozumowań abdukcyjnych

    Kierownik: dr hab. Mariusz Paweł Urbański

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

    Konkurs: SONATA BIS 3, panel: HS1

  3. 53. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 11, panel: ST6

  4. 54. Organizacyjne sposoby radzenia sobie z napięciem między ekonomią daru a logiką rynkową na podstawie przykładu sieci Couc…

    Kierownik: Karolina Joanna Mikołajewska-Zając

    Akademia Leona Koźmińskiego

    Konkurs: PRELUDIUM 5, panel: HS4

  5. 55. Miary złożoności strukturalnej dla teorii podstaw matematyki

    Kierownik: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

    Konkurs: WEAVE-UNISONO, panel: HS1

  6. 56. Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce

    Kierownik: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Konkurs: OPUS 25, panel: HS1

  7. 57. Matematyzowane teorie naukowe i podstawy matematyki stosowanej

    Kierownik: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

    Konkurs: OPUS 20, panel: HS1

  8. 58. Semantyka oparta na relacji: podejście aksjomatyczne i tablicowe

    Kierownik: dr hab. Tomasz Dariusz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

    Konkurs: OPUS 26, panel: HS1

  9. 59. Argumentacje transcendentalne. Modele i zastosowania

    Kierownik: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

    Konkurs: PRELUDIUM 21, panel: HS1

  10. 60. Rozumowanie w egzegezie biblijnej: od Stefana Langtona do Tomasza z Akwinu

    Kierownik: dr Marcin Lech Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

    Konkurs: SONATA 16, panel: HS1

  11. 61. Efektywne obliczenia w predykatywnej matematyce

    Kierownik: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATINA 2, panel: ST6

  12. 62. Przezwyciężenie paradoksów naiwnej poprawności logicznej i nieformalnej dowodliwości poprzez semantykę niedeterministycz…

    Kierownik: Paweł Pawłowski

    Uniwersytet Gdański, Wydział Nauk Społecznych

    Konkurs: SONATINA 2, panel: HS1

  13. 63. Pojęciowe, formalne i praktyczne aspekty kryminologicznych i prawniczych zastosowań narzędzi probabilistycznych.

    Kierownik: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

    Konkurs: SONATA BIS 6, panel: HS1

  14. 64. 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

  15. 65. 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

  16. 66. Permissions, Information and Institutional Dynamics, Obligations, and Rights

    Kierownik: dr hab. Piotr Wojciech Kulicki

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

    Konkurs: BEETHOVEN 1, panel: HS1

  17. 67. Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

    Kierownik: dr Jakub Gismatullin

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: SONATA 7, panel: ST1

  18. 68. Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

    Kierownik: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Konkurs: OPUS 6, panel: HS1

  19. 69. Konstruowanie specyfikacji i weryfikacja oprogramowania

    Kierownik: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 6, panel: ST6

  20. 70. Probabilizm Rudolfa Carnapa.

    Kierownik: Paweł Szymon Pruski

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Konkurs: PRELUDIUM 5, panel: HS1

  21. 71. Ontologiczny argument Goedla: historia, modyfikacje, rozszerzenia i kontrowersje

    Kierownik: dr hab. Kordula Świętorzecka

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

    Konkurs: HARMONIA 4, panel: HS1

  22. 72. 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

  23. 73. Analiza logicznych i matematycznych założeń w traktatach Piero della Francesca

    Kierownik: dr hab. Ryszard Romuald Mirek

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

    Konkurs: OPUS 4, panel: HS1

  24. 74. Automatyzacja wnioskowania konstruktywnego

    Kierownik: dr hab. Aleksy Andrzej Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 4, panel: ST6

  25. 75. Ontologia metafizyki

    Kierownik: dr hab. Paweł Rafał Garbacz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

    Konkurs: OPUS 4, panel: HS1

  26. 76. Literatura i nauki ścisłe: dialog dwóch kultur ponad metaforami we współczesnej literaturze włoskiej

    Kierownik: dr Stefano Pietro Redaelli

    Uniwersytet Warszawski, Wydział Artes Liberales

    Konkurs: SONATA 4, panel: HS2

  27. 77. Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji

    Kierownik: prof. Jan Hertrich-Woleński

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

    Konkurs: OPUS 4, panel: HS1

  28. 78. 80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

    Kierownik: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno Historyczny

    Konkurs: OPUS 2, panel: HS1

  29. 79. Procedury decyzyjne w weryfikacji

    Kierownik: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: OPUS 2, panel: ST6

  30. 80. Insolubilia. Pierwsze średniowieczne dyskusje na temat antynomii logicznych

    Kierownik: dr hab. Magdalena Ewa Bieniak-Nowak

    Uniwersytet Warszawski

    Konkurs: OPUS 29, panel: HS1

  31. 81. Analiza ilościowych modeli obliczeniowych

    Kierownik: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

    Konkurs: SONATA BIS 14, panel: ST6

  32. 82. Roberta Halifaxa koncepcja woli i jej wpływ na woluntaryzm wiedeński w piętnastym wieku

    Kierownik: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi

    Konkurs: WEAVE-UNISONO, panel: HS1

  33. 83. Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

    Kierownik: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA 18, panel: ST6

  34. 84. Skończenie stanowe obliczenia wielomianowe

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: MAESTRO 14, panel: ST6

  35. 85. Wnioskowanie ilościowe odporne na perturbacje

    Kierownik: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: OPUS 20, panel: ST6

  36. 86. Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

    Kierownik: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: OPUS 19, panel: ST6

  37. 87. Inteligentne podejścia do rozmieszczania obiektów w zarządzaniu, produkcji i logistyce

    Kierownik: dr hab. Rafał Michalski

    Politechnika Wrocławska

    Konkurs: OPUS 18, panel: HS4

  38. 88. Nieskończoność we wnioskowaniu o danych i wiedzy

    Kierownik: dr hab. Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA BIS 8, panel: ST6

  39. 89. Uczenie maszynowe i automatyczne dowodzenie twierdzeń

    Kierownik: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 15, panel: ST6

  40. 90. Badania metod intensyfikacji procesów sorpcyjnych w modyfikowanych konstrukcjach złóż adsorpcyjnych

    Kierownik: prof. Jarosław Marek Krzywański

    Akademia im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

    Konkurs: OPUS 15, panel: ST8

  41. 91. Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

    Kierownik: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: SONATA 12, panel: ST6

  42. 92. Problem separacji w teorii automatów

    Kierownik: dr Wojciech Karol Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA 11, panel: ST6

  43. 93. Implikacje rozmyte i ich wpływ na różnorodne metody wykorzystywane w systemach inteligentnych.

    Kierownik: dr hab. Michał Krzysztof Baczyński

    UNIWERSYTET ŚLĄSKI, Wydział Nauk Ścisłych i Technicznych

    Konkurs: OPUS 10, panel: ST6

  44. 94. Model migracji pustki w górotworze naruszonym, generującej deformacje nieciągłe na powierzchni terenu

    Kierownik: dr Agnieszka Malinowska

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geodezji Górniczej i Inżynierii Środowiska

    Konkurs: OPUS 8, panel: ST10

  45. 95. Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

    Kierownik: Agnieszka Małgorzata Zbrzezny

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

    Konkurs: PRELUDIUM 8, panel: ST6

  46. 96. Sieci: Podejście Wielodyscyplinarne

    Kierownik: prof. Krzysztof Rafał Apt

    Uniwersytet Warszawski, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

    Konkurs: OPUS 7, panel: ST6

  47. 97. Rozwój oraz synteza nowoczesnych metod modelowania niepewności w rozwiązaniu wielokryterialnych problemów decyzyjnych

    Kierownik: prof. Pavel Sevastsyanau

    Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

    Konkurs: OPUS 6, panel: ST6

  48. 98. Optymalne projektowanie materiałów i struktur kompozytowych poddanych obciążeniom zmęczeniowym

    Kierownik: prof. Aleksander Muc

    Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Mechaniczny

    Konkurs: OPUS 5, panel: ST8

  49. 99. Atrybutywne Użycie Deskrypcji Określonych

    Kierownik: Wojciech Andrzej Rostworowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Konkurs: PRELUDIUM 5, panel: HS1

  50. 100. Granice obliczalności dla zapytań rekurencyjnych

    Kierownik: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: PRELUDIUM 5, panel: ST6

Projekt graficzny i wykonanie: Jakub Piotrowski