Terms for subject Information technology containing исчисление

Russian	English
вариационное исчисление	variations calculus
задача исчисления процентов	interest problem
исчисление вероятностей	probability calculus
исчисление вероятностей	probability calculation
исчисление высказываний	sententional calculus
исчисление высказываний	prepositional calculus
исчисление кубических комплексов	cubical algebra
исчисление отношений	relation calculus
исчисление предикатов :	predicate calculus
исчисление предикатов N-ого порядка	N-order logic
исчисление соединений процессов	join-calculus (Alex_Odeychuk)
исчисление широковещательных систем	calculus of broadcasting systems (Alex_Odeychuk)
компьютер, работающий в реальном исчислении времени	on-line computer
компьютерная система, работающая в реальном исчислении времени	On-Line Computer System
логика исчисления предикатов	predicate logic
матричное исчисление	index calculus
операционное исчисление	operating calculus
пропозициональное исчисление	prepositional calculus
расширенное исчисление	extended calculus
реляционное исчисление	relation calculus (relational calculus Gruzovik)
С-исчисление	C-calculus
ситуационное исчисление	situation calculus
язык типа исчисления	calculus-type language