Uogólnianie przez unifikację
Z Wikipedii, wolnej encyclopedia
Uogólnianie przez unifikację – w dydaktyce matematyki jest to formułowanie twierdzenia, które stanowi połączenie wszystkich podanych wcześniej uczniowi twierdzeń będących szczególnymi przypadkami poszukiwanego twierdzenia[1][2][3][4][5]. Uogólnienie na drodze unifikacji nie oznacza stworzenia rozszerzonej merytorycznie wersji jednego twierdzenia (co byłoby uogólnieniem rozumowania[6]) lub wielu twierdzeń (co byłoby uogólnieniem typu indukcyjnego[7]), lecz stanowi połączenie zapisu kilku twierdzeń, w jedno twierdzenie[3]. Uogólnianie przez unifikację służy organizowaniu posiadanej wiedzy, strukturyzowaniu jej i ułatwia jej zastosowania[3].
- Główny artykuł: Uogólnianie matematyczne.