தருக்க செயல்படும். அடிப்படை தர்க்க நடவடிக்கைகளை

கணினி அறிவியல் ஒரு அறிவியலாக நுட்பங்கள் சேகரிப்பதற்கான ஒழுங்கமைத்துப் தரவு பல்வேறு நடுப்பகுதியில் இருபதாம் நூற்றாண்டில் உருவாக ஆரம்பிக்கிறது செயல்படுத்த. கணினி அறிவியல் உருவாக்கம் தொடக்கத்தில் முதல் இயந்திர கால்குலேட்டர் கண்டுபிடிப்பின் மூலம், 17 ஆம் நூற்றாண்டில் அடிக்கல் நாட்டினார் என்று சில வரலாற்று அறிஞர்கள் என்றாலும், பெரும்பான்மை இன்னும் மேம்பட்ட வயது இணைத்திட கணினி தொழில்நுட்பம். 20 ஆம் நூற்றாண்டின் -40, முதல் கணினிகள் வருகைக்குப் பின்னர் கணினி அறிவியல் வளர்ச்சிக்கு ஒரு புதிய உத்வேகம் பெற்றுள்ளது.

ஆய்வு தகவலியல் பொருள்

முதல் கணினிகள் வருகையுடன் புதிய கணினிகள் முழுத் திறனையும் அனுமதிக்க வேண்டும் என்று அமைப்பியலாக்கல், கணக்கீடு மற்றும் பெரிய தரவு தொகுப்புகளின் செயலாக்கம் புதிய வழிமுறைகளை அதே வழிமுறைகளைப் வளர்ச்சி உருவாக்குவதற்குத் தேவையான மாறிவிட்டது அதை இருந்தது. தகவலியல் ஒரு சுயாதீன அறிவியல் ஒழுக்கம் நிலையை பெற்றார், மற்றும் பொது கணிப்பீடு படிக்க கணித கணக்கீடுகள் விமானத்தில் இருந்து சென்றார்.

அனைத்து நவீன கணினி அறிவியல் தருக்க நடவடிக்கைகளை அடிப்படையாக கொண்டது. அவர்கள் அடிப்படை கூறு அழைக்க முடியும். நிரலாக்கத்தில், கணினி அமைப்புகள் தர்க்கம் செயல்படும் கருத்து - அது ஒரு புதிய கருத்து அல்லது தற்போதுள்ள கருத்துக்கள் அடிப்படையில் அமைக்கப்பட்ட ஒரு மதிப்பு நிகழ்ச்சி நடத்தி உருவாக்கப்படும் ஒரு நடவடிக்கை ஆகும். செயலி உறுப்பு கட்டளைகளை இயக்க பொறுத்து இத்தகைய நடவடிக்கைகளை ஒரு தொகுப்பு மாறுபடலாம். இருப்பினும், அனைத்து இருக்கும் அமைப்புகள் பொதுவானதாக உள்ள சில நடவடிக்கைகளை உள்ளன. உள்ளடக்கத்தை வேலை இந்த அறுவை சிகிச்சை போன்ற மறுப்பு, தங்களை மதிப்பிடுகிறது, அல்லது க்வாண்டிட்டேடிவ் பாத்திரப்படைப்பு கருத்துக்கள் மாற்ற அந்த - கழித்தல், பெருக்குதல், வகுத்தல், சேர்க்க.

தருக்க நடவடிக்கைகளை ஏற்பிகளும்

அல்ஜீப்ரா தர்க்கம் சுருக்க கருத்துக்களை வேலை பொருள் என்பதால், பின்னர் ஏற்பிகளும் போன்ற அனைத்து தர்க்க நடவடிக்கைகளை பொதுமைப்படுத்தப்பட்ட தரவு வகைகள் உள்ளன. பாரம்பரிய உறுப்புகள், அல்ஜீப்ரா அறிக்கைகள் வேலை தவறான அல்லது உண்மையான வாசகங்கள் உள்ளன. இந்த விதிமுறைகளை விளக்ககத்திற்காக மின்னணு மற்றும் நிரலாக்க பூலியன் மாறிகள் 1 (உண்மை) மற்றும் 0 (தவறான) உண்மை மற்றும் தவறான அல்லது முழு மதிப்பு பயன்படுத்தப்படும். இந்த மதிப்புகள் ஆகியவற்றை சேர்த்து, அது தெரிந்தாலும் நம்பமுடியாத போன்ற, வேலை மிகவும் சிக்கலான மற்றும் பெரிய அளவிலான அமைப்புகள் இணைக்கப்பட்டிருக்கிறது. செய்முறைக் மூலம் பதப்படுத்தப்பட்ட முடியும் உலகளாவிய குறியீடு - ஒரு கணினி அல்லது எந்த டிஜிட்டல் சாதனம் செயல்படுத்தப்படுகிறது என்று அனைத்து நிரல் குறியீடு மாறும் மற்றும் பூஜ்ஜியங்களாக ஒரு காட்சியில் ஒரு மொழிபெயர்க்கலாம்.

