Simple Science

Hochmoderne Wissenschaft einfach erklärt

Hochmoderne Wissenschaft einfach erklärt

Tim Seppelt

Logik in der Informatik Einschränkungen von Spiel-Comonaden in der endlichen Modeltheorie

Dieses Papier untersucht die Herausforderungen, Spiel-Comonaden zur Darstellung logischer Systeme zu nutzen.

2025-10-10T02:41:00+00:00 ― 5 min Lesedauer

Logik in der Informatik Zähl logik in der Graphentheorie erklärt

Eine Übersicht über Zähllogik und ihren Einfluss auf die Graphanalyse.

2025-10-09T16:09:00+00:00 ― 6 min Lesedauer