ການດໍາເນີນງານຢ່າງມີເຫດຜົນ. ການດໍາເນີນງານຢ່າງມີເຫດຜົນພື້ນຖານ

ວິທະຍາສາດຄອມພິວເຕີເປັນວິທະຍາສາດ ຂອງການເກັບກໍາເຕັກນິກ, ຈັດລະບຽບແລະດໍາເນີນການຫຼາກຫຼາຍຂອງຂໍ້ມູນຈະເລີ່ມຕົ້ນທີ່ຈະພັດທະນາໃນສະຕະວັດກາງ twentieth ໄດ້. ເຖິງແມ່ນວ່າປະຫວັດສາດບາງຄົນເຊື່ອວ່າການເລີ່ມຕົ້ນຂອງການສ້າງຕັ້ງຂອງວິທະຍາສາດຄອມພິວເຕີໄດ້ຖືກວາງໄວ້ຢູ່ໃນສະຕະວັດທີ 17 ໄດ້, ມີການປະດິດຂອງການຄິດໄລ່ກົນຄັ້ງທໍາອິດໄດ້, ສ່ວນໃຫຍ່ແມ່ນເຊື່ອມໂຍງກັບອາຍຸສູງສຸດຂອງແບບພິເສດເພີ່ມເຕີມໄດ້ ເຕັກໂນໂລຊີຄອມພິວເຕີ. ໃນ 40s ຂອງສະຕະວັດທີ 20 ໄດ້, ມີການເຂົ້າມາຂອງຄອມພິວເຕີທໍາອິດ, ວິທະຍາສາດຄອມພິວເຕີໄດ້ຮັບເປັນ impetus ໃຫມ່ເພື່ອການພັດທະນາ.

ຫົວເລື່ອງຂອງການສຶກສາຄອມພິວເຕີ

ມັນແມ່ນການທີ່ມີການເຂົ້າມາສູ້ກັບຄອມພິວເຕີທໍາອິດໄດ້ກາຍເປັນຄວາມຈໍາເປັນເພື່ອພັດທະນາວິທີການໃຫມ່ຂອງລະບົບ, ການຄິດໄລ່ແລະປະມວນຜົນຂອງຊຸດຂໍ້ມູນຂະຫນາດໃຫຍ່, ເຊັ່ນດຽວກັນກັບໃນການພັດທະນາຂອງຂັ້ນຕອນວິທີທີ່ຈະອະນຸຍາດໃຫ້ມີທ່າແຮງອັນເຕັມທີ່ຂອງຄອມພິວເຕີໃຫມ່. ຄອມພິວເຕີທີ່ໄດ້ຮັບສະຖານະພາບຂອງລະບຽບວິໄນວິທະຍາສາດເອກະລາດ, ແລະຍ້າຍອອກຈາກຍົນຂອງການຄິດໄລ່ທາງຄະນິດສາດໃນການສຶກສາຄອມພິວເຕີໂດຍທົ່ວໄປ.

ວິທະຍາສາດຄອມພິວເຕີທີ່ທັນສະໄຫມທັງຫມົດແມ່ນອີງໃສ່ການດໍາເນີນງານຢ່າງມີເຫດຜົນ. ພວກເຂົາເຈົ້າສາມາດໄດ້ຮັບການເອີ້ນວ່າອົງປະກອບພື້ນຖານ. ໃນການຂຽນໂປຣແກຣມ, ລະບົບຄອມພິວເຕີແນວຄວາມຄິດຂອງປະຕິບັດງານຢ່າງມີເຫດຜົນ - ມັນແມ່ນການປະຕິບັດ, ເຊິ່ງຈະຖືກສ້າງຂຶ້ນຫລັງຈາກດໍາເນີນການແນວຄວາມຄິດໃຫມ່ຫຼືຄ່າຮູບແບບບົນພື້ນຖານຂອງແນວຄວາມຄິດທີ່ມີຢູ່ແລ້ວໄດ້. A ທີ່ກໍານົດໄວ້ຂອງປະຕິບັດດັ່ງກ່າວອາດຈະແຕກຕ່າງກັນຂຶ້ນຢູ່ກັບອົງປະກອບໂຮງງານຜະລິດໃນການດໍາເນີນການຄໍາສັ່ງ. ຢ່າງໃດກໍຕາມ, ບໍ່ມີການດໍາເນີນງານຈໍານວນຫນຶ່ງທີ່ທໍາມະດາທີ່ຈະ virtually ທັງຫມົດລະບົບທີ່ມີຢູ່ແລ້ວ. ປະຕິບັດງານດັ່ງກ່າວນີ້, ທີ່ເຮັດວຽກທີ່ມີເນື້ອໃນໃຫ້ຄຸນຄ່າຕົນເອງ, ເຊັ່ນ: ການປະຕິເສດ, ຫລືຜູ້ທີ່ປ່ຽນແປງແນວຄວາມຄິດລັກສະນະດ້ານປະລິມານ - ເພີ່ມ, ການຫັກລົບ, ວີຜົນປະໂຫຍດ, divide.

