Логик асуудлыг шийдвэрлэх нь зугаатай, үр өгөөжтэй ажил юм. Үүний онцлог нь эхэндээ зөвхөн худал, үнэн мэдэгдэл байдаг бөгөөд томъёо байхгүй болно. Өөр өөр үр дүнтэй байдаг шийдлийн хэд хэдэн үндсэн аргыг авч үзье.
Зааварчилгаа
1-р алхам
Хамгийн зөв шүүлт хийх арга нь дараалсан үндэслэл (асуудлын нөхцөл байдлаас үүдэлтэй) дээр үндэслэсэн бөгөөд тэдгээрийн үнэн эсвэл худал болохыг баталгаажуулах, дараачийн бүх мэдэгдлийг баталгаажуулсан эх дээр үндэслэнэ.
Жишээлбэл. Эх, охины нас нийтдээ 98 настай. Охин нь миний ээж 22 настай байхад төрсөн. Хоёулаа хэдэн настай вэ? Шийдэл: Тэдний насны ялгаа 22 жил (энэ насанд ээж нь охинтой болсон) тул 98 - 22 = 76 (жил) болжээ. Энэ нь охины наснаас хоёр дахин их, дараа нь 76: 2 = 38 (жил) юм. Энэ нь эхчүүд 98 - 38 = 60 (жил) гэсэн үг юм.
Алхам 2
Хүснэгтийн арга гэдэг нь олж авсан дүгнэлтээс (худал-үнэн) хамаарч хүснэгтийг үгийн бодлогын дагуу барьж, дарааллаар нь 0 эсвэл 1 гэсэн тоогоор дүүргэхийг харуулсан арга юм.
Жишээлбэл. 8 литрийн усан онгоц дүүрэн устай байна.
3 ба 5 литрийн эзэлхүүнтэй хоосон сав байгаа бол яаж 4 литр асгах вэ? Шийдвэр:
Алхам 3
Блок схемийн арга нь сав, жингийн асуудлыг шийдвэрлэхэд хэрэглэгддэг бөгөөд хувилбаруудыг тоолох аргаас хамаагүй илүү тохиромжтой (ерөнхий дүрмийг гаргахыг зөвшөөрдөггүй). Нэгдүгээрт, командууд үүсч (гүйцэтгэсэн ажиллагаатай ижил), дараа нь тэдгээрийн бүдүүвчийн дарааллыг бий болгоно. Энэ бол асуудлыг шийдэхэд хүргэдэг програмчлалын хамгийн сайн мэддэг схем юм. Энэ аргын логик үргэлжлэл бол компьютерийн тусламжтайгаар шийдлийн арга юм. Үүний мөн чанар нь олж авсан алгоритмыг програмчлалын хэл рүү шилжүүлэхэд оршино.
Алхам 4
Алгебрийн шийдлийн арга нь логик тэгшитгэлийн системийг шийдвэрлэхэд оршино. Асуудлын нөхцлөөс үүссэн бүх мэдэгдлийг үсгийн тэмдэглэгээнд хуваарилж, томъёо хэлбэрээр бичсэн болно. Олж авсан тэгшитгэлийн системийг шийдэж (нэгийг нь нөгөөгөөр үржүүлж) үнэн хэллэгийг хасна.
Алхам 5
Системийг шийдэх график арга бас боломжтой. Үүний тулд системийн олж авсан тэгшитгэл дээр үндэслэн логик харилцааны диаграммыг ("логик нөхцлийн мод") зурна. Үүнээс гадна логик нийлбэр гэдэг нь салаалахыг хэлдэг бөгөөд бүтээгдэхүүн гэдэг нь дараахь нөхцлийг дараалан илэрхийлнэ. Шийдвэр нь дүн шинжилгээнээс гардаг. Үүнд Эйлерийн тойргийн аргыг багтаасан болно - олонлогуудын огтлолцол буюу нэгдлийг тусгасан геометрийн схемийг байгуулах.
Алхам 6
Үүнээс илүү сонирхолтой нь замналын онол дээр суурилсан бильярдын арга юм.
Гэсэн хэдий ч нарийвчлан авч үзэхийн тулд тусдаа, маш зугаатай, нийтлэл шаардагдана.