தருக்க செயல்பாடுகளின் வகைகளும்

முன்னதாக, கிளாசிக்கல் குறிப்பிட்டதுபோல் பூலியன் அல்ஜிப்ரா , செயல்பாடுகள் 2 வகைகள் உள்ளன. இரும தரவு வகையான முக்கிய தருக்க நடவடிக்கைகளை - அறிக்கை தன்னை (ஒரும, அல்லது ஒற்றை, அறுவை சிகிச்சை) பாதிக்கும் செயல்கள் உள்ளன. இது (பைனரி நடவடிக்கைகளை, அல்லது இரட்டை) தற்போதுள்ள மதிப்புகள் அடிப்படையில் புதிய அறிக்கைகள் உருவாக்கும் இயக்கங்களாகும். தருக்க நடவடிக்கைகளின் பொருட்டு, இடமிருந்து வலமாக அடைப்புக்குறிக்குள் பார்வையில் இருந்து எந்த கணித கணக்கீடுகள் மேற்கொள்ளும் தங்கள் அதே தான்.

எளிதான மற்றும் பூலியன் தர்க்கம் செயல்பாடு மிகவும் நன்கு அறியப்பட்ட செயல்பாடுகளில் ஒன்று மறுப்பு உள்ளது. இந்த எளிய தர்க்கம் செயல்படும் உள்ளீடு செயலி இன் எதிர்மறையாகக் மதிப்பாகும். மின்னணுக்களில் இந்த நடவடிக்கை சில நேரங்களில் ஒரு தலைகீழ் அழைக்கப்படுகிறது. உதாரணமாக, நீங்கள் கருத்தாகும் கவிழ் "உண்மை" என்றால், எதிர்விளைவு "தவறான" ஆகும். மற்றும் மாறாகவும் - மதிப்புகள் மறுத்தலைக் "தவறான" "உண்மை" ஒரு மதிப்பு ஏற்படுத்தும். இந்த தர்க்க செயல்படும் நிரலாக்க அடிக்கடி நெறிமுறைகள் மற்றும் இருக்கும் முடிவுகளை அல்லது மாற்றவோ நிலைமைகள் அடிப்படையில் கட்டளைகளை ஒரு அடுத்தடுத்த வரிசையின் "தேர்வு" செயல்படுத்த கிளையிடுதலை பயன்படுத்தப்படுகிறது.

பைனரி செயல்படும்

கணினி நிரலாக்க மற்றும் ஒரு குறிப்பிட்ட வைத்துக்கொள்வார்கள் பைனரி (பைனரி) நடவடிக்கைகளை. அவர்கள் அர்த்தம் "இரண்டு", லத்தீன் வார்த்தைகள் இரு இருந்து தங்கள் பெயர் கிடைத்தது, மற்றும் இரண்டு உள்ளீடு வாதங்கள் எடுத்து என்று ஒரு புதிய மதிப்பு முடிவை வழங்க செயல்பாடுகளை வகையான உள்ளன. பூலியன் அல்ஜிப்ரா எல்லா இயக்கங்களும் விளக்கங்கள் உண்மையை அட்டவணைகள் பயன்படுத்துகிறது.

என்ன அவர்களுக்குத் தேவையான

இந்த அமைப்பு உள்ளீடு ஏற்பிகளும் ஒரு குறிப்பிட்ட அளவு செய்யப்பட்ட அவரிடத்தில் வந்து உள்ளீடு அளவுருக்கள் அமைக்க ஒரு முன்னரே தீர்மானிக்கப்பட்ட தர்க்கம் செயல்படும் திருப்பி அனைத்து முடிவான மதிப்புகள் விளக்கும் உள்ளது.

