Elsőrendű logika oor Russies

Elsőrendű logika

Vertalings in die woordeboek Hongaars - Russies

предикатная логика

voorbeelde

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

Ez sima elsőrendű logika.
Это стандартная логика первого порядка.

Az elsőrendű logika két standard kvantort tartalmaz, amelyeket univerzális és egzisztenciális kvantoroknak nevezünk.
Логика первого порядка включает два стандартных квантора, называемых кванторами всеобщности и существования.

A formális nyelvek, mint például az elsőrendű logika vagy a Java, szigorú matematikai definíciókkal rendelkeznek.
Формальные языки, такие как логика первого порядка и Java, имеют строгие математические определения.

Az elsőrendű logika ezenkívül tényeket közölhet az univerzum néhány vagy összes objektumáról.
Логика первого порядка позволяет также выражать факты о некоторых или обо всех объектах во Вселенной.

A türelmetlen olvasó teljes leírást talál az elsőrendű logika formális nyelvtanáról a 8.3. ábrán.
Нетерпеливый читатель может найти полное опиL сание формальной грамматики логики первого порядка в листинге 8.1.

Az MX-széria elsőrendű logikán alapszik.
Серия MX основана на первой Исчисление предикатов

Írja át a 7.5. alfejezetben bemutatott ítéletlogikai wumpus világ tényeit elsőrendű logikába.
Запишите в логике первого порядка факты о мире вампуса, представленные в разделе 7.5 с помощью пропозициональной логики.

(Az eddigiekben az elsőrendű logikához használt jelöléseket prefixnek (prefix) nevezzük.)
(Система обозначений, которая используется в этом разделе для логики первого порядка, называется # префиксной.)

Az elsőrendű logika modelljei ennél érdekesebbek.
Модели для логики первого порядка являются более интересными.

Ha itt lenne, az elsőrendű logika alapján már halottak lennénk, vagy tűzharcban állnánk.
Если бы он был здесь, то по логике первого порядка мы уже были бы мертвы или обстреляны.

Az elsőrendű logika szemszögéből van ennek értelme, mivel a P ⇐ ¬Q a P ∨ Q-val ekvivalens.
С точки зрения логиL ки первого порядка в этом есть смысл, поскольку выражение P ⇐ ¬Q эквивалентно P ∨ Q.

Az elsőrendű logika egy filozófiai érvelési rendszer, ami a " ha / akkor " állításokat jelzőként vagy állítmányként használja.
Логика первого порядка это философская система рассуждений использующая утверждения типа " если / то " как квантификаторы или сказуемое

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

Ezek a környezetek már igénylik az elsőrendű logika kifejezőerejét (lásd 8. fejezet).
Для подобных вариантов среды требуется выразительная мощь логики первого порядка (см. главу 8).

Elsőrendű logika?
Логика первого порядка?

Leopold Löwenheim adta meg a modellelmélet rendszerezett leírását az elsőrendű logika számára (Löwenheim, 1915).
Леопольд Лёвенхейм дал систематическую трактовку теории моделей для логики первого порядка в 1915 году [951].

A tudás tartalmának és szervezésének a megvitatására elsőrendű logikát választottunk.
Мы решили использовать логику первого порядка для обсуждения содержания и организации знаний.