Simple Science

Hochmoderne Wissenschaft einfach erklärt

Hochmoderne Wissenschaft einfach erklärt

Tesla Zhang

Logik in der Informatik Verstehen von Typen und ihrer Organisation

Ein klarer Blick auf Typen und ihre Beziehungen in der Mathematik.

2025-09-22T01:06:18+00:00 ― 6 min Lesedauer

Logik in der Informatik Induktive Typen und Bedingungen in der funktionalen Programmierung

Eine Übersicht über induktive Typen, Bedingungen und ihre Rolle im Programmieren.

2025-08-16T01:16:36+00:00 ― 6 min Lesedauer