Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?

2018/31/B/ST6/01294

Słowa kluczowe:

teoria mnogości zliczanie i funkcje tworzące rachunek lambda

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Marek Zaionc 

Liczba wykonawców projektu: 6

Konkurs: OPUS 16 - ogłoszony 2018-09-14

Przyznana kwota: 474 000 PLN

Rozpoczęcie projektu: 2019-07-01

Zakończenie projektu: 2023-11-03

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt zakończony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (7)
  • Teksty w publikacjach pokonferencyjnych (4)
  1. On the concentration of the maximum degree in the duplication-divergence models
    Autorzy:
    Alan Frieze, Krzysztof Turowski, Wojciech Szpankowski
    Czasopismo:
    SIAM Journal on Discrete Mathematics , Wydawca: Society for Industrial and Applied Mathematics
    Status:
    Złożona
    Doi:
    BRAK - link do publikacji
  2. Revisiting Parameter Estimation in Biological Networks: Influence of Symmetries
    Autorzy:
    Jithin K. Sreedharan; Krzysztof Turowski; Wojciech Szpankowski
    Czasopismo:
    IEEE/ACM Transactions on Computational Biology and Bioinformatics (rok: 2020, tom: Volume: 18 Issue: 3, strony: 836 - 849), Wydawca: IEEE/ACM
    Status:
    Opublikowana
    Doi:
    10.1109/TCBB.2020.2980260. - link do publikacji
  3. A NOTE ON THE ASYMPTOTIC EXPRESSIVENESS OF ZF AND ZFC
    Autorzy:
    Maciej Bendkowski
    Czasopismo:
    Journal of Logic and Computation (rok: 2021, tom: 31(7), strony: 1598–1607), Wydawca: Oxford Academic
    Status:
    Opublikowana
    Doi:
    10.1093/logcom/exab038 - link do publikacji
  4. Towards Degree Distribution of a Duplication-Divergence Graph Model
    Autorzy:
    Krzysztof Turowski, Wojciech Szpankowski
    Czasopismo:
    Electronic Journal of Combinatorics (rok: 2021, tom: 28(1), strony: 45675), Wydawca: The Electronic Journal of Combinatorics is owned by its Editorial Board and Editorial Team.
    Status:
    Opublikowana
    Doi:
    10.37236/9 - link do publikacji
  5. Fuzzy Logics - quantitatively
    Autorzy:
    Zofia Kostrzycka, Marek Zaionc
    Czasopismo:
    Journal of Applied Non-Classical Logics (rok: 2023, tom: 34, strony: 13150), Wydawca: Taylor and Francis
    Status:
    Opublikowana
    Doi:
    10.1080/11663081.2023.2269645 - link do publikacji
  6. Weighted 2-sections and hypergraph reconstruction
    Autorzy:
    Robert Janczewski, Paweł Obszarski and Krzysztof Turowski
    Czasopismo:
    Theoretical Computer Science (rok: 2022, tom: 915, strony: 45986), Wydawca: Elseviere
    Status:
    Opublikowana
    Doi:
    10.1016/j.tcs.2022.02.016 - link do publikacji
  7. The Game Chromatic Number of Complete Multipartite Graphs with No Singletons
    Autorzy:
    Paweł Obszarski, Krzysztof Turowski, Hubert Zięba
    Czasopismo:
    Journal of Graph Theory , Wydawca: Wiley Periodicals, LLC.
    Status:
    Złożona
    Doi:
    BRAK - link do publikacji
  1. Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines
    Autorzy:
    Tytus Pikies, Krzysztof Turowski, Marek Kubale
    Konferencja:
    Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021) (rok: 2021, ), Wydawca: Association for the Advancement of Artificial Intelligence
    Data:
    konferencja August 2–13, 2021
    Status:
    Opublikowana
  2. Degree Distribution for Duplication-Divergence Graphs: Large Deviations
    Autorzy:
    Alan FriezeKrzysztof Turowski, Wojciech Szpankowski
    Konferencja:
    International Workshop on Graph-Theoretic Concepts in Computer Science (rok: 2020, ), Wydawca: Springer, Lecture Notes in Computer Science book series (LNCS, volume 12301)
    Data:
    konferencja June 24–26, 2020
    Status:
    Opublikowana
  3. Power-Law Degree Distribution in the ConnectedComponent of a Duplication Graph
    Autorzy:
    Philippe Jacquet, Krzysztof Turowski, Wojciech Szpankowski
    Konferencja:
    31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2020). (rok: 2020, ), Wydawca: Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
    Data:
    konferencja June 15–19, 2020
    Status:
    Opublikowana
  4. Quantitative Study of Fuzzy Logics
    Autorzy:
    Zofia Kostrzycka, Marek Zaionc
    Konferencja:
    2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (rok: 2020, ), Wydawca: IEEE
    Data:
    konferencja 19-24 July 2020
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy