வாலேரியா டே பைவா

வலேரியா கொரியா வாசு டே பைவா (Valeria Correa Vaz de Paiva)  பிரேசிலிய நாட்டு  கணிதவியலாளர், தர்க்கவாதி மற்றும் கணினி விஞ்ஞானி ஆவார். இவரது பணி கணக்கீட்டிற்கான தர்க்கரீதியான அணுகுமுறைகள் பற்றிய ஆராய்ச்சியை உள்ளடக்கியது. குறிப்பாக வகைக் கோட்பாடு, அறிவு பிரதிநிதித்துவம், இயற்கை மொழி சொற்பொருள் மற்றும் அடித்தளங்கள் மற்றும் வகைக் கோட்பாட்டுகளில் கவனம் செலுத்தும் செயல்பாட்டு நிரலாக்கம் ஆகியவற்றைப் பயன்படுத்துகிறது..
.Valeria de Paiva 

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

 தொழில் மற்றும் ஆராய்ச்சி 
கலிபோர்னியாவின் பாலோ ஆல்டோவில் உள்ள பராக்கில்  ஒன்பது ஆண்டுகள் பணியாற்றினார். மேலும் நுவான்சில் சேருவதற்கு முன்பு ரியர்டன் காமர்சு மற்றும் குயிலிலும் பணியாற்றினார். அவர் பர்மிங்காம் பல்கலைக்கழகத்தில் கணினி அறிவியல் துறையில் கௌரவ ஆராய்ச்சியாளராக உள்ளார்.Home page, University of Birmingham, retrieved 2015-07-24.  தற்போது அறிவியல் மற்றும் தொழில்நுட்பத்தின் வரலாறு மற்றும் தத்துவத்திற்கான சர்வதேச ஒன்றியத்தின் அறிவியல் மற்றும் தொழில்நுட்பத்திற்கான தர்க்கம், முறை மற்றும் தத்துவப் பிரிவின் கவுன்சிலில் உள்ளார்.

 தேர்ந்தெடுக்கப்பட்ட வெளியீடுகள் 
 வேதியியல், கம்ப்யூட்டிங் மற்றும் சமூக வலைப்பின்னல்களில் பயன்பாட்டு வகை கோட்பாடு.  (பெய்சு, சோ, சிக்கலா மற்றும் ஒட்டெர் ஆகியோருடன். அமெரிக்க கணித சங்கத்தின் அறிவிப்புகள், தொகுதி. 69, எண் 2, பிப்ரவரி 2022.
 உள்ளுணர்வு நேரியல் தர்க்கத்திற்கான கால ஒதுக்கீடு.  (பென்டன், பியர்மேன் மற்றும் கைலேண்டு) ஆகியோருடன். தொழில்நுட்ப அறிக்கை 262, கேம்பிரிச்சு பல்கலைக்கழக கணினி ஆய்வகம். ஆகத்து 1992.
 லைனல்சு.  (J. M. E. கைலாண்டு) உடன் "ஓ குயி நோசு பாசு பென்சார்" சிறப்பு எண் தர்க்கவியல் "காடெர்னோசு துறை.
 நேரியல் தர்க்கத்தின் ஒரு டயலெக்டிகா போன்ற மாதிரி. பிரிவு கோட்பாடு மற்றும் கணினி அறிவியலின் செயல்முறைகளில், மான்செசுடர், இங்கிலாந்து, செப்டம்பர் 1989 ஆம் ஆண்டு. சுபிரிங்கர்-வெர்லாக் எல்என்சிஎசு 389 (டி. பிட், டி. ரைட்கார்டு, பி. டிப்சர், ஏ. பிட்சு மற்றும் ஏ. பொயிக்னே.
 டயலெக்டிகா பிரிவுகள். கணினி அறிவியல் மற்றும் தர்க்கவியல் பிரிவுகளில் புரோக், போல்டர், CO, 1987. சமகால கணிதம், தொகுதி 92, அமெரிக்க கணித சங்கம், 1989 (பதிப்புகள். சே. கிரே மற்றும் ஏ.சுகெட்ரோவ்)

 மேற்கோள்கள் 

பகுப்பு:அமெரிக்கக் கணினி அறிவியலாளர்கள்
பகுப்பு:வாழும் மக்கள்
பகுப்பு:பிரேசில் அறிவியலாளர்கள்
பகுப்பு:மறைக்கப்பட்ட பகுப்புகள்
பகுப்பு:பெண் மெய்யியலாளர்கள்
பகுப்பு:அமெரிக்கக் கணிதவியலாளர்கள்
பகுப்பு:பொதுவகப்பகுப்பு விக்கித்தரவு தடப்பகுப்புகள்
பகுப்பு:சார்புகளும் கோப்புகளும்
பகுப்பு:ஏரணம்
பகுப்பு:கோட்பாட்டாளர்கள்
பகுப்பு:தடப்பகுப்புகள்
பகுப்பு:மெய்யியலாளர்கள்
பகுப்பு:விக்கிப்பீடியா வார்ப்புரு பகுப்புகள்