Projekty finansowane przez NCN
Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych
2013/11/B/HS1/04168
Słowa kluczowe:
algorytmiczna wyuczalność logiki eksperymentalne modele konkretne teorie prawdy teoria modeli złożoność opisowa zbiory low teoria obliczeń
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
- HS1_6: Natura ludzkiego umysłu (w tym: ewolucja umysłu, bio-psychologiczne uwarunkowania poznania, sztuczna inteligencja)
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 4
Konkurs: OPUS 6 - ogłoszony 2013-09-16
Przyznana kwota: 462 000 PLN
Rozpoczęcie projektu: 2014-10-01
Zakończenie projektu: 2017-03-31
Planowany czas trwania projektu: 30 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (4)
- Teksty w publikacjach pokonferencyjnych (2)
- Publikacje książkowe (3)
- A modal logic of a truth definition for finite modelsAutorzy:Marek Czarnecki, Konrad ZdanowskiCzasopismo:Fundamenta Informaticae (rok: 2019, ), Wydawca: IOS PressStatus:Przyjęta do publikacjiDoi:brak - link do publikacji
- Some Remarks on Least ModuliAutorzy:Dariusz KalocińskiCzasopismo:Fundamenta Informaticae (rok: 2019, ), Wydawca: IOS PressStatus:Przyjęta do publikacjiDoi:brak - link do publikacji
- Semantics of the Barwise sentence: insights from expressiveness, complexity and inferenceAutorzy:Dariusz Kalociński, Michał Tomasz GodziszewskiCzasopismo:Linguistics and Philosophy (rok: 2018, tom: 41, strony: 423-455), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s10988-018-9231-5 - link do publikacji
- Truth in the limitAutorzy:Marcin MostowskiCzasopismo:Reports on Mathematical Logic (rok: 2016, tom: 51, strony: 75-89), Wydawca: Wydawnictwo Uniwersytetu JagiellońskiegoStatus:OpublikowanaDoi:10.4467/20842589RM.16.006.5283 - link do publikacji
- Quantifier Learning: An Agent-based Coordination ModelAutorzy:Dariusz Kalociński, Nina Gierasimczuk, Marcin MostowskiKonferencja:International Conference on Autonomous Agents and Multiagent Systems (rok: 2015, ), Wydawca: International Foundation for Autonomous Agents and Multiagent SystemsData:konferencja 4-8 maja 2015Status:Opublikowana
- Concrete mathematics. Finitistic approach to foundations.Autorzy:Marcin Mostowski, Marek CzarneckiKonferencja:24th Workshop on Logic Language Information and Computation (WoLLIC 2017) (rok: 2017, ), Wydawca: SpringerData:konferencja 18-21 lipca 2017Status:Opublikowana
- Andrzej Mostowski, a biographical noteAutorzy:Marcin MostowskiKsiążka:Lvov-Warsaw school. Past and Present. (rok: 2018, tom: -, strony: 551-554), Wydawca: Birkhäuser VerlagStatus:Opublikowana
- Foundations and Philosophy of Mathematics in Warsaw, The school of Andrzej Mostowski and philosophyAutorzy:Marcin MostowskiKsiążka:Lvov-Warsaw school. Past and Present. (rok: 2018, tom: -, strony: 555-565), Wydawca: Birkhäuser VerlagStatus:Opublikowana
- Experimental Logics as a Model of Development of Deductive Science and Computational Properties of Undecidable SentencesAutorzy:Michał Tomasz GodziszewskiKsiążka:Making it Formally Explicit, Probability, Causality and Indeterminism (rok: 2017, tom: 6, strony: 231-242), Wydawca: SpringerStatus:Opublikowana