மிக அடிக்கடி பயன்படுத்தப்படும் செயல்பாடுகளை கணினி மற்றும் கணினி தொழில்நுட்பம் தருக்க கூடுதலாக (பிரிப்பைக்) மற்றும் லாஜிக்கல் பெருக்கல் (இணைந்து) உள்ளன.

இணைந்து

தருக்க செயல்பாடு "மற்றும்" - இரண்டு அல்லது n என்பது உள்ளீட்டின் ஏற்பிகளும் குறைந்த தேர்வு செயல்பாட்டைப் பொறுத்திருக்கும். இந்த செயல்பாடு நுழையும் இரண்டு (பைனரி செயல்பாடு) இருக்க முடியும் -இல், மூன்று மதிப்புகள் (மும்மை), அல்லது ஏற்பிகளும் (N-ary செயல்பாடு) வரம்பற்ற. செயல்பாடு விளைவாக கணக்கிடும் போது அது வழங்கப்பட்ட உள்ளீடு மதிப்புகள் சிறிய இருக்கும்.

சாதாரண இயற்கணிதத்திலுள்ள ஒப்புமை பெருக்கல் செயல்பாட்டைப் பொறுத்திருக்கும். எனவே, இணைந்து செயல்படும் பெரும்பாலும் ஒரு தருக்க பெருக்கல் என குறிப்பிடப்படுகிறது. போது செயல்பாடு பதிவு செயல்கள் அல்லது பெருக்கல் அடையாளம் (புள்ளி) அல்லது ஒரு உம்மைக்குறி அடையாளம். நாங்கள் இந்தச் செயற்பாட்டிற்காக உண்மை அட்டவணையின் செய்தால், அது செயல்பாடு மட்டுமே அனைத்து உள்ளீடு ஏற்பிகளும் உண்மையை கொண்டு, "உண்மை" அல்லது 1 அமைக்கப்படுகிறது என்பதையே காட்டுகிறது. உள்ளீடு அளவுருக்கள் குறைந்தது ஒரு பூஜ்யம், அல்லது மதிப்பு "போலியான" செயல்பாடு விளைவாக மேலும் "தவறான" இருக்கும்.

இது உள்ளீடு அளவுருக்கள் பெறுகிறது கணக்கீடு இறுதி முடிவு பாதிக்காது ஆர்டர்: இதன் விளைவாக எப்போதும் 0. இந்த தர்க்கம் செயல்படும் பரிமாற்று உள்ளது திரும்புகிறார் என பெருக்கல், மற்றும் 0 எண்கள் தொகுப்புகளின் எந்த எண்: இந்த கணித பெருக்கல் உடனான ஒப்புமையை பிரதிபலிக்கிறது.

இந்த செயல்பாடு மற்றொரு அம்சம் associativity, அல்லது associativity உள்ளது. இந்த சொத்து நடவடிக்கைகளை பைனரி வரிசை கணக்கீடு கணக்கில் மதிப்பீடு ஆர்டர் எடுத்து கொள்வதில்லை அனுமதிக்கிறது. எனவே, 3 அல்லது அதற்கு மேற்பட்ட தொடர்ச்சியான தருக்க பெருக்கச் செயலில் கணக்கில் அடைப்புக்குறிக்குள் எடுக்க வேண்டாம் அவசியம். நிரலாக்கத்தில், இந்த செயல்பாடு பெரும்பாலும் குறிப்பிட்ட கட்டளைகள் மரண தண்டனை வழங்கிய உறுதி செய்ய பயன்படுத்தப்படுகிறது மட்டுமே சில நிபந்தனைகளை ஒட்டுமொத்தமான என்றால்.

பிரிப்பைக்

தருக்க செயல்பாடு "அல்லது" - ஒரு பூலியன் செயல்பாட்டின் நிலையைத், இயற் கணித கூடுதலாக ஒத்த இது. இந்த செயல்பாட்டின் மற்ற பெயர்கள் - தருக்க கூடுதலாக, பிரிப்பைக். இதேபோல், தருக்க பெருக்கச் செயலில் போன்ற, பிரிப்பைக் பைனரி இருக்கலாம் (இரண்டு வாதங்கள் அடிப்படையில் மதிப்பு கணக்கிட), மும்மை அல்லது n- ary.

