Web Analytics
DICTIONARY
TTS Voice
 virtual keyboard

English Russian Modern Computing Dictionary








Phrases with theorem found: 8  


English-Russian Modern Computing dictionary
   second limit theorem
  вторая предельная теорема, теорема Маркова

English-Russian Modern Computing dictionary
   equivalence theorem
  теорема эквивалентности

English-Russian Modern Computing dictionary
   automatic theorem prover
  программа автоматического доказательства теорем, программа для автоматического доказательства теорем

English-Russian Modern Computing dictionary
   mean value theorem
  теорема о среднем

English-Russian Modern Computing dictionary
   resolution theorem proving
  доказательство теорем методом резолюции

English-Russian Modern Computing dictionary
   sampling theorem
  теорема о дискретном представлении, теорема Котельникова

English-Russian Modern Computing dictionary
   Shannon's expansion theorem
  теорема разложения Шеннона (для других функций в совершенной дизъюнктивной нормальной форме)

English-Russian Modern Computing dictionary
   sinusoidal limit theorem
  закон предельной синусоиды