математическая логика oor Hongaars

математическая логика

Vertalings in die woordeboek Russies - Hongaars

matematikai logika

naamwoord

formális logika

naamwoord

szimbolikus logika

naamwoord

Matematikai logika

voorbeelde

Именно в этом преодолении кажущихся тупиков математической логики и заключалось могущество будущего.
A matematikai logika látszólagos zsákutcáinak éppen az effajta leküzdésében rejlett a jövő hatalma.

"""Ведущая проблема математической логики"" остается для нас проблемой математики, как и любая другая. 125."
A „matematikai logika valamely fő problémá ja” számunkra ugyanolyan matematikai probléma, mint bármely másik. 125.

И все-таки, большинство справочников определяет четыре главных подразделения: естественные науки, биологические, общественные и математическую логику.
A legtöbb kézikönyv azonban négy főterületet említ: a fizikai tudományokat, a biológiai tudományokat, a társadalomtudományokat, valamint a matematika és a logika tudományát.

Один из основателей математической логики.
A matematikai logika alapjai.

"Не дело философии разрешать противоречие посредством математического, логико""математического открытия."
Nem a filozófia dolga, hogy az ellentmondást va lamely matematikai, matematikai-logikai felfedezéssel megoldja.

Мысль, где бы она ни появилась, неизбежно будет иметь в своей основе математическую и диалектическую логику.
A gondolkozás alapja — bárhol jelenjék is meg — mindenütt a matematikai és a dialektikus logika lesz.

Не удовлетворённый полученными в ней результатами, Буль высказывал пожелание, чтобы о его взглядах судили по обширному трактату «Исследование законов мышления, на которых основываются математические теории логики и вероятностей» (1854).
Utóbb ezt a munkát elsietettnek és tökéletlennek tekintette és azt kívánta, hogy a munkásságát a sokkal alaposabb An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities (1854) alapján ítéljék meg.

Иначе говоря, они обнаружили порядок и логику во всем, что происходит во Вселенной, и могут описать этот порядок и логику простым математическим языком.
Más szóval mindenben, ami a világegyetemben történik, logikát és rendet fedeztek fel, s ezt a logikát és rendet képesek voltak egyszerű matematikai fogalmakkal kifejezni.

Курт Гёдель математически доказывал существование Бога в рамках модальной логики.
Gödel ontológiai istenérve Isten létezésének egy Kurt Gödel matematikus által adott modális logikai levezetése.

Формальные языки, такие как логика первого порядка и Java, имеют строгие математические определения.
A formális nyelvek, mint például az elsőrendű logika vagy a Java, szigorú matematikai definíciókkal rendelkeznek.