Rezolúció oor Russies

Rezolúció

Vertalings in die woordeboek Hongaars - Russies

Правило резолюций

voorbeelde

Ha már előállítottuk a P-t, akkor ez használható az inverz rezolúció későbbi lépéseiben is.
После его формирования предикат P может использоваться на дальнейших этапах обратной резолюции.

Robinson felfedezte a rezolúciót, az elsőrendű logika teljes bizonyítási eljárását (lásd 9. fejezet).
Робинсоном метода резолюции (полного алгоритма доказательства теорем для логики первого порядка; см. главу 9).

Hogyan alkalmazható a rezolúció annak megmutatásra, hogy egy mondat érvényes-e?
Как можно воспользоваться методом резолюции для демонстрации того, что некоторое высказывание является общезначимым?

A lineáris rezolúció teljes eljárás.
Метод линейной резолюции является полным.

A rezolúció meg tudja válaszolni ezt is, de ennek a válasznak a levezetése egy kicsit több munkát igényel.
Резолюция позволяет это сделать, но для получения отL вета требует немного больше работы.

Robinsont (nem rokona az előzőnek) a rezolúció módszerének kifejlesztéséhez (Robinson, 1965).
Робинсон (который не связан родством с Абрахамом Робинсоном) пришел к созданию метода резолюции [1298].

Ebben az alfejezetben meg fogjuk vizsgálni, hogyan lehet kiterjeszteni a rezolúciót az elsőrendű logikára.
В этом разделе будет показано, как распространить резолюL цию на логику первого порядка.

Rezolúció A logikai rendszerek általunk bemutatandó három családjának az utolsó tagja a rezolúción (resolution) alapul.
РЕЗОЛЮЦИЯ Последнее из трех рассматриваемых в данной главе семейств логических систем основано на резолюции.