Konštruktívna metóda

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

Konštruktívna metóda je spôsob deduktívneho budovania vedeckých teórií spočívajúci v postupnom konštruovaní (reálnom alebo možnom na základe jestvujúcich prostriedkov) objektov, skúmaných vo formálnom systéme, ako aj tvrdení o nich. Stanovenie vychodiskových objektov teórie a a vybudovanie nových sa uskutočňuje pomocou komplexu špeciálnych operacionálnych (konštruktivnych) pravidiel a definícií. Všetky ostatné tvrdenia systému sa získavajú z východiskového základu teorie pomocou techniky odvodzovania, špecifickej pre konštruktívne teórie, rekurzívnych definícií, založených na princípe matematickej indukcie.

Externé odkazy[upraviť | upraviť kód]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.