Metadata
Author: WikiMatrix
Data
English[en]
Structural induction is a proof method that is used in mathematical logic (e.g., in the proof of Łoś' theorem), computer science, graph theory, and some other mathematical fields.
Persian[fa]
استقرای ساختاری روشی است که برای اثبات کردن قضایا از آن استفاده میشود که در منطق ریاضی (به عنوان مثال، در اثبات قضیه لس)، علوم کامپیوتر، نظریه گراف، و برخی دیگر از زمینههای ریاضی کاربرد دارد.