Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают:
Исчисление кортежей
Исчисление доменов
Робототе́хника (от робот и техника; англ. robotics — роботика[1], роботехника[2]) — прикладная наука, занимающаяся разработкой автоматизированных технических систем и являющаяся важнейшей технической основой развития производства[3].
Робототехника опирается на такие дисциплины, как электроника, механика, кибернетика, телемеханика, мехатроника[4], информатика, а также радиотехника и электротехника. Выделяют строительную, промышленную, бытовую, медицинскую, авиационную и экстремальную (военную, космическую, подводную) робототехнику.