තාර්කික මෙහෙයුම. මූලික තර්කය මෙහෙයුම්

විද්යාව ලෙස පරිගණක විද්යාව තාක්ෂණය එකතු, දත්ත විවිධ සංවිධානය හා ක්රියාවලිය-විසිවන සියවසේ මැද භාගය වන වර්ධනය වීම ආරම්භ කරයි. පරිගණක විද්යාව පිහිටුවීම ආරම්භයේ 17 වන සියවසේ දී මුල් ගල් තැබූ බව සමහර ඉතිහාසඥයන් විශ්වාස වුවද, ප්රථම යාන්ත්රික කැල්කියුලේටරය නිපදවීමත් සමඟ, බහුතර එය තව තවත් දියුණු වයස අවුරුදු සමඟ ඇසුරු පරිගණක තාක්ෂණය. 20 වැනි සියවසේ 40s දී ප්රථම පරිගණක පැමිණීමත් සමග, පරිගණක විද්යාව සංවර්ධනය සඳහා නව පණක් ලැබී ඇත.

අධ්යයනය ඉන්ෆොමැටික්ස් විෂය

පළමු පරිගණක පැමිණීමත් නව පරිගණක උපරිමයෙන් ඉඩ ඇති බව විශාල දත්ත කාණ්ඩ පිළිබඳ systematization, ගණනය හා සැකසුම් මෙන්ම, ගණිත ක්රමයක් සංවර්ධනය නව ක්රම සංවර්ධනය කිරීම අත්යවශ්ය කරුණක් වී ඇත එය විය. ඉන්ෆොමැටික්ස් ස්වාධීන විද්යාත්මක විනය තත්ත්වය ලැබී, සහ පොදුවේ හැටිත් ඉගෙන ගණිතමය ගණනය කිරීම් තලයේ පිට වුණා.

නවීන පරිගණක විද්යාව තාර්කික මෙහෙයුම් මත පදනම් වේ. ඔවුන් මූලික අංගයක් ලෙස හැඳින්විය හැක. වැඩසටහන් තුළ, පරිගණක පද්ධති තර්ක මෙහෙයුම සංකල්පය - එය නව සංකල්පය හෝ තිබෙන සංකල්ප පදනම මත පිහිටුවන ලද අගය සිදු පසුව ජනනය වන ක්රියාවක් වේ. මෙවැනි ක්රියාවන්, කට්ටලයක් විධාන ක්රියාත්මක කිරීමට ප්රොසෙසරය අංගයක් මත වෙනස් විය හැක. කෙසේ වෙතත්, දැනට පවතින සැබවින් ම, හැම පද්ධති සඳහා පොදු බව සමහර මෙහෙයුම් ඇත. අන්තර්ගතය සමඟ වැඩ කරන මෙම මෙහෙයුම, එවැනි ප්රතික්ෂේප ලෙස, තමන් අගය, හෝ ප්රමාණාත්මක ගුනාංගීකරනය සංකල්ප වෙනස් වන බව එම -, එකතු කරන්න අඩු, බොහෝ සෙයින් වැඩි, බෙදා.

තාර්කික මෙහෙයුම් Operands

මෙම වීජ ගණිතය තර්ක වියුක්ත සංකල්පනාව විහිදී මත වැඩ අදහස් සිට, පසුව operands ලෙස සියලු තාර්කික මෙහෙයුම් සාමාන්යකරනය දත්ත වර්ග වේ. සම්භාව්ය අංග, වීජ ගණිතය ප්රකාශ සමග ක්රියාත්මක වන ප්රකාශ, ව්යාජ හෝ සැබෑ ය. මෙම පද වල විස්තර සඳහා ඉලෙක්ට්රොනික් උපකරණ සහ වැඩසටහන් බූලීය විචල්ය 1 (සත්ය) සැබෑ හා ව්යාජ හෝ පූර්ණ සංඛ්යාමය අගය භාවිතා 0 (බොරු). එම වටිනාකම් සම්මිශ්රනයක් මත, එය නුහුරු ලෙස ඇදහිය නොහැකි ලෙස, වැඩ බොහෝ සංකීර්ණ හා මහා පරිමාණ පද්ධති බැඳී ඇත. පරිගණකයක් මත ක්රියාත්මක වන හෝ ඩිජිටල් උපකරණය ගතිකව අය හා බිංදු අනුක්රමයක් බවට පරිවර්තනය සියලු වැඩසටහන කේතය - ඕනෑම සැකසුම් විසින් සකස් කළ හැකි විශ්වීය කේතය.

තාර්කික මෙහෙයුම් වර්ග

මීට පෙර සඳහන් කර ඇති පරිදි, සම්භාව්ය බූලීය වීජ ගණිතය , කාර්යයන් වර්ග 2 වේ. ද්විමය දත්ත වර්ග මත ප්රධාන තාර්කික මෙහෙයුම් - ප්රකාශය ම බලපාන බව (ඒකජ හෝ තනි, මෙහෙයුම්) ය. මෙය ද පවත්නා සාරධර්ම පදනම මත නව ප්රකාශන (ද්වීමය කර්ම, හෝ නිවුන්) ජනනය කරන මෙහෙයුම් වේ. තාර්කික මෙහෙයුම් සඳහා වරහන් නිමිත්තෙන්, වමේ සිට කිසිදු ගණිත ගණනය කිරීම් සිදු කරන විට හා සමාන වේ.

