PONS OpenDictДобавить статью
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Одноязычные примеры (не проверены редакцией PONS)
For details on that part see structured program theorem.
en.wikipedia.org A closely related, the finiteness theorem states that the tale cohomology groups of a constructible sheaf on a complete variety are finite.
en.wikipedia.org However, there are first-order systems in which new inference rules are added for which the deduction theorem fails.
en.wikipedia.org He came up with essentially the same solution as given in below, and thus attached his name to the theorem.
en.wikipedia.org We claim that without loss of generality, the latter inequality is always strict; once we do this the theorem can be proved as follows.
en.wikipedia.org Поиск в словаре
- binge viewing
- binge-watch
- binge watching
- bingo
- bin liner
- binomial theorem
- bint
- binuclear
- bio
- bioactive
- bioassay