английский
испанский
английский
испанский
PONS OpenDictДобавить статью
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Примеры из словаря PONS (редакционная проверка)
- Pythagoras's theorem
Одноязычные примеры (не проверены редакцией PONS)
However, there are first-order systems in which new inference rules are added for which the deduction theorem fails.
en.wikipedia.org The first proof of the four colour theorem was a proof by exhaustion with 1,936 cases.
en.wikipedia.org Natural deduction systems are more suited to practical theorem-proving.
en.wikipedia.org For instance, it is used to prove the fundamental theorem of symmetric 2-designs, that the number of blocks equals the number of points.
en.wikipedia.org That is, the theorems were very similar algebraically, even if the geometrical interpretations were distinct.
en.wikipedia.org