Şərt — müəyyən şərtin doğruluğundan asılı olaraq baş verən və ya baş verməyən hərəkət və ya əməliyyat haqqında işlədilən termin.[1]
Kompüter elmində qərarların idarə edilməsi üçün proqramlaşdırma dili əmrlərinə deyilir. Konkret olaraq, proqramçı tərəfindən müəyyən edilmiş Boolean şərtinin doğru və ya yanlış olaraq qiymətləndirilməsindən asılı olaraq şərtlər müxtəlif hesablamaları və ya hərəkətləri həyata keçirir. Nəzarət axını baxımından qərar həmişə hansısa şərt əsasında axının seçici şəkildə dəyişdirilməsi ilə əldə edilir. Dinamik göndərmə adətən şərti konstruksiya kimi təsnif edilməsə də, icra zamanı alternativlər arasında seçim etməyin başqa bir yoludur. Şərti ifadələr, vəziyyətə uyğun davranışı təyin edən proqramda nəzarət nöqtələridir.
"Şərti deyim" termini adətən imperativ proqramlaşdırma dillərində istifadə olunur. Bunun əksinə olaraq, funksional proqramlaşdırmada "şərti ifadə" və ya "şərti konstruksiya" terminlərinə üstünlük verilir, çünki bu terminlərin hamısının fərqli mənaları var.