Улуми расмӣ

Мавод аз Википедиа — донишномаи озод
(Тағйири масир аз Илмҳои расмӣ)

Улуми расмӣ (форсӣ: علوم صوری‎)— маҷмӯи улуме мебошанд, ки бо ташхиси системаҳои расмӣ машғуланд. Ба ин гурӯҳ, барои мисол, улуми зерин дохил мешаванд: мантиқ, риёзиёт, назарияи информатика, назарияи иттилоот, омор ва ҳоказо.