இந்த தருக்க செயல்பாட்டில் உண்மை அட்டவணையின் இணைந்து மாற்று ஒரு வகை. தருக்க செயல்பாடு "அல்லது" வழங்கப்பட்ட வாதங்கள் மத்தியில் சிறந்த முடிவை கணக்கிடுகிறது. பிரிப்பைக் "தவறான" வெளியீடு மதிப்பு பெறுகிறது, அல்லது 0 போது மட்டுமே அனைத்து உள்ளீடு அளவுருக்கள் மதிப்புகள் 0 ( "தவறு") கொண்டு பெற்றார். வேறு எந்த வழக்கில் வெளியீடு மதிப்பு மூலம் பெறப்படுகிறது வேண்டும் "உண்மை", அல்லது 1. இந்த செயல்பாடு பதிவு செய்ய பெரும்பாலும் கூடுதலாக ( "பிளஸ்") அல்லது இரண்டு செங்குத்து கீற்றுகள் கணித அடையாளம் பயன்படுத்தப்படுகிறது. அது நீங்கள் தெளிவாக கணித தர்க்கரீதியான செயல்படும் பிரிக்க அனுமதிக்கிறது ஏனெனில் இரண்டாவது மாறுபாடு மிகவும் நிரலாக்க மொழிகளில் பரவலாகவும் விரும்பக்கூடிய.

தருக்க நடவடிக்கைகளை பொதுவான பண்புகளில்

அடிப்படை தர்க்கம் நடவடிக்கைகளை, அது ஒரும, பைனரி, மும்மை அல்லது மற்ற செயல்பாடுகளை என்பதை அவற்றின் நடத்தை விவரிக்கும் சில விதிகளை மற்றும் பண்புகள் உட்பட்டவை. மேலே விவரிக்கப்பட்ட தர்க்கம் செயல்பாடுகளை பேய் அத்தகைய அடிப்படைப் பண்புகளைக் பரிமாற்று உள்ளன.

இந்த அம்சம் வரிசைமாற்றம் செயல்பாடு செயலி மதிப்பை மாற்ற இல்லை வைக்கிறது என்று உறுதி செய்கிறது. எல்லா ஆபரேட்டர்களும் இந்தப் பண்பைக் கொண்டுள்ள. இணைந்து பரிமாற்றுத்தன்மையும் தேவைகளை பூர்த்தி என்று பிரிப்பைக் போலல்லாமல், செயல்பாடு அணி பெருக்கலோ அல்ல, இந்த நடவடிக்கையில் காரணிகள் மறுஒழுங்கமைவுக்கும் மாற்றம் விளைவாக, அதே போல் கொணர வேண்டும் அடுக்குக்.

ஒரு மேலும் அம்சம்

அடிக்கடி மின்னணு மற்றும் மின் உபகரணத்துக்கு பயன்படுத்தப்படும் மற்றொரு முக்கியமான அம்சம், தருக்க நடவடிக்கைகளை தே மோர்கன் சட்டங்கள் ஜோடிகள் கீழ்ப்படுத்திக்கொள்வதாகும்.

இந்த சட்டங்கள் மற்ற பயன்படுத்தி ஒரு தருக்க நடவடிக்கை வெளிப்படுத்த பயன்படுத்தப்படுகிறது என்று தருக்க முறை மறுப்பாக செயல்பாடு, பயன்படுத்தியும் தர்க்க நடவடிக்கைகளை ஜோடிகள் கட்டுகின்றன. உதாரணமாக, ஒரு இணைந்து மறுப்பு செயல்பாடு பிரிப்பைக் காரியங்கள் தனி ஏற்பிகளும் மூலம் விளக்கலாம் இருக்கலாம். இந்தச் சட்டங்கள் தருக்க செயல்பாடு "மற்றும்", "அல்லது" மற்றும் vzaimovyrazheny குறைந்த வன்பொருள் செலவு செய்து முடிக்க இயலும் உடன். அது நீங்கள் கணக்கீடு மற்றும் சில்லுகள் உருவாக்கத்தில் வளங்களை காப்பாற்ற உதவுகிறது என்பதால் இந்த அம்சம் சுற்று வடிவமைப்பு மிகவும் பயனுள்ளதாக இருக்கும்.