Ночной пятничный контач, у меня к вам важный вопрос. Речь о жизни или смерти.
Представьте себе, что у вас есть три множества неких фактов: A, B и C.
Между множествами может быть определена операция =>, означающая следствие. Если известно что A=>B то это означает, что из такого-то факта из A следует сякой-то факт из B, и ничто иное.
Маленькому роботу Стёпику дали систему из трех непротиворечивых операций (под непротиворечивостью понимается невозможность каким либо образом получить разные результаты из исходных данных): A=>B, A=>C и B=>C, и приказали, как только ему дают какой-либо факт, предоставлять все факты, которые из него следуют, и только их. Если робот ошибётся, его аннигилируют.
Но маленький Стёпик может запомнить только две операции :(
Может, ему можно помочь и показать, что какую-то операцию запоминать не надо?
Представьте себе, что у вас есть три множества неких фактов: A, B и C.
Между множествами может быть определена операция =>, означающая следствие. Если известно что A=>B то это означает, что из такого-то факта из A следует сякой-то факт из B, и ничто иное.
Маленькому роботу Стёпику дали систему из трех непротиворечивых операций (под непротиворечивостью понимается невозможность каким либо образом получить разные результаты из исходных данных): A=>B, A=>C и B=>C, и приказали, как только ему дают какой-либо факт, предоставлять все факты, которые из него следуют, и только их. Если робот ошибётся, его аннигилируют.
Но маленький Стёпик может запомнить только две операции :(
Может, ему можно помочь и показать, что какую-то операцию запоминать не надо?
Friday night contact, I have an important question for you. It's about life or death.
Imagine that you have three sets of certain facts: A, B and C.
Between sets, the operation => meaning the effect can be defined. If it is known that A => B then this means that from such and such a fact from A follows a certain fact from B, and nothing else.
A small robot Stepic was given a system of three consistent operations (consistency means the impossibility of somehow obtaining different results from the original data): A => B, A => C, and B => C, and ordered as soon as he is given any fact, provide all the facts that follow from it, and only them. If the robot makes a mistake, it is annihilated.
But little Steepik can remember only two operations: (
Maybe you can help him and show that you don’t need to memorize any operation?
Imagine that you have three sets of certain facts: A, B and C.
Between sets, the operation => meaning the effect can be defined. If it is known that A => B then this means that from such and such a fact from A follows a certain fact from B, and nothing else.
A small robot Stepic was given a system of three consistent operations (consistency means the impossibility of somehow obtaining different results from the original data): A => B, A => C, and B => C, and ordered as soon as he is given any fact, provide all the facts that follow from it, and only them. If the robot makes a mistake, it is annihilated.
But little Steepik can remember only two operations: (
Maybe you can help him and show that you don’t need to memorize any operation?
У записи 1 лайков,
0 репостов,
298 просмотров.
0 репостов,
298 просмотров.
Эту запись оставил(а) на своей стене Дмитрий Барашев