ຕົວຖືກດໍາເນີນການດໍາເນີນງານຢ່າງມີເຫດຜົນ

ເນື່ອງຈາກວ່າມີເຫດຜົນພຶດຊະຄະນິດໄດ້ຫມາຍຄວາມວ່າການເຮັດວຽກກ່ຽວກັບແນວຄິດທີ່ເລື່ອງບໍ່ມີຕົວຕົນ, ຫຼັງຈາກນັ້ນເປັນຕົວຖືກດໍາເນີນການດໍາເນີນງານຢ່າງມີເຫດຜົນທັງຫມົດທີ່ມີປະເພດຂໍ້ມູນທົ່ວໄປ. ອົງປະກອບຄລາສສິກ, ເຮັດວຽກດ້ວຍຂໍ້ກໍານົດພຶດຊະຄະນິດແມ່ນຂໍ້ກໍານົດ, ບໍ່ຖືກຕ້ອງຫຼືຄວາມຈິງ. ເອເລັກໂຕຣນິກແລະການວາງແຜນສໍາລັບຄໍາອະທິບາຍຂອງຂໍ້ກໍານົດເຫຼົ່ານີ້ໄດ້ຖືກນໍາໃຊ້ຕົວແປແບບບູລະຄ່າທີ່ແທ້ຈິງແລະບໍ່ຖືກຕ້ອງຫຼືຈໍານວນເຕັມຂອງ 1 (ທີ່ແທ້ຈິງ) ແລະ 0 (false). ການລວມກັນຂອງຄ່າດັ່ງກ່າວ, ເປັນ incredible ເປັນມັນອາດສຽງ, ການເຮັດວຽກແມ່ນ tied ລະບົບສະລັບສັບຊ້ອນຫຼາຍທີ່ສຸດແລະຂະຫນາດໃຫຍ່. ລະຫັດໂຄງການທັງຫມົດທີ່ຈະຖືກດໍາເນີນໃນຄອມພິວເຕີຫຼືອຸປະກອນດິຈິຕອນໃດນະໂຍບາຍດ້ານແປເປັນລໍາດັບຂອງບໍ່ແລະສູນການ - ລະຫັດທົ່ວໄປທີ່ສາມາດໄດ້ຮັບການປະມວນຜົນໂດຍການປະມວນຜົນໃດໆ.

ປະເພດຂອງການດໍາເນີນງານຢ່າງມີເຫດຜົນ

