Web Analytics
DICTIONARY
TTS Voice
 virtual keyboard

Russian English Computer Dictionary






Phrases with исчислением found: 3  


Russian-English Computer dictionary
   исчисление достоверности
  certainty calculus (гипотез)

Russian-English Computer dictionary
   исчисление предикатов первого порядка
  first - order logic

Russian-English Computer dictionary
   исчисление предикатов Энного порядка
  n - order logic Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1. Предикатами нулевого порядка считаются выражения, состоящие из термов и констант.