Болжам индукциясы

Сала: Математика

Ағылшыншасы : Induction by predicate symbols

болжам

болжам болжа+м
корпустан іздеу

индукция

индукция индукц+и+я
корпустан іздеу

Анықтама

[өзгерту]
Болжам индукциясы - логикалық жүйелерде предикаттық символдарды қолдана отырып, жалпы қорытындылар жасау әдісі.

Басқа нәтижелер

Индукция по объектам Индукция по теоремам Индукция электрическая индукция магнитная индукция самостоятельная индукция индукция математическая математическая индукция Остаточная индукция