机器证明
_
mechanical theorem proving
примеры:
定理的机器证明
mechanical theorem proving
证明自己不是机器?
Проверить ее
合成人是机器人吧?你能证明自己不只是机器吗?
Синты это же андроиды, да? Можешь доказать, что ты не просто машина?
好,证明给我看,这个机器人酒保懂得怎么倒酒。
Кто-нибудь, скажите мне, что этот робот-бармен способен налить выпить.
只要能证明这一点,我就能根据机器人定律,以骗子的罪名对你执行死刑。
Как только я смогу это доказать, «Законы робототехники» позволят мне уничтожить тебя за ложь.
福勒夫人曾假定,机器人的进化将会使它们超越自己的创造者,看来合成人就是最好的证明。
Мадам Фаулер выдвинула идею, что роботы в процессе эволюции могли превзойти своих создателей и синты подтверждают это.
小心点,这些军用机器人一旦看到你对“政府财产”出手,脾气可是很凶的。我身上有疤痕可以证明这一点。
Осторожнее. Военные роботы приходят в ярость, если начинаешь ковыряться в "государственном имуществе". В подтверждение могу шрамы показать.
此外,将机器人外观做得像人类一样,也没有什么内涵价值可言。巧手先生商业线的成功例子就是个证明了。
Кроме того, придавать им наш облик вовсе не так выгодно. Доказательство тому коммерческий успех линии "Мистеров Помощников".
老板,这台立体声8认证机器……
Этот магнитофон для Stereo 8...
автоматизированная система машиносчитываемых паспортов и виз 护照和签证机器识别自动化系统
АС МСПВ
但是, 因为人类在机器人技术, 高精度的电子,影像, 数据收集和通讯设备等方面得到了长足的发展,所有这些设想都被证明是不必要的。
Но всё это оказалось ненужным благодаря стремительному развитию робототехники, твёрдотельной электроники, технологий получения изображений, технологий сбора данных и связи.
“我是。这个发电机证明宇宙是物质的……”(踢一脚发电机。)
«Зато я философ. Этот генератор доказывает материальность Вселенной...» (Пнуть генератор.)
пословный:
机器 | 证明 | ||
машина, механизм; устройство; машинный, механический
|
1) доказывать, удостоверять, свидетельствовать; свидетельствующий, удостоверяющий
2) быть надлежаще засвидетельствованным (удостоверенным); доказанный, удостоверенный
3) свидетельство, доказательство, справка
|