Разбира се- нещо да кажете за теоремите на Гьодел за непълнотата?
Could you explain the bit about Godel's theorem of incompleteness?
Едно приложение на теоремите за двойственост за едновременно решаване на двойка дуални задачи.
Of the strong duality theorem, while solving the dual problem.
Много парадокси са свързани с теоремите на Гьодел за непълнотата.
Many paradoxes are related to Goedel's theorems of incompleteness.
Теоремите са обикновено в следната форма:„съществува набор от мерки X, за които Y притежава…", т.е.
Theorems are typically of the form"there exists a set of measure X for which Y holds", i.e.
Разбира се- нещо да кажете за теоремите на Гьодел за непълнотата?
For instance, have you contradicted Godel's Incompleteness Theorem?
За да постигнем това, трябва да решим проблеми и примери, да начертаем диаграми и рисунки,за да докажем теоремите.
To achieve this, we need to solve problems and examples, draw diagrams anddrawings to prove the theorems.
За да демонстрирам една от теоремите на Ойлер, ми трябваше питие.
To demonstrate one of my favourite Euler theorems, I needed a drink.
Сега в резултат на теоремите за сингулярност почти всички вярват, че Вселената е започнала със сингулярност.
Now, as a result of the singularity theorems, nearly everyone believes that the universe began with a singularity.
Автоматична демонстрация на теоремите с доказващите програми„LEO-II" и„Satallax".
Automatic demonstration of the theorems with the provers LEO-II and Satallax.
Теоремите представляват 2 формули, покриващи едновременно случаите за достъп и сигурност на информационни системи и физически обекти.
The theorems present two formulas covering access and security of both information systems and physical facilities.
Понякога мисля че Мартин обичаше теоремите и експериментите си повече от мен дори.
I sometimes think Martin loved his theorems and experiments more than he did me.
Съгласно теоремите за сингулярност от класическата обща теория на относителността пак трябва да има сингулярност в Големия взрив.
According to the singularity theorems of classical general relativity, there would still have been a big bang singularity.
Човекът по телефона каза да опростя теоремите в един алгоритъм, и че ще се свържем отново по-късно.
The man on the phone said to distill the theorems into an algorithm, that we would be concted later.
Въпреки че теоремите за уникалност на Пенроуз и мен, предсказаха, че вселената има начало, те не са казали как е започнала.
Although the singularity theorems of Penrose and myself, predicted that the universe had a beginning, they didn't say how it had begun.
Логическите системи трябва да притежават три неща: последователност(което означава,че никоя от теоремите на системата не се противопоставя на друга);
Logical systems should have three things:consistency(which means that none of the theorems of the system contradict one another);
В следващите десетилетия, теоремите му се доказват като безценни за тези които работят в най-новите научни сфери, като струнната теория.
In the decades since, his theorems have proved to be invaluable to those working in cutting-edge fields like string theory.
Безцеремонната и откровена до болка Зиглинде обезпокоително се втурва да оспорва валидността на теоремите, в чието извеждане сама е участвала;
The blunt and straightforward Sieglinde has unsettlingly chosen to challenge the reliability of the theorems that she herself helped to write;
Днес теоремите на Сриниваса Рамануджан се прилагат в различни области на физиката, които могат да ни разкрият най-големите тайни на космоса.
Today the theorems of Srinivasa Ramanujan are being applied in branches of physics that may allow us to unlock the greatest mysteries of the cosmos.
Ескин работи с известния ирански математик Мариам Мирзахни преди смъртта ѝ през 2017 г. чрез Skype,за да разработи теоремите за динамични модулни пространства.
Eskin worked with famous Iranian mathematician Maryam Mirzakhni, before her death in 2017,via Skype to develop theorems of dynamical, moduli spaces.
Формализация чрез асистент за доказателства„Isabelle", където теоремите(и някои допълнителни леми) са били автоматизирани със„Sledgehammer and Metis.".
A formalization using the Isabelle proof assistant, where the theorems(and some additional lemmata) have been automated with Sledgehammer and Metis.”[…].
Той открива по-нататък, че не теоремите на Рикардо и т.н., в които са формулирани съществуващи обществени противоположности и противоречия, са идеалният продукт на действителното икономическо движение, а, напротив, че действителните противоречия на капиталистическото производство в Англия и на друго място били резултат на теорията на Рикардо и др.!
He discovered further that the theorems of Ricardo and others, in which existing social antagonisms and contradictions are formulated, are not the ideal product of the real economic movement, but on the contrary, that the real antagonisms of capitalist production in England and elsewhere are the result of the theories of Ricardo and others!
Но, както посочих по-горе, действителното значение на теоремите за сингулярност е, че според тях гравитационното поле трябва да стане толкова силно, че да не може да се пренебрегнат квантовите гравитаци онни ефекти.
But, as indicated above, the real importance of the singularity theorems was that they showed that the gravitational field must become so strong that quantum gravitational effects could not be ignored.
Теорема на Гаус-Боне в диференциалната геометрия.
Gauss-Bonnet theorem in differential geometry.
Теорема Грегъри.
Theorem Gregory.
Теорема на Тейлър.
Taylor 's Theorem.
Резултати: 53,
Време: 0.0723
Как да използвам "теоремите" в изречение
Аксиомите са априорни и недоказуеми, а теоремите апостериорно следват като поредици от техните логически изводи и заключения.
Приложение на теоремите за решаване на произволен триъгълник и формулите за лице на триъгълник. За ученици от 10 клас...
3. Изучаване на уравнения и неравенства на базата на свойствата на числовите равенства и неравенства и теоремите за равносилност.
Разбира се за емпирични проверки може да се ползва и компютър, който да потвърждава теоремите и формулите. Това обаче няма доказателствена сила.
защото теоремите са висящи, или ги няма, или има нещо обезпокоително в цялата работа, от което някой ще загуби научно звание и инвестиции
Математиката - трудна? Защо? Нека ти покажем, че не е така. Не са страшни формулите и теоремите - трябва само да ги разбереш.
Презентацията съдържа материал с определения, елементите на пирамидата, за пресечена пирамида, сечение на пирамида, видове сечения. Също и теоремите - 1, 2, 3....
В този случай обаче, до вечерта теоремите от точно това писмо започнали да показват магиите си. Харди осъзнал, че писмото е написано от гений.
Упражнение (338)
Електротехника (153)
Материали 61-70 от 1559
Основни логически функции и логически елементи
Придобиване знания за основните логически функции, теоремите на булевата алгебра и основните логически елементи.
English
Română
Turkce
عربى
বাংলা
Český
Dansk
Deutsch
Ελληνικά
Español
Suomi
Français
עִברִית
हिंदी
Hrvatski
Magyar
Bahasa indonesia
Italiano
日本語
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Norsk
Polski
Português
Русский
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Українська
اردو
Tiếng việt
中文