ດັ່ງທີ່ໄດ້ກ່າວກ່ອນຫນ້ານັ້ນ, ໃນຄລາສສິກ ພຶດຊະຄະນິດ Boolean , ມີ 2 ປະເພດຂອງຫນ້າທີ່. ການດໍາເນີນງານຢ່າງມີເຫດຜົນຕົ້ນຕໍກ່ຽວກັບການປະເພດຂໍ້ມູນໄບນາ - ແມ່ນການປະຕິບັດຜົນກະທົບຕໍ່ການຖະແຫຼງຂອງຕົນເອງ (unary, ຫລືເປັນໂສດ, ປະຕິບັດງານ). ນີ້ຍັງເປັນການດໍາເນີນງານທີ່ສ້າງຂໍ້ກໍານົດໃຫມ່ກ່ຽວກັບພື້ນຖານຂອງຄ່າທີ່ມີຢູ່ (ການດໍາເນີນງານຄູ່, ຫຼືນ້ໍາ). ຄໍາສັ່ງຂອງການດໍາເນີນງານຢ່າງມີເຫດຜົນແມ່ນຄືກັນກັບໃນເວລາທີ່ປະຕິບັດການຄິດໄລ່ທາງຄະນິດສາດຈາກຊ້າຍຫາຂວາ, ໃນທັດສະນະຂອງວົງເລັບໄດ້.

ການທີ່ງ່າຍທີ່ສຸດແລະຫນຶ່ງໃນບົດບາດທີ່ດີທີ່ຮູ້ຈັກຂອງການທໍາງານຢ່າງມີເຫດຜົນ Boolean ແມ່ນການປະຕິເສດ. ປະຕິບັດງານຢ່າງມີເຫດຜົນນີ້ງ່າຍດາຍເປັນມູນຄ່າກົງກັນຂ້າມຂອງຕົວຖືກດໍາເນີນການປ້ອນຂໍ້ມູນ. ເອເລັກໂຕຣນິກ, ການປະຕິບັດນີ້ແມ່ນບາງຄັ້ງເອີ້ນວ່າເປັນການຮັກຮ່ວມເພດ. ສໍາລັບຕົວຢ່າງ, ຖ້າຫາກວ່າທ່ານ invert proposition ໄດ້ "ຄວາມຈິງ", ຜົນໄດ້ຮັບແມ່ນ "false". ແລະໃນທາງກັບກັນ - ປະຕິເສດຂອງຄ່າໄດ້ "false" ຈະສົ່ງຜົນໃຫ້ຄ່າຂອງ "ທີ່ແທ້ຈິງ". ດໍາເນີນໂຄງການປະຕິບັດງານນີ້ຢ່າງມີເຫດຜົນມັກຈະຖືກນໍາໃຊ້ສໍາລັບການແຕກສູດການຄິດໄລ່ແລະການປະຕິບັດຂອງ "ທາງເລືອກ" ຂອງທີ່ກໍານົດໄວ້ຕໍ່ມາຫຼັງຂອງຄໍາສັ່ງບົນພື້ນຖານຂອງຜົນໄດ້ຮັບທີ່ມີຢູ່ແລ້ວຫຼືສະພາບການປ່ຽນແປງໄດ້.

ປະຕິບັດງານຄູ່

ໃນການຂຽນໂປຣແກຣມຄອມພິວເຕີແລະການນໍາໃຊ້ທີ່ກໍານົດໄວ້ຈໍາກັດຂອງ ໄບນາລີ (binary) ການດໍາເນີນງານ. ພວກເຂົາໄດ້ຮັບຊື່ຂອງເຂົາເຈົ້າຈາກຄໍານາມຄໍາ bi, ຊຶ່ງຫມາຍຄວາມວ່າ "ທັງສອງ", ແລະປະເພດຂອງການເຮັດວຽກທີ່ໃຊ້ເວລາການໂຕ້ຖຽງວັດສະດຸປ້ອນສອງແລະກັບຄືນຜົນໃນມູນຄ່າໃຫມ່ຫນຶ່ງ. ສໍາລັບຄໍາອະທິບາຍຂອງຫນ້າທີ່ທັງຫມົດຂອງພຶດຊະຄະນິດ Boolean ການນໍາໃຊ້ຕາຕະລາງຄວາມຈິງ.

ສິ່ງທີ່ເຂົາເຈົ້າຕ້ອງການ

ລະບົບນີ້ແມ່ນສໍາລັບການຈໍານວນທີ່ແນ່ນອນຂອງຕົວຖືກດໍາເນີນການປ້ອນຂໍ້ມູນແລະອະທິບາຍຄ່າຜົນທັງຫມົດ, ຊຶ່ງສາມາດກັບຄືນການດໍາເນີນງານຢ່າງມີເຫດຜົນທີ່ກໍາຫນົດໄວ້ໃນກ່າວວ່າກໍານົດຕົວກໍານົດການວັດສະດຸປ້ອນ.

