Projekty finansowane przez NCN

Semantyka z kontynuacjami i typami zależnymi: badanie mechanizmów kwantyfikacji w języku naturalnym

Konkurs: OPUS 12 , panel: HS1

Kierownik: dr hab. Justyna Anna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Algebraiczne i topologiczne metody w teorii modeli

Konkurs: SONATA BIS 6 , panel: ST1

Kierownik: prof. Krzysztof Cyprian Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Konkurs: SONATA BIS 6 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Czasoprzestrzenne historie - teoria i zastosowania

Konkurs: HARMONIA 8 , panel: HS1

Kierownik: prof. Tomasz Grzegorz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Problem wyjaśniania w matematyce

Konkurs: OPUS 11 , panel: HS1

Kierownik: prof. Krzysztof Piotr Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał.

Konkurs: PRELUDIUM 11 , panel: ST1

Kierownik: Daniel Maksymilian Hoffmann

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Materiały hybrydowe - na pograniczu urządzeń neuromorficznych oraz układów logiki rozmytej

Konkurs: PRELUDIUM 11 , panel: ST3

Kierownik: Kacper Krzysztof Pilarczyk

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Fenomenologiczne mechanizmy prefabrykowania przestrzeni mentalnych

Konkurs: OPUS 11 , panel: HS1

Kierownik: dr hab. Wojciech Sławomir Krysztofiak

Uniwersytet Szczeciński, Instytut Filozofii i Kognitywistyki

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Maria Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Definicja i analiza struktur absolutnych w kontekście problemu niezależności od tła teorii fizycznych

Konkurs: PRELUDIUM 11 , panel: HS1

Kierownik: Kamil Łacina

Uniwersytet Jagielloński, Wydział Filozoficzny

Prezentyzm i pojęcie istnienia

Konkurs: OPUS 11 , panel: HS1

Kierownik: dr hab. Jerzy Gołosz

Uniwersytet Jagielloński, Wydział Filozoficzny

Teoria modeli z działaniem grupy skończonej

Konkurs: ETIUDA 4 , panel: ST1

Kierownik: Daniel Maksymilian Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozumowania hipotetyczne i okresy warunkowe

Konkurs: FUGA 5 , panel: HS1

Kierownik: dr Maciej Dawid Sendłak

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Nowe metody parametrycznego modelowania heterogeniczności preferencji konsumentów

Konkurs: SONATA 10 , panel: HS4

Kierownik: prof. Mikołaj Czajkowski

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Teoria modeli i dynamika topologiczna

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr hab. Krzysztof Cyprian Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nierówności korelacyjne dla procesów punktowych

Konkurs: OPUS 10 , panel: ST1

Kierownik: prof. Ryszard Jacek Szekli

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badania przyczynowe we współczesnej ekonomii

Konkurs: PRELUDIUM 10 , panel: HS1

Kierownik: Mariusz Łukasz Maziarz

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii i Finansów

Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Teorie bez własności drzewa pierwszego rodzaju.

Konkurs: SONATA 10 , panel: ST1

Kierownik: dr Jan Dobrowolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Konkurs: OPUS 10 , panel: ST6

Kierownik: dr hab. Michał Krzysztof Baczyński

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

Nierówności dla wektorów log-wklęsłych

Konkurs: PRELUDIUM 10 , panel: ST1

Kierownik: Marta Strzelecka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Prawa w biologii ewolucyjnej

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr Krzysztof Chodasewicz

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Mechanizmy poznania geometrycznego

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr Mateusz Leszek Hohol

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Tablicowe systemy logiki wiążącej motywowane filozoficznymi interpretacjami spójników języka naturalnego

Konkurs: PRELUDIUM 10 , panel: HS1

Kierownik: Mateusz Klonowski

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Metateoria systemów tablicowych

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr hab. Tomasz Dariusz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Nowoczesne metody w zespolonej geometrii afinicznej.

Konkurs: SONATA BIS 5 , panel: ST1

Kierownik: dr Karol Andrzej Palka

Instytut Matematyczny Polskiej Akademii Nauk

Filozofia z metodologicznego punktu widzenia. Kondycja i perspektywy dyscyplin filozoficznych w świetle paradygmatu Szko...

Konkurs: SONATA BIS 5 , panel: HS1

Kierownik: prof. Anna Magdalena Brożek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Krajobraz strachu w lasach: wpływ martwego drewna i wilków na odnowienie gatunków drzew o zróżnicowanej jakości pokarmow...

Konkurs: OPUS 9 , panel: NZ8

Kierownik: dr hab. Dries Pieter Jan Kuijper

Instytut Biologii Ssaków PAN

Zastosowania logiki z funcjami częściowymi

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Jean Marie de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Koncepcja wnioskowań naukowych Jerzego Neymana

Konkurs: PRELUDIUM 9 , panel: HS1

Kierownik: Adam Paweł Kubiak

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne

Konkurs: OPUS 9 , panel: HS1

Kierownik: prof. Jerzy Pogonowski

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

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

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

Niezmiennicze relacje równoważności

Konkurs: PRELUDIUM 9 , panel: ST1

Kierownik: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Metodologiczne podstawy wnioskowań w badaniach prowadzonych metodami mieszanymi

Konkurs: OPUS 8 , panel: HS1

Kierownik: dr hab. Paweł Stanisław Kawalec

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

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

Konkurs: OPUS 8 , panel: ST10

Kierownik: dr Agnieszka Malinowska

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

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nowe perspektywy Arystotelesa "Analityk pierwszych i wtórych". Nowy polski przekład "Analityk" ze wstępem, komentarzem i...

Konkurs: OPUS 8 , panel: HS1

Kierownik: prof. Marian Wesoły

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Małgorzata Zbrzezny

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

Co to jest populacja? Darwinowska perspektywa

Konkurs: PRELUDIUM 8 , panel: HS1

Kierownik: Adrian Krzysztof Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Logiki do przetwarzania danych i weryfikacji

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Permissions, Information and Institutional Dynamics, Obligations, and Rights

Konkurs: BEETHOVEN 1 , panel: HS1

Kierownik: dr hab. Piotr Wojciech Kulicki

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

Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Konkurs: MAESTRO 6 , panel: ST6

Kierownik: prof. Paweł Maria Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kognitywistyka w poszukiwaniu jedności: unifikacja i integracja badań interdyscyplinarnych

Konkurs: SONATA BIS 4 , panel: HS1

Kierownik: dr hab. Marcin Tomasz Miłkowski

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

Konkurs: SONATA 7 , panel: ST1

Kierownik: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Definiowalna dynamika topologiczna i o-minimalność

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: dr Grzegorz Wojciech Jagiella

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki