Znaleziono 248 projektów spełniających kryteria wyszukiwania:
Reprezentacje semantyk algebraicznych dla logik podstrukturalnych
Konkurs: OPUS 24 (LAP) , panel: HS1
Kierownik: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny
Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje
Konkurs: SONATA 18 , panel: ST6
Kierownik: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 24 , panel: HS1
Kierownik: dr hab. Monika Michałowska
Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu
Skończenie stanowe obliczenia wielomianowe
Konkurs: MAESTRO 14 , panel: ST6
Kierownik: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Logiczne i epistemologiczne kryteria istotności w podstawach matematyki
Konkurs: SONATA BIS 12 , panel: HS1
Kierownik: dr Mateusz Łełyk
Uniwersytet Warszawski, Wydział Filozofii
Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy
Konkurs: PRELUDIUM 21 , panel: HS1
Kierownik: Arkadiusz Wójcik
Uniwersytet w Białymstoku, Instytut Filozofii
Badanie użycia pojęcia "komunikacja" w biologii i naukach o poznaniu
Konkurs: PRELUDIUM 21 , panel: HS1
Kierownik: Wiktor Rorot
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Równoważność w logikach podstrukturalnych
Konkurs: OPUS 23 , panel: HS1
Kierownik: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny
Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.
Konkurs: OPUS 23 , panel: ST6
Kierownik: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Stan kwantowy: informacja, wolny wybór, losowość
Konkurs: OPUS 23 , panel: HS1
Kierownik: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Rozwój protokołu komunikacyjnego z użyciem strukturyzowanych wiązek świetlnych
Konkurs: OPUS 23 , panel: ST7
Kierownik: dr Mateusz Szatkowski
Politechnika Wrocławska
Argumentacje transcendentalne. Modele i zastosowania
Konkurs: PRELUDIUM 21 , panel: HS1
Kierownik: Stanisław Jędrczak
Uniwersytet Warszawski, Wydział Filozofii
Pluralizm przesłanek w filozofii ekonomii
Konkurs: OPUS 23 , panel: HS1
Kierownik: dr Mariusz Maziarz
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: SONATINA 6 , panel: HS1
Kierownik: dr Krystian Bogucki
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe i aksjomatyzacja
Konkurs: OPUS 22 , panel: HS1
Kierownik: prof. Andrzej Pietruszczak
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Artefakty poznawcze w różnych skalach czasowych: Podejście integracyjne
Konkurs: OPUS 22 , panel: HS1
Kierownik: dr hab. Mateusz Hohol
Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych
(Anti)Classification and invariants in dynamics
Konkurs: POLONEZ BIS 1 , panel: ST1
Kierownik: dr Philipp Kunde
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Arytmetyka i geometria ciał z operatorami
Konkurs: OPUS 22 , panel: ST1
Kierownik: prof. Piotr Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Values, Trust, and Decision Making in Public Health
Konkurs: POLONEZ BIS 1 , panel: HS1
Kierownik: dr Elena Popa
Uniwersytet Jagielloński, Wydział Filozoficzny
Kategorie jakościowości i indywidualności w logice, ontologii i fizyce
Konkurs: OPUS 22 , panel: HS1
Kierownik: prof. Tomasz Bigaj
Uniwersytet Warszawski, Wydział Filozofii
Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Elżbieta Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II
W stronę charakterystyki instytucji prawnych w kategoriach modeli
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Wojciech Graboń
Uniwersytet Warszawski, Wydział Prawa i Administracji
Henri Bergson a szczególna teoria względności
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Anna Kuszmiruk
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Reinterpretując anaforę: w stronę podejścia opartego na wieloznaczności
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Antonina Jamrozik
Uniwersytet Warszawski, Wydział Filozofii
Wybrane zagadnienia w zastosowaniach teorii mnogości w analizie funkcjonalnej
Konkurs: PRELUDIUM 20 , panel: ST1
Kierownik: Damian Głodkowski
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: OPUS 21 , panel: HS1
Kierownik: dr Paula Quinon
Politechnika Warszawska, Wydział Administracji i Nauk Społecznych
Ontologia ekstensjonalna i logika filozoficzna
Konkurs: OPUS 2 , panel: HS1
Kierownik: dr hab. Andrzej Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Rekonceptualizacja probabilizmu w kontekstach prawnych
Konkurs: OPUS 21 , panel: HS1
Kierownik: dr hab. Rafał Urbaniak
Uniwersytet Gdański, Wydział Nauk Społecznych
Rozumowanie w egzegezie biblijnej: od Stefana Langtona do Tomasza z Akwinu
Konkurs: SONATA 16 , panel: HS1
Kierownik: dr Marcin Trepczyński
Uniwersytet Warszawski, Wydział Filozofii
Prawdopodobieństwo okresów warunkowych - model grafowy
Konkurs: OPUS 20 , panel: HS1
Kierownik: dr hab. Anna Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii
Matematyzowane teorie naukowe i podstawy matematyki stosowanej
Konkurs: OPUS 20 , panel: HS1
Kierownik: dr Jeffrey Ketland
Uniwersytet Warszawski, Wydział Filozofii
Wnioskowanie ilościowe odporne na perturbacje
Konkurs: OPUS 20 , panel: ST6
Kierownik: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Procedury decyzyjne w weryfikacji
Konkurs: OPUS 2 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 16 , panel: HS1
Kierownik: dr Jacek Wawer
Uniwersytet Jagielloński, Wydział Filozoficzny
Logiczno-filozoficzne podstawy geometrii i topologii
Konkurs: OPUS 20 , panel: HS1
Kierownik: dr hab. Rafał Gruszczyński
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Konkurs: SONATA 16 , panel: HS1
Kierownik: dr Joanna Malinowska
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny
Badanie strategii retorycznych w dialogu
Konkurs: OPUS 2 , panel: HS1
Kierownik: dr hab. Katarzyna Budzyńska
INSTYTUT FILOZOFII I SOCJOLOGII PAN
Konkurs: OPUS 19 , panel: HS1
Kierownik: dr hab. Maciej Malicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Turing, Ashby i "aktywność mózgu"
Konkurs: OPUS 19 , panel: HS1
Kierownik: dr Hans-Joachim Greif
Politechnika Warszawska, Wydział Administracji i Nauk Społecznych
Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Konkurs: OPUS 19 , panel: ST6
Kierownik: dr Michał Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 19 , panel: HS1
Kierownik: Aleksandra Gomułczak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny
Konkurs: OPUS 19 , panel: ST1
Kierownik: prof. Witold Marciszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 19 , panel: HS1
Kierownik: Anna Petiurenko
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Konkurs: ETIUDA 8 , panel: HS1
Kierownik: Agnieszka Proszewska
Uniwersytet Jagielloński, Wydział Filozoficzny
Kategoryjne ujęcie konstrukcji Fraisségo-Jónssona
Konkurs: OPUS 2 , panel: ST1
Kierownik: dr hab. Wiesław Kubiś
Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy
Konstrukcja teorii w empirycznych naukach społecznych i naukach behawioralnych
Konkurs: OPUS 18 , panel: HS1
Kierownik: dr hab. Frank Zenker
Politechnika Warszawska, Wydział Administracji i Nauk Społecznych
Wokół logik modalnych - rozstrzygalność i złożoność
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Inteligentne podejścia do rozmieszczania obiektów w zarządzaniu, produkcji i logistyce
Konkurs: OPUS 18 , panel: HS4
Kierownik: dr hab. Rafał Michalski
Politechnika Wrocławska
W stronę kognitywnie wiarygodnego, kompozycyjnego modelu kwantyfikacji w języku naturalnym
Konkurs: OPUS 18 , panel: HS1
Kierownik: dr hab. Justyna Grudzińska-Zawadowska
Uniwersytet Warszawski, Wydział Filozofii i Socjologii