ค้นหาอัตโนมัติโดยใช้ *mathematical logic*
  ศัพท์บัญญัติราชบัณฑิตยสถาน 
คณิตตรรกศาสตร์, คณิตตรรกวิทยา [ปรัชญา ๒ มี.ค. ๒๕๔๕]
คณิตตรรกศาสตร์ [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗]
  WordNet (3.0) 
(n) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validitySyn. formal logic, mathematical logic
  CC-CEDICT CN-EN Dictionary 
[    /    , shù lǐ luó jíㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧˊmathematical logic; symbolic logic #92366
  EDICT JP-EN Dictionary 
[すうがくてきろんりがく, suugakutekironrigaku] (n) mathematical logic
[すうりろんりがく, suurironrigaku] (n) (See 記号論理学) mathematical logic
  COMPDICT JP-EN Dictionary 
[きごうろんりがく, kigouronrigaku] symbolic logic, mathematical logic
[すうりろんりがく, suurironrigaku] symbolic logic, mathematical logic
เพิ่มคำศัพท์
add
ทราบความหมายของคำศัพท์นี้? กด [เพิ่มคำศัพท์] เพื่อใส่คำนี้พร้อมความหมาย เพื่อเป็นวิทยาทานแก่ผู้ใช้ท่านอื่น ๆ