e/Automated theorem proving

New Query

Information
has glosseng: Automated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.
lexicalizationeng: Automated theorem proving
instance ofe/Formal methods
Meaning
German
has glossdeu: Als Computerbeweis bezeichnet man den Beweis einer Behauptung, das heißt einer mathematischen oder logischen Aussage, mit Hilfe eines Computerprogramms.
lexicalizationdeu: Computerbeweis
Persian
has glossfas: اثبات قضیه خودکار در علوم رایانه به بررسی راه‌های ممکن برای اثبات قضیه‌ها به صورت خودکار (معمولا با برنامه کامپیوتری) می‌پردازد. اثبات قضیه خودکار یکی از مهم‌ترین شاخه‌های استدلال خودکار به شمار می‌آید، اما همچنین به مقدار زیادی به علوم رایانه نظری و فلسفه مربوط است. منظور از قضیه در این‌جا قضیه ریاضی است.
lexicalizationfas: اثبات قضیه خودکار
French
has glossfra: La démonstration automatique de théorèmes est lactivité dun logiciel qui démontre une proposition quon lui soumet sans laide de l'utilisateur.
lexicalizationfra: Demonstration automatique de theoremes
lexicalizationfra: Démonstrateur automatique de théorèmes
lexicalizationfra: Démonstration automatique de théorèmes
Italian
has glossita: La dimostrazione automatica di teoremi (in inglese Automated theorem proving o ATP) o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico. L'operazione consiste nella dimostrazione di teoremi matematici da parte di un programma per computer.
lexicalizationita: Dimostrazione automatica di teoremi
Japanese
has glossjpn: 自動定理証明(Automated Theorem Proving、ATP)とは、自動推論(AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理を証明すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。
lexicalizationjpn: 自動定理証明
Polish
has glosspol: Automatyczne dowodzenie twierdzeń (ang. automated theorem proving) to proces, w którym komputer rozstrzyga czy dane twierdzenie jest dowodliwe w jakiejś teorii, często przy okazji generując jego dowód. Twierdzenia te należą zwykle do rachunku zdań lub rachunku predykatów pierwszego rzędu.
lexicalizationpol: Automatyczne dowodzenie twierdzeń
Portuguese
has glosspor: Prova automática de teoremas (PAT) ou dedução automática é a prova de teoremas matemáticos por um programa de computador. É atualmente a sub-área mais desenvolvida do raciocínio automatizado (RA).
lexicalizationpor: Prova automática de teoremas
Russian
has glossrus: Автоматическое доказательство теорем — доказательство теорем, реализуемое программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов.
lexicalizationrus: автоматическое доказательство теорем
Castilian
has glossspa: La demostración automática de teoremas (de siglas ATP, por el término en inglés : Automated theorem proving) que también puede ser denominada Deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
lexicalizationspa: Demostracion automatica de teoremas
lexicalizationspa: demostración automática de teoremas
Thai
has glosstha: การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์ เป็นบทพิสูจน์ทฤษฎีทางคณิตศาสตร์ที่มีบางส่วนถูกสร้างขึ้นโดยคอมพิวเตอร์
lexicalizationtha: การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
Chinese
has glosszho: 自動定理證明 (ATP), 目前是自动推理(AR)体系中发展最好的部分,它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的数学逻辑,它能够推论出一个定理是正确的,还是不可证明的,或者错误的。
lexicalizationzho: 自動定理證明
Media
media:imgAgda proof.jpg

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint