برنامه‌سازی غیرمستدل
heuristic programming
روبات
robot
دستور زبان رایانه‌ای
computational grammar
رده هم‌ارز
equivalence class
روبات‌شناسی
robotics
سامانه تطبیقی
adaptive system
سامانه یادگیری
learning system
ماشین ترتیبی
sequential machine
Turing machine
ماشین تورینگ
automata theory
نظریه خودکارافزار
محاسبه‌پذیری و تصمیم‌پذیری
computability and decidability
منطق احتمالاتی
probabilistic logic
منطق صوری
formal logic
نظریه محاسبه
computation theory