ປະຕິບັດຫນ້າທີ່ໃຊ້ເລື້ອຍທີ່ສຸດໃນ ຄອມພິວເຕີແລະເຕັກໂນໂລຊີຄອມພິວເຕີ ແມ່ນນອກຈາກນັ້ນມີເຫດຜົນ (disjunction) ແລະທະວີຄູນຢ່າງມີເຫດຜົນ (ຮ່ວມ).

ຮ່ວມ

ການດໍາເນີນງານຢ່າງມີເຫດຜົນ "ແລະ" - ແມ່ນຫນ້າທີ່ຂອງທາງເລືອກຂອງໄດ້ຫນ້ອຍລົງຂອງສອງຫຼື n ວັດສະດຸປ້ອນຕົວຖືກດໍາເນີນໄດ້. ກ່ຽວກັບເຂົ້າຫນ້າທີ່ນີ້ສາມາດມີສອງ (function binary), ສາມຄ່າ (ternary), ຫຼືຈໍານວນບໍ່ຈໍາກັດຂອງຕົວຖືກດໍາເນີນ (ປະຕິບັດງານ n-ary). ໃນເວລາທີ່ການຄິດໄລ່ຜົນມາຈາກການທໍາງານຂອງທີ່ມັນຈະເປັນຂະຫນາດນ້ອຍສຸດຂອງຄ່າວັດສະດຸປ້ອນຫນອງ.

ຮ່ວມໃນພຶດຊະຄະນິດທໍາມະດາແມ່ນຫນ້າທີ່ຂອງຫຼາຍໄດ້. ເພາະສະນັ້ນ, ປະຕິບັດງານຮ່ວມໄດ້ຖືກເອີ້ນມັກຈະເປັນທະວີຄູນຢ່າງມີເຫດຜົນ. ໃນເວລາທີ່ອາການຂອງການກະທໍາການບັນທຶກການທໍາງານຫຼືຫຼາຍອາການ (ຈຸດ) ຫຼື ampersand ໄດ້. ຖ້າຫາກວ່າພວກເຮົາເຮັດໃຫ້ຕາຕະລາງຄວາມຈິງສໍາລັບຫນ້າທີ່ດັ່ງກ່າວນີ້, ມັນຈະໄດ້ຮັບການເຫັນວ່າການທໍາງານຂອງແມ່ນກໍານົດໃຫ້ "ຄວາມຈິງ" ຫຼື 1, ພຽງແຕ່ກັບຄວາມຈິງຂອງທຸກຕົວຖືກດໍາເນີນການປ້ອນຂໍ້ມູນໄດ້. ຖ້າຫາກວ່າຢ່າງຫນ້ອຍຫນຶ່ງຂອງຄໍາສັ່ງການປ້ອນຂໍ້ມູນແມ່ນສູນ, ຫຼືມູນຄ່າການ "false" ຜົນມາຈາກການທໍາງານຂອງການຈະເປັນ "false".

ນີ້ສະທ້ອນໃຫ້ເຫັນການປຽບທຽບກັບຫຼາຍປະການກ່ຽວກັບເລກ: ຄູນ, ແລະຈໍານວນໃດຂອງຊຸດຂອງຕົວເລກທີ່ຈະ 0 ເປັນຜົນສະເຫມີຜົນໄດ້ຮັບ 0 ປະຕິບັດງານຢ່າງມີເຫດຜົນນີ້ແມ່ນ commutative: ຄໍາສັ່ງທີ່ມັນໄດ້ຮັບຕົວກໍານົດການການປ້ອນຂໍ້ມູນຈະບໍ່ມີຜົນກະທົບຜົນໄດ້ຮັບສຸດທ້າຍຂອງການຄິດໄລ່ໄດ້.

ຄຸນນະສົມບັດຂອງການທໍາງານນີ້ອີກປະການຫນຶ່ງແມ່ນສະມາຄົມຫລືສະມາຄົມ. ຄຸນສົມບັດນີ້ອະນຸຍາດໃຫ້ການຄິດໄລ່ຂອງລໍາດັບຖານສອງປະຕິບັດງານບໍ່ຄໍານຶງເຖິງຄໍາສັ່ງຂອງການປະເມີນຜົນໄດ້. ດັ່ງນັ້ນ, ສໍາລັບ 3 ຫຼືຫຼາຍກວ່ານັ້ນປະຕິບັດງານຫຼາຍຢ່າງມີເຫດຜົນຕິດຕໍ່ກັນບໍ່ແມ່ນມີຄວາມຈໍາເປັນທີ່ຈະໃຊ້ເວລາເຂົ້າໄປໃນບັນຊີຂອງວົງເລັບໄດ້. ໃນການຂຽນໂປຣແກຣມ, ການທໍາງານນີ້ມັກຈະຖືກນໍາໃຊ້ເພື່ອເຮັດໃຫ້ແນ່ໃຈວ່າວ່າຄໍາສັ່ງສະເພາະໃດຫນຶ່ງປະຕິບັດພຽງແຕ່ຖ້າຫາກວ່າລວມຂອງສະພາບການສະເພາະໃດຫນຶ່ງ.

disjunction

ການດໍາເນີນງານຢ່າງມີເຫດຜົນ "ຫຼື" - ຮູບແບບຂອງການທໍາງານ Boolean, ເຊິ່ງເປັນຄ້າຍຄືກັນກັບນອກຈາກພຶຊະຄະນິດ. ຊື່ອື່ນໆສໍາລັບການທໍາງານຂອງນີ້ - ນອກຈາກນັ້ນມີເຫດຜົນ, disjunction ໄດ້. ເຊັ່ນດຽວກັນ, ການດໍາເນີນງານຫຼາຍຢ່າງມີເຫດຜົນ, disjunction ອາດຈະ binary (ການຄິດໄລ່ມູນຄ່າການໂດຍອີງໃສ່ທັງສອງກະທູ້), ternary ຫລື n-ary.

ຕາຕະລາງຄວາມຈິງສໍາລັບການປະຕິບັດງານຢ່າງມີເຫດຜົນນີ້ແມ່ນປະເພດຂອງທາງເລືອກໃນການຮ່ວມໄດ້. ການດໍາເນີນງານຢ່າງມີເຫດຜົນ "ຫຼື" ຄໍານວນຜົນໄດ້ຮັບທີ່ດີທີ່ສຸດໃນບັນດາກະທູ້ທີ່ສະຫນອງໄດ້. disjunction ຮັບມູນຄ່າຜົນຜະລິດ "false", ຫຼື 0 ພຽງແຕ່ໃນເວລາທີ່ທັງຫມົດຕົວກໍານົດການການປ້ອນຂໍ້ມູນທີ່ໄດ້ຮັບກັບຄ່າ 0 ( "false"). ໃນກໍລະນີອື່ນໆຜົນຜະລິດຈະໄດ້ຮັບໂດຍການມູນຄ່າການ "ທີ່ແທ້ຈິງ", ຫຼື 1. ການບັນທຶກຂໍ້ມູນການທໍາງານນີ້ແມ່ນສ່ວນໃຫຍ່ມັກຈະນໍາໃຊ້ເຄື່ອງຫມາຍທາງຄະນິດສາດຂອງນອກຈາກນັ້ນ ( "ບວກ") ຫຼືສອງໃນລອກເອົາເປືອກຕັ້ງ. ການແຕກຕ່າງທີ່ສອງແມ່ນຂະຫຍາຍຕົວໃນທີ່ສຸດພາສາການຂຽນໂປຣແກຣມແລະແນະນໍາເນື່ອງຈາກວ່າມັນອະນຸຍາດໃຫ້ທ່ານສາມາດຢ່າງຊັດເຈນແຍກປະຕິບັດງານຢ່າງມີເຫດຜົນຂອງການກ່ຽວກັບເລກ.

ຄຸນສົມບັດທົ່ວໄປຂອງການດໍາເນີນງານຢ່າງມີເຫດຜົນ

ການດໍາເນີນງານຢ່າງມີເຫດຜົນພື້ນຖານບໍ່ວ່າຈະເປັນ unary ຖານສອງ, ternary ຕິບັດຫນ້າທີ່ອື່ນໆ, ແມ່ນຂຶ້ນກັບກົດລະບຽບສະເພາະໃດຫນຶ່ງແລະຄຸນສົມບັດທີ່ອະທິບາຍພຶດຕິກໍາຂອງເຂົາເຈົ້າ. ຫນຶ່ງຄຸນສົມບັດພື້ນຖານດັ່ງກ່າວ possessed ໂດຍພຣປະຕິບັດຫນ້າຢ່າງມີເຫດຜົນຂ້າງເທິງນີ້, ອະທິບາຍແມ່ນ commutative.

ຄຸນນະສົມບັດນີ້ຮັບປະກັນວ່າການທໍາງານ permutation ສະຖານທີ່ມູນຄ່າຕົວຖືກດໍາເນີນການບໍ່ໄດ້ມີການປ່ຽນແປງ. ບໍ່ດໍາເນີນການທັງຫມົດມີຄຸນສົມບັດນີ້. ຊຶ່ງແຕກຕ່າງຈາກການສົມທົບແລະ disjunction ທີ່ສອດຄ້ອງ Commuter, ການທໍາງານຂອງ ຂອງຫຼາຍມາຕຣິກເບື້ອງ ບໍ່ແມ່ນ, ແລະການປັບປຸງໃຫມ່ຂອງປັດໃຈໃນການດໍາເນີນການນີ້ຈະນໍາໄປສູ່ຜົນມາຈາກການປ່ຽນແປງໄດ້, ເຊັ່ນດຽວກັນກັບ ປີ.

A ລັກສະນະເພີ່ມເຕີມຂອງ

ອີກປະການຫນຶ່ງຄຸນນະສົມບັດທີ່ສໍາຄັນ, ເຊິ່ງມັກຈະຖືກນໍາໃຊ້ໃນເອເລັກໂຕຣນິກແລະວົງຈອນ, ເປັນ subordination ຂອງຄູ່ຂອງການດໍາເນີນງານຢ່າງມີເຫດຜົນກົດຫມາຍ De Morgan ໄດ້.

ກົດຫມາຍເຫຼົ່ານີ້ຜູກຄູ່ຂອງການດໍາເນີນງານຢ່າງມີເຫດຜົນການນໍາໃຊ້ການທໍາງານຂອງການປະຕິເສດຢ່າງມີເຫດຜົນ, ທີ່ຖືກນໍາໃຊ້ກ່ຽວກັບການເຮັດການດໍາເນີນງານຢ່າງມີເຫດຜົນການນໍາໃຊ້ອື່ນໆ. ສໍາລັບຕົວຢ່າງ, ການທໍາງານຂອງຮ່ວມ negation ອາດຈະສະແດງອອກໂດຍການປະຕິເສດ disjunction ຕົວຖືກດໍາເນີນແຍກຕ່າງຫາກ. ກົດຫມາຍເຫຼົ່ານີ້ປະຕິບັດງານຢ່າງມີເຫດຜົນ "ແລະ", "OR" ແລະ vzaimovyrazheny ສາມາດໄດ້ຮັບການປະຕິບັດກັບຄ່າໃຊ້ຈ່າຍອຸປະກອນຫນ້ອຍ. ຄຸນນະສົມບັດນີ້ແມ່ນເປັນປະໂຫຍດທີ່ສຸດໃນການອອກແບບວົງຈອນ, ຍ້ອນວ່າມັນອະນຸຍາດໃຫ້ທ່ານເພື່ອຊ່ວຍປະຢັດຊັບພະຍາກອນໃນການຄິດໄລ່ແລະການສ້າງຕັ້ງຂອງ chip.