පහසුම හා බූලියන් තර්ක කාර්යය වඩාත් හොඳින් දැන කාර්යයන් එක් ප්රතික්ෂේප වේ. මෙය ඉතා සරල තර්කය මෙහෙයුම ආදාන යන අගයද ක ප්රතිවිරුද්ධ අගය වේ. ඉලෙක්ට්රොනික උපකරණ ගැන, මෙම ක්රියාව සමහර ක විමුක්තිය පරම ලෙස හැඳින්වේ. උදාහරණයක් ලෙස, ඔබ යන ප්රස්තුතය "සත්යය" talk තෝරාගැනුම ප්රතිලෝම කරන්න නම්, ප්රතිඵලය "බොරු" වේ. සහ අනෙක් අතට - වටිනාකම් නිශේධනය "බොරු" "සැබෑ" එහි වටිනාකම හේතු වනු ඇත. මෙම තාර්කික මෙහෙයුම් වැඩසටහන් බොහෝ විට දක්නට නොමැත්තේ පවතින ප්රතිඵල හෝ තත්වයන් වෙනස් පදනම මත විධාන පසුව මාලාවක් වන "තේරීම" ක්රියාත්මක කිරීම අතු බෙදී සඳහා භාවිතා කරනු ඇත.

ද්විමය මෙහෙයුම

පරිගණක වැඩසටහන් සම්පාදනය හා සීමිත කට්ටලයක් භාවිතා ද්විමය (binary) මෙහෙයුම්. ඔවුන් "දෙක" අර්ථය, ලතින් වචන අර්ධ තම නම ලැබුණේ, හා ආදාන තර්ක දෙකක් ගෙන එක් නව වටිනාකම හේතුවෙන් නැවත ක්රියාත්මක වන බව නම් මෙය යි. බූලීය වීජ ගණිතය සියලු කාර්යයන් විස්තර සඳහා සත්යතා වගු භාවිතා කරයි.

තමන්ට අවශ්ය දේ

මෙම පද්ධතිය ආදාන operands එක්තරා සඳහා සාදා සකස් පරාමිතීන් පවසයි දී කලින් තීරණය කරන තර්ක මෙහෙයුම නැවත හැකි සියලු ප්රතිඵලයක් සාරධර්ම, විස්තර කර ඇත.

තුළ වඩාත් බහුලව භාවිතා කාර්යයන් පරිගණක හා පරිගණක තාක්ෂණය තාර්කික අමතරව (disjunction) සහ තාර්කික ගුණ (සහයෝගීව) ය.

සහයෝගීව

තාර්කික මෙහෙයුමක් "සහ" - දෙකක් හෝ n ආදාන operands යන ෙදෙකන් අඩු තෝරා ශ්රිතයක් වේ. මෙම ශ්රිතය ඇතුළත් මත දෙකක් (ද්විමය කාර්යය) ඇති විය හැකි අගයන් (මිශ්ර), හෝ operands මෙඩි (n-ජලනල මෙහෙයුම). මෙම උත්සවයට ප්රතිඵලයක් ගණනය කළ විට එය සපයා ආදාන වටිනාකම් කුඩාම වනු ඇත.

සාමාන්ය වීජ ගණිතය ඇනෙලොග් ගුණ කිරීමේ ශ්රිතයක් වේ. එම නිසා, සහයෝගීව මෙහෙයුම බොහෝ විට තාර්කික ගුණ ලෙස සඳහන් කරනු ලැබේ. විට කාර්යය පටිගත ක්රියා හෝ ගුණ කිරීමේ ලකුණ (සීමාව) හෝ ampersand ලකුණ. අප මෙම උත්සවය සඳහා සත්යතා වගුවේ කරන්න නම්, එය පමණක් සියලු ආදාන operands සත්යය සමග, මෙම උත්සවය "සත්යය" හෝ 1 වන ලෙස සකසා තිබෙන බව දැක ඇත. පරාමිතීන් අවම වශයෙන් එක් ශුන්ය හෝ වටිනාකම "බොරු" නම්, මෙම උත්සවය ප්රතිඵලයක් ද "බොරු" වනු ඇත.

මෙම අංක ගණිතමය ගුණ සමග සාදෘශ්යයක් පිළිබිඹු: එය පරාමිතීන් ගණනය කිරීමේ අවසාන ප්රතිඵලය බාධාවක් නොවන ලැබෙන අනුපිළිවෙළ: ප්රතිඵලයක් ලෙස 0 ගුණ කිරීම, සහ අංක කට්ටල ඕනෑම අංකය සෑම විටම 0 මෙම තර්කය මෙහෙයුම න්යාදේශ වේ පැමිණේ.

