Kategorio:Logiko en komputiko
- La ĉefa artikolo por ĉi tiu kategorio estas Komputa logiko.
Bildoj, sonoj kaj videoj pri temo Logiko en komputiko en Vikimedia Komunejo
Subkategorioj
Ĉi tiu kategorio havas la 2 jenajn subkategoriojn, el 2 entute.
L
- Lambda-kalkulo (2 P)
T
- Teorio de tipoj (2 P)
Paĝoj en kategorio “Logiko en komputiko”
La jenaj 3 paĝoj estas en ĉi tiu kategorio, el 3 entute.