Projekty finansowane przez NCN
Analiza ilościowych modeli obliczeniowych
2024/54/E/ST6/00287
Słowa kluczowe:
ważone modele obliczeniowe szeregi potęgowe rozstrzygalność i złożoność logika
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, informatyka kwantowa
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 5
Konkurs: SONATA BIS 14 - ogłoszony 2024-06-18
Przyznana kwota: 2 107 800 PLN
Rozpoczęcie projektu: 2025-04-09
Zakończenie projektu: 2030-04-08
Planowany czas trwania projektu: 60 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
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.