Externí odkazy

Interpolace, amalgamace a výpočty

JUNIOR STAR - GAČR GM25-18306M [Registrované výsledky] 2025 - 2029

Hlavní řešitel: Ing. Wesley Fussner, Ph.D.

Interpolace je základní metalogická vlastnost širokého významu pro několik oborů, včetně ověřování softwaru/hardwaru, databází, matematiky a filozofie.

Tento projekt si klade za cíl překlenout propast mezi dvěma dominantními paradigmaty ve studiu interpolace: teoretickým důkazem a algebraickým přístupem. Sloučením těchto metodologií projekt vyvine systematický popis interpolace v různých prostředích a zejména vytvoří flexibilní a výkonnou sadu nástrojů pro zkoumání interpolace v různých logických kontextech.

Náš výzkum klade zvláštní důraz na nalezení široce použitelných technik pro pochopení výpočetních aspektů interpolace, jako je rozhoditelnost různých otázek souvisejících s interpolací a složitost souvisejících algoritmů.

Cíle projektu

  1. Překlenout propast mezi syntaktickými a sémantickými přístupy k interpolaci.
  2. Poskytnout systematickou interpolaci účtů napříč různými logickými kontexty.
  3. Využít poznatky z soudržnějšího rámce k prohloubení našeho chápání interpolace v důležitých případových studiích.