මේ කර්තව්යය තවත් ලක්ෂණයක් associativity, හෝ associativity වේ. මෙම දේපල මෙහෙයුම් ද්විමය අනුක්රමය ගණනය සැලකිල්ලට ඇගයීම අනුපිළිවෙල ගත වන්නේ නැත ඉඩ දෙයි. ඒ නිසා, 3 ක් හෝ ඊට වඩා අඛණ්ඩව තාර්කික ගුණ සැලකිල්ලට වරහන් ගැනීමට අවශ්ය නොවේ. වැඩසටහන්, මෙම කාර්යය බොහෝ විට වග ඇතැම් කොන්දේසි සමස්ත නම් පමණක් විශේෂිත විධාන ක්රියාත්මක කළ යුතුයි භාවිතා කරයි.

disjunction

තාර්කික මෙහෙයුම් "OR" - වීජීය අමතරව සමාන වන වන බූලීය කාර්යය, ස්වරූපයෙන්. මෙම උත්සවය සඳහා වෙනත් නම් - තාර්කික අමතරව, මෙම disjunction. ඒ හා සමානව, තාර්කික ගුණ ලෙස, disjunction ද්විමය (තර්ක දෙකක් මත පදනම් වූ වටිනාකම ගණනය කිරීම සඳහා), මිශ්ර හෝ n-ජලනල විය හැක.

මෙම තාර්කික මෙහෙයුම් සඳහා සත්යය වගුව සහයෝගීව විකල්ප කාරුණික වේ. තාර්කික මෙහෙයුම් "OR" සැපයූ තර්ක අතර හොඳම ප්රතිඵලය ගණනය කර ඇත. Disjunction ප්රතිදානය අගය "බොරු" ලැබෙන, හෝ 0 වටිනාකම් 0 ( "බොරු") ලැබී ඇති විට පමණක් සියලු ආදාන පරාමිතීන්. වෙනත් ඕනෑම අවස්ථාවක දී ප්රතිදානය "සත්යය" වටිනාකම ලබා ගත වනු ඇත, හෝ 1. මෙම ශ්රිතය වාර්තා කිරීම සඳහා බොහෝ විට එකතු ගණිතමය සංඥා ( "ප්ලස්") හෝ සිරස් තීරු දෙකක් භාවිතා කරයි. දෙවන ප්රභේද්යයක් බොහෝ පරිගණක භාෂා පුලුල්ව පැතිරුනු අතර එය අංක ගණිතයේ තාර්කික මෙහෙයුම් ඔබ පැහැදිලිව වෙන් කිරීමට ඉඩ නිසා කැමති වේ.

තාර්කික මෙහෙයුම් සාමාන්ය ගුණ

මූලික තර්කය මෙහෙයුම්, එය ඒකජ යන්න, ද්විමය, මිශ්ර හෝ වෙනත් කාර්යයන්, ඔවුන්ගේ හැසිරීම විස්තර කරන සමහර නීති රීති හා ගුණ වලට යටත් විය යුතුය. එක් ඉහත විස්තර තර්ක කාර්යයන් විසින් භුක්ති එවැනි මූලික ගුණ න්යාදේශ වේ.

මෙම ලක්ෂණය සහ සංයෝගයට උත්සවය යන අගයද අගය වෙනස් නොවේ තබයි බව සහතික. සියලු ක්රියාකරුවන්, මෙම දේපළ නැති. commutativity අවශ්යතා තෘප්තිමත් බව සහයෝගීව හා disjunction මෙන් නොව, මෙම උත්සවය න්යාසය ගුණ කිරීමේ නොවේ, සහ මෙම මෙහෙයුමේ දී සාධක නැවත සකස් වීම් වලට වෙනස් ප්රතිඵලයක් මෙන්ම ඕත්තු exponentiation.

කිරීමේ තවත් අංශයක්

බොහෝ විට ඉලෙක්ට්රොනික් උපකරණ සහ විද්යුත් පරිපථ භාවිතා කරන තවත් වැදගත් අංගයක් නම්, තාර්කික මෙහෙයුම් ද මෝර්ගන් නීති යුගල යටත් වේ.

මෙම නීති අනෙක් භාවිතා තාර්කික මෙහෙයුම් ප්රකාශ කිරීම සඳහා භාවිතා වන තාර්කික නිශේධනය කාර්යය භාවිතා තර්ක මෙහෙයුම් යුගල බැඳ. උදාහරණයක් ලෙස, සහයෝගීව නිශේධනය උත්සවය disjunction negations වෙනම operands විසින් ප්රකාශ කළ හැකිය. මෙම නීති තාර්කික මෙහෙයුමක් "සහ", "හෝ" සහ vzaimovyrazheny අවම දෘඩාංග වියදම ක්රියාත්මක කළ හැක. සමග එය චිප්ස් ගණනය හා ගොඩනැගීම සම්පත් බේරා ගැනීමට ඔබට ඉඩ සලසන මෙම ලක්ෂණය, චාරිකා නිර්මාණය ඉතා ප්රයෝජනවත් වේ.