Institute for Logic, Language and Computation
தர்க்கம், மொழி மற்றும் கணக்கீட்டு நிறுவனம் (ஐ. எல். எல். சி) ஆம்ஸ்டர்டாம் பல்கலைக்கழகத்தின் ஒரு ஆராய்ச்சி நிறுவனமாகும், இதில் அறிவியல் பீடத்தின் ஆராய்ச்சியாளர்கள் மற்றும் மனிதநேய பீடத்தின் ஆராய்ச்சியாளர்கள் ஒத்துழைக்கிறார்கள். ஐஎல்சி-யின் மைய ஆராய்ச்சி பகுதி குறியாக்கம், பரிமாற்றம் மற்றும் தகவல்களைப் புரிந்துகொள்வது ஆகியவற்றின் அடிப்படைக் கொள்கைகளைப் படிப்பதாகும். இயற்கை மற்றும் முறையான மொழிகளுக்கு முக்கியத்துவம் அளிக்கப்படுகிறது, ஆனால் படங்கள் மற்றும் இசை போன்ற பிற தகவல் கேரியர்களும் ஆய்வு செய்யப்படுகின்றன. தர்க்கம், கணிதம், கணினி அறிவியல், கணக்கீட்டு மொழியியல், அறிவாற்றல் அறிவியல், செயற்கை நுண்ணறிவு மற்றும் தத்துவம் போன்ற தகவல் மற்றும் தகவல் செயலாக்கத்துடன் தொடர்புடைய பல்வேறு துறைகளின் நுண்ணறிவுகளை ஒன்றிணைப்பதை ஐஎல்எல்சி ஆராய்ச்சி நோக்கமாகக் கொண்டுள்ளது. தர்க்கம் மற்றும் கணக்கீடு (திட்டத் தலைவர்ஃ ய்டே வெனிமா), தர்க்கம் மற்றும் மொழி (திட்டத் தலைவர்ஃ ராபர்ட் வான் ரூயிஜ்), மற்றும் மொழி மற்றும் கணக்கீடு (திட்டத் தலைவர்ஃ ஜெல்லே ஜுயிடேமா) ஆகிய மூன்று குழுக்களாக இது ஏற்பாடு செய்யப்பட்டுள்ளது, இதில் முக்கிய கருப்பொருள்கள் விளக்கக்கூடிய மற்றும் நெறிமுறை செயற்கை நுண்ணறிவு, இயற்கை மொழி செயலாக்கத்திற்கான விளக்கக்கூடிய இயந்திர கற்றல், அறிவாற்றல் மாடலிங், தர்க்கம், விளையாட்டுகள் மற்றும் சமூக நிறுவனம் மற்றும் குவாண்டம் தகவல் மற்றும் கணக்கீடு. ஐஎல்எல்சி பல சர்வதேச ஒத்துழைப்புகளில் ஈடுபட்டுள்ளது, அவற்றில் சிங்குவா பல்கலைக்கழகம் மற்றும் ஆம்ஸ்டர்டாம் பல்கலைக்கழகம் ஆகியவற்றுக்கு இடையிலான சிறப்பு கூட்டு கூட்டாண்மையான லாஜிக்கிற்கான கூட்டு ஆராய்ச்சி மையத்தை (ஜேஆர்சி) நாங்கள் முன்னிலைப்படுத்துகிறோம். அதன் ஆராய்ச்சி நடவடிக்கைகளுக்கு மேலதிகமாக, ஐஎல்எல்சி லாஜிக்கில் பட்டதாரி திட்டத்துடன் பிஎச்டி திட்டத்தையும், லாஜிக்கில் எம்எஸ்சி, லாஜிக்கில் சர்வதேச தரவரிசை மற்றும் இடைநிலை எம்எஸ்சி பட்டத்தையும் (எம்எஸ்சி லாஜிக் வலைப்பக்கம்) நடத்தி வருகிறது. செப்டம்பர் 2018 இல், இந்த நிறுவனம் உள்ளூர் மற்றும் சர்வதேச இளங்கலை மாணவர்களை வரவேற்று, தர்க்கம் மற்றும் கணக்கீட்டில் மைனரைத் திறந்தது. கணிதம், தத்துவம், கோட்பாட்டு கணினி அறிவியல் மற்றும் கணக்கீட்டு மொழியியல் மற்றும் செயற்கை நுண்ணறிவு ஆகிய நான்கு கருப்பொருள்களின் அடிப்படையில் ஏற்பாடு செய்யப்பட்ட உயர்மட்டப் படிப்புகளின் பட்டியலிலிருந்து தேர்ந்தெடுக்கப்பட்ட தர்க்கம் மற்றும் கணக்கீட்டில் மைனரின் திட்டம் 30 இ. சி. யைக் கொண்டுள்ளது. ஐஎல்எல்சி 1986 ஆம் ஆண்டில் இன்ஸ்டிடியூட் வூர் தால், லாஜிகா என் இன்ஃபர்மேட்டி (ஐடிஎல்ஐ; மொழி, தர்க்கம் மற்றும் தகவல் நிறுவனம்) என்ற பெயரில் தொடங்கியது. ஆரம்பத்தில், இது கணிதம் மற்றும் கணினி அறிவியல் மற்றும் தத்துவப் பீடத்தைச் சேர்ந்த ஊழியர்களின் முறைசாரா சங்கமாக இருந்தது, மேலும் 1989 ஆம் ஆண்டில் மனிதநேயப் பீடத்தைச் சேர்ந்த கணக்கீட்டு மொழியியலாளர்களும் இதில் இணைந்தனர். 1991 ஆம் ஆண்டில் இந்த நிறுவனம் அதிகாரப்பூர்வமாக பல்கலைக்கழக ஆராய்ச்சி நிறுவனமாக நிறுவப்பட்டது. ஐடி1 காலத்தில் கணிதம் மற்றும் கணினி அறிவியல் பீடத்தின் நிரலாக்க ஆராய்ச்சிக் குழுவும் இந்த நிறுவனத்தின் ஒரு பகுதியாக இருந்தது. சமூக அறிவியல் பீடத்தின் பயன்பாட்டு தர்க்க ஆய்வகம் 1996 முதல் 2003 வரை ஐஎல்எல்சியின் ஒரு பகுதியாக இருந்தது. கணினி அறிவியல் மற்றும் அறிவாற்றல் அறிவியலில் உள்ள பிற குழுக்கள் 1996 ஆம் ஆண்டில் இந்த நிறுவனத்துடன் தங்களை இணைத்துக் கொண்டன. ஐஎல்எல்சி இருபதாம் நூற்றாண்டின் முற்பகுதியில் (எல். இ. ஜே போன்ற ஆராய்ச்சியாளர்கள் உட்பட) ஆம்ஸ்டர்டாம் தர்க்க ஆராய்ச்சி பாரம்பரியத்தில் வேரூன்றியுள்ளது. ப்ரூவர், அரேண்ட் ஹைட்டிங் மற்றும் எவர்ட் வில்லெம் பெத்). இது பெத் இன்ஸ்டிடியூட் வூர் கிராண்ட்ஸ்லாஜென்டெர்சோக் என் ஃபிலோசோஃபி டெர் எக்ஸாக்ட் வெட்டென்ஷாப்பனை (1952 இல் நிறுவப்பட்டது) அதன் முன்னோடியாக கருதுகிறது. இயக்குநர்கள் உறுப்பினர்கள் மற்ற குறிப்பிடத்தக்க உறுப்பினர்கள் மற்றும் கடந்த கால உறுப்பினர்கள் பின்வருமாறுஃ ரெனேட் பார்ட்ஷ் ஹாரி புர்மான் பீட்டர் வான் எம்டே போஸ் ஹென்க்ஜான் ஹானிங் லூகா இன்குர்வாட்டி தியோ ஜான்சன் டிக் டி ஜாங் மைக்கேல் வான் லம்பால்ஜென் பெனெடிக்ட் லோவ் ரெம்கோ ஷா அன்னே ட்ரோல்ஸ்ட்ரா ஜூகோ வனனென் பால் விட்டானி மேலும் பார்க்கவும் நெதர்லாந்தில் உள்ள கார்டெவெக்-டி வ்ரீஸ் இன்ஸ்டிடியூட் ஃபார் மேத்தமேட்டிக்ஸ் சென்ட்ரம் விஸ்கண்டே & இன்ஃபர்மேட்டிகா வெளிப்புற இணைப்புகள் ஆராய்ச்சி நிறுவனங்கள் நெதர்லாந்து அறிவாற்றல் அறிவியல் ஆராய்ச்சி நிறுவனங்கள் ஆம்ஸ்டர்டாம் பல்கலைக்கழகத்தில் உள்ள கணினி அறிவியல் நிறுவனங்கள் லாஜிக் அமைப்புகள்