mathematical logic

matematiksel mantık

1. • bilişim
   Matematiksel önerme ve bağıntıları, doğal dillerdeki bulanıklıkları gidermek için özel bir biçimsel dilde temsil eden ve mantık kurallarını cebirsel bir yapı olarak inceleyen matematik dalı.
   Eşanlam:  simgesel mantık
   İngilizce mathematical logic; symbolic logic

   Fransızca logique mathématique, f; logique symbolique, f

   Almanca mathematische Logik, f; symbolische Logik, f