Znaleziono 287 projektów spełniających kryteria wyszukiwania:
Analiza ilościowych modeli obliczeniowych
Konkurs: SONATA BIS 14 , panel: ST6
Kierownik: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
Probabilistyczne aspekty granic Fraïsségo
Konkurs: PRELUDIUM 23 , panel: ST1
Kierownik: Agnieszka Widz
Politechnika Łódzka
Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Konkurs: PRELUDIUM 23 , panel: ST6
Kierownik: Bartosz Bednarczyk
Uniwersytet Wrocławski
Złożoność borelowska ideałów na zbiorach przeliczalnych i zbiory punktów granicznych
Konkurs: OPUS 27 , panel: ST1
Kierownik: dr hab. Adam Kwela
Uniwersytet Gdański
Logarytmiczne własności funkcji A-partycji i A-kompozycji
Konkurs: PRELUDIUM 23 , panel: ST1
Kierownik: Krystian Gajdzica
Uniwersytet Jagielloński w Krakowie
Czas w mechanice kwantowej: porównanie interpretacji mechaniki kwantowej w świetle problemu czasu
Konkurs: PRELUDIUM 23 , panel: HS1
Kierownik: Jakub Róg
Uniwersytet Warszawski
Zagadki zróżnicowania modalnego
Konkurs: SONATINA 8 , panel: HS1
Kierownik: dr Aleksander Domosławski
Uniwersytet im. Adama Mickiewicza w Poznaniu
Filozoficzno-logiczne podstawy przyczynowości mechanicystycznej
Konkurs: SONATINA 8 , panel: HS1
Kierownik: dr Michał Oleksowicz
Uniwersytet Mikołaja Kopernika w Toruniu
Metaanalizy w filozofii eksperymentalnej
Konkurs: OPUS 26 , panel: HS1
Kierownik: dr Bartosz Maćkiewicz
Uniwersytet Warszawski, Wydział Filozofii
Semantyka oparta na relacji: podejście aksjomatyczne i tablicowe
Konkurs: OPUS 26 , panel: HS1
Kierownik: dr hab. Tomasz Jarmużek
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Agenci w biologii ewolucyjnej. Case study: koncepcja Unity-of-Purpose
Konkurs: OPUS 26 , panel: HS1
Kierownik: dr Adrian Stencel
Uniwersytet Jagielloński, Wydział Filozoficzny
Logiki wyższych rzędów a zjawisko absolutności w teorii mnogości
Konkurs: SONATA 19 , panel: HS1
Kierownik: dr Bartosz Wcisło
Uniwersytet Gdański, Wydział Nauk Społecznych
Konkurs: OPUS 26 (LAP) , panel: HS2
Kierownik: dr Kamila Lewandowska
Uniwersytet Warszawski, Instytut Ameryk i Europy
Konkurs: OPUS 26 , panel: HS1
Kierownik: dr Maciej Sendłak
Uniwersytet Warszawski, Wydział Filozofii
Fundamentalne prawa przyrody i ich role w metafizyce
Konkurs: SONATA 19 , panel: HS1
Kierownik: dr Joanna Luc
Uniwersytet Jagielloński, Wydział Filozoficzny
Aksjomaty forsingowe, modele wewnętrzne i determinacja
Konkurs: MAESTRO 15 , panel: ST1
Kierownik: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Michał Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Machiańskie ramy dla fizyki kwantowej
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Antonio Vassallo
Politechnika Warszawska
Wolne i iteratywne operatory na ciałach
Konkurs: PRELUDIUM 22 , panel: ST1
Kierownik: Jakub Gogolok
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 22 , panel: HS4
Kierownik: Binayak Malla
Uniwersytet Warszawski, Wydział Zarządzania
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Adrian Stencel
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: OPUS 25 , panel: HS5
Kierownik: dr hab. Paweł Bryła
Uniwersytet Łódzki, Wydział Studiów Międzynarodowych i Politologicznych
Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych
Konkurs: PRELUDIUM 22 , panel: HS1
Kierownik: Krzysztof Aleksander Krawczyk
Uniwersytet Jagielloński, Wydział Filozoficzny
Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Metafilozofia interpretacji prawniczej
Konkurs: OPUS 25 , panel: HS5
Kierownik: dr hab. Adam Dyrda
Uniwersytet Jagielloński, Jagiellońskie Centrum Badawcze "Prawo – Język – Filozofia"
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Filozofia nauki dla kryzysu replikacji
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Mariusz Maziarz
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: PRELUDIUM 22 , panel: HS1
Kierownik: Marcin Rabiza
Instytut Filozofii i Socjologii Polskiej Akademii Nauk, Szkoła Nauk Społecznych
Przyczynowość i społeczne uwarunkowania zdrowia i choroby
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Elena Popa
Uniwersytet Jagielloński, Wydział Filozoficzny
Automation of the Problem of Unification in Description Logics
Konkurs: POLONEZ BIS 3 , panel: ST6
Kierownik: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Nietrafność epistemiczna -- co dalej?
Konkurs: OPUS 24 , panel: HS1
Kierownik: dr hab. Leszek Wroński
Uniwersytet Jagielloński, Wydział Filozoficzny
Side Conditions and the Saturation of the Non-stationary Ideal
Konkurs: POLONEZ BIS 3 , panel: ST1
Kierownik: dr Rahman Mohammadpour
Instytut Matematyczny Polskiej Akademii Nauk
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 Zbigniew Łełyk
Uniwersytet Warszawski, Wydział Filozofii
Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy
Konkurs: PRELUDIUM 21 , panel: HS1
Kierownik: Arkadiusz Jerzy Wójcik
Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki
Badanie użycia pojęcia "komunikacja" w biologii i naukach o poznaniu
Konkurs: PRELUDIUM 21 , panel: HS1
Kierownik: Wiktor Marcin Rorot
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Równoważność w logikach podstrukturalnych
Konkurs: OPUS 23 , panel: HS1
Kierownik: dr hab. Tomasz Stanisław 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 Grzegorz 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 Michał 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 iaksjomatyzacja
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 Leszek Hohol
Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych
(Anti)Classification and invariants in dynamics
Konkurs: POLONEZ BIS 1 , panel: ST1
Kierownik: dr Philipp Christopher 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