Kas yra sprendimo problema?
K: Kas yra sprendimo problema?
Atsakymas: Sprendimo uždavinys yra tam tikros formalios sistemos klausimas, į kurį atsakymas "taip" arba "ne" priklauso nuo įvesties parametrų reikšmių.
K.: Kokiose mokslo srityse pasitaiko sprendimų problemų?
A. Sprendimų problemos paprastai iškyla sprendžiamumo matematiniuose klausimuose.
K: Kokia yra sprendžiamumo reikšmė?
A: Sprendžiamumas - tai klausimas, ar egzistuoja veiksmingas metodas, leidžiantis nustatyti kokio nors objekto egzistavimą arba jo priklausymą aibei.
Klausimas: Ar visi matematikos uždaviniai yra išsprendžiami?
Atsakymas: Ne, kai kurie svarbiausi matematikos uždaviniai yra neišsprendžiami.
K: Kas yra neapsisprendžiamas uždavinys?
A: Neišsprendžiamas uždavinys - tai uždavinys, kuriam spręsti nėra algoritmo, galinčio per baigtinį laiką visada pateikti atsakymą "taip" arba "ne".
K: Ar sprendimo uždavinio atsakymas visada yra taip arba ne?
Atsakymas: Taip, sprendimo uždavinio atsakymas visada yra "taip" arba "ne".
K: Nuo ko priklauso sprendimo uždavinio atsakymas?
Atsakymas į sprendimo uždavinį priklauso nuo įvesties parametrų reikšmių.