Составители:
Рубрика:
53
ïîñòàíîâêè çàäà÷è. Ñõåìàòè÷åñêè ýòè ïåðåõîäû â ïîñòàíîâêå çàäà÷è
èçîáðàæåíû íà ðèñ. 13.
Ïðè ïîñòàíîâêå çàäà÷è ÑÈ äîëæíî áûòü îáåñïå÷åíî åäèíñòâî ÿçû-
êà, íà êîòîðîì îïèñûâàþòñÿ åå êîìïîíåíòû: çàäàííûå óñëîâèÿ Ó è
öåëü Ö. Èíà÷å íå óäàåòñÿ îöåíèòü, ñîïîñòàâèòü è âûáðàòü âàðèàíòû
ðåøåíèÿ. Âåäü öåëü Ö îáðàçóåò èëè õàðàêòåðèçóåò ïîäìíîæåñòâî
ìíîæåñòâà ñîñòîÿíèé îáúåêòà Ó, à ýòî îçíà÷àåò, ÷òî îíà äîëæíà
áûòü ñôîðìóëèðîâàíà â òåõ ïîíÿòèÿõ, â êàêèõ îïèñûâàþòñÿ ñîñòîÿ-
íèÿ îáúåêòà Ó äëÿ öåëåé ÑÈ.
Îáû÷íî êàæäîå îïðåäåëåíèå ïîñòàíîâêè çàäà÷è ÑÈ ñâÿçàíî ñ äå-
òàëèçàöèåé èëè èíòåðïðåòàöèåé êîìïîíåíò çàäà÷è (ñì. ãë. II). Ñëå-
äóåò èìåòü â âèäó, ÷òî «ñîñòîÿíèÿìè» â Ó
s
ìîãóò áûòü òàêæå ëîãè-
÷åñêèå îáúåêòû. Íàïðèìåð, â ëîãèêå èëè ìàòåìàòèêå – ýòî ëîãè÷åñ-
êèå ïåðåìåííûå (èìåíà, ñëîâà), êâàíòîðû èëè ÷èñëà, ñèìâîëû, ìàòå-
ìàòè÷åñêèå âûðàæåíèÿ, ãåîìåòðè÷åñêèå ýëåìåíòû è ôèãóðû è ò. ï.
Îïåðàòîðû ïðåäñòàâëåíû ïðàâèëàìè âûâîäà è ïðîöåäóðàìè ïîñò-
ðîåíèÿ. Öåëü çàäà÷è ÑÈ ìîæåò áûòü ñôîðìóëèðîâàíà äâîÿêî. Â
îäíèõ ñëó÷àÿõ ñëåäóåò ïîñòðîèòü, ïîëó÷èòü èëè îòîæäåñòâèòü îáúåêò,
îòâå÷àþùèé íåêîòîðûì êðèòåðèÿì – òðåáîâàíèÿì («çàäà÷à íà íà-
õîæäåíèå»), â äðóãèõ – äîêàçàòü ïî óñòàíîâëåííûì ïðàâèëàì ïðà-
âèëüíîñòü ïîñòðîåíèÿ èëè îòîæäåñòâëåíèÿ íåêîòîðîãî îáúåêòà («çà-
äà÷à íà äîêàçàòåëüñòâî»). Êàê ïðàâèëî, ôîðìóëèðîâêà çàäà÷è â ÑÈ
íà÷èíàåòñÿ ñ îïðåäåëåíèÿ ïðîáëåìíîé ñèòóàöèè.
 ïðîöåññå ðåøåíèÿ çàäà÷è ÑÈ èìåþò äåëî ñ íåîïðåäåëåííîñòÿìè
òðåõ âèäîâ, ñâÿçàííûõ ñ íàëè÷èåì ñëåäóþùèõ ìíîæåñòâ: âîçìîæ-
íûõ ñîñòîÿíèé îáúåêòà Ó
s
, îïåðàòîðîâ Ó
p
è ïðîöåäóð ïîñòàíîâêè è
Ðèñ. 13. Ñõåìà ïåðåõîäîâ ïðè ïîñòàíîâêå çàäà÷è ÑÈ
Ïðîáëåìà
< –; Ö>
<< –; Ö>, <Ó; Ö>>
Ïðîáëåìíàÿ
ñèòóàöèÿ
Çàäà÷à
<Ó; Ö>
Ñèòóàöèÿ
<Ó; –>
<<Ó; –> <Ó, Ö>>
Страницы
- « первая
- ‹ предыдущая
- …
- 51
- 52
- 53
- 54
- 55
- …
- следующая ›
- последняя »
