வாலேரியா டே பைவா
{{தகவல்சட்டம் அறிஞர்கள்
 |image=ValeriaApril2014.jpg
 |name=வாலேரியா டே பைவா
 |field={{Plainlist|* [[கணிதம்]] &lt;/br&gt; * வகை கோட்பாடு &lt;/br&gt; * ஆதாரக் கோட்பாடு &lt;/br&gt; * வகை அமைப்புகள் &lt;/br&gt; * சொற்பொருள்}}
 |alma_mater=[[கேம்பிரிச்சுப் பல்கலைக்கழகம்]] (முனைவர் பட்டம்)
 |doctoral_advisor=மார்ட்டின் கைலேண்டு
 }}
 
 '''வலேரியா கொரியா வாசு டே பைவா''' (''Valeria Correa Vaz de Paiva'')  பிரேசிலிய நாட்டு  [[கணிதவியலாளர்]], [[ஏரணம்|தர்க்கவாதி]] மற்றும் கணினி [[விஞ்ஞானி]] ஆவார். இவரது பணி கணக்கீட்டிற்கான தர்க்கரீதியான அணுகுமுறைகள் பற்றிய ஆராய்ச்சியை உள்ளடக்கியது. குறிப்பாக வகைக் கோட்பாடு, அறிவு பிரதிநிதித்துவம், இயற்கை மொழி சொற்பொருள் மற்றும் அடித்தளங்கள் மற்றும் வகைக் கோட்பாட்டுகளில் கவனம் செலுத்தும் [[பணிமுறை நிரல் மொழி|செயல்பாட்டு நிரலாக்கம்]] ஆகியவற்றைப் பயன்படுத்துகிறது.&lt;ref name=&quot;maa&quot;&gt;{{Citation|url=http://www.maa.org/careers/career-profiles/academia-teaching/valeria-de-paiva|title=Valeria de Paiva|website=Career Profiles|publisher=Mathematical Association of America|access-date=2015-07-24}}.&lt;/ref&gt;
 &lt;ref name=&quot;mam&quot;&gt;{{Citation|url=http://www.mathaware.org/mam/2015/highlighted/MAM%202015%20profile_dePaiva.pdf|title=Profile: Valeria de Paiva|website=Mathematics Awareness Month|date=April 2015|publisher=Joint Policy Board for Mathematics|access-date=2015-07-24}}.&lt;/ref&gt;&lt;ref&gt;Valeria de Paiva {{Official website|http://vcvpaiva.github.io/}}&lt;/ref&gt;
 
 == கல்வி ==
 டே பைவா 1982 ஆம் ஆண்டில் கணிதத்தில் இளங்கலை பட்டம் பெற்றார். 1984 ஆம் ஆண்டில் தூய இயற்கணிதத்தில் முதுகலைப் பட்டம் பெற்றார். 1988 ஆம் ஆண்டில் கேம்பிரிச்சு பல்கலைக்கழகத்தில் மார்ட்டின் கைலேண்டின் மேற்பார்வையின் கீழ் முனைவர் பட்டம் பெற்றார்.&lt;ref name=&quot;maa&quot;/&gt; இவரது ஆய்வறிக்கை கர்ட் கோடலின் டயலெக்டிகா விளக்கத்தின் அடிப்படையில் நேரியல் தர்க்கத்தின் மாதிரிகளை உருவாக்குவதற்கான ஒரு வகைப்படுத்தப்பட்ட வழியான டயலெக்டிகாவை அறிமுகப்படுத்தியது.
 
 == தொழில் மற்றும் ஆராய்ச்சி ==
 கலிபோர்னியாவின் பாலோ ஆல்டோவில் உள்ள [[பராக்|பராக்கில்]]  ஒன்பது ஆண்டுகள் பணியாற்றினார். மேலும் நுவான்சில் சேருவதற்கு முன்பு ரியர்டன் காமர்சு மற்றும் குயிலிலும் பணியாற்றினார்.&lt;ref name=&quot;mam&quot;/&gt; &lt;ref name=&quot;bham&quot; /&gt; அவர் பர்மிங்காம் பல்கலைக்கழகத்தில் கணினி அறிவியல் துறையில் கௌரவ ஆராய்ச்சியாளராக உள்ளார்.&lt;ref name=&quot;bham&quot;&gt;[http://www.cs.bham.ac.uk/~vdp/ Home page], University of Birmingham, retrieved 2015-07-24.&lt;/ref&gt;  தற்போது அறிவியல் மற்றும் தொழில்நுட்பத்தின் வரலாறு மற்றும் தத்துவத்திற்கான சர்வதேச ஒன்றியத்தின் அறிவியல் மற்றும் தொழில்நுட்பத்திற்கான தர்க்கம், முறை மற்றும் தத்துவப் பிரிவின் கவுன்சிலில் உள்ளார்.&lt;ref&gt;{{Cite web|url=http://dlmps.org/pages/council/council-2020-2023.php|title=DLMPST Website: Council 2020-2023|access-date=16 April 2020}}&lt;/ref&gt;
 
 === தேர்ந்தெடுக்கப்பட்ட வெளியீடுகள் ===
 * வேதியியல், கம்ப்யூட்டிங் மற்றும் சமூக வலைப்பின்னல்களில் பயன்பாட்டு வகை கோட்பாடு.  (பெய்சு, சோ, சிக்கலா மற்றும் ஒட்டெர் ஆகியோருடன். அமெரிக்க கணித சங்கத்தின் அறிவிப்புகள், தொகுதி. 69, எண் 2, பிப்ரவரி 2022.
 * ''உள்ளுணர்வு நேரியல் தர்க்கத்திற்கான கால ஒதுக்கீடு''.  (பென்டன், பியர்மேன் மற்றும் கைலேண்டு) ஆகியோருடன். தொழில்நுட்ப அறிக்கை 262, கேம்பிரிச்சு பல்கலைக்கழக கணினி ஆய்வகம். ஆகத்து 1992.
 * லைனல்சு.  (J. M. E. கைலாண்டு) உடன் &quot;ஓ குயி நோசு பாசு பென்சார்&quot; சிறப்பு எண் தர்க்கவியல் &quot;காடெர்னோசு துறை.
 * நேரியல் தர்க்கத்தின் ஒரு டயலெக்டிகா போன்ற மாதிரி. பிரிவு கோட்பாடு மற்றும் கணினி அறிவியலின் செயல்முறைகளில், மான்செசுடர், [[இங்கிலாந்து]], செப்டம்பர் 1989 ஆம் ஆண்டு. சுபிரிங்கர்-வெர்லாக் எல்என்சிஎசு 389 (டி. பிட், டி. ரைட்கார்டு, பி. டிப்சர், ஏ. பிட்சு மற்றும் ஏ. பொயிக்னே.
 * டயலெக்டிகா பிரிவுகள். [[கணினி அறிவியல்]] மற்றும் தர்க்கவியல் பிரிவுகளில் புரோக், போல்டர், CO, 1987. சமகால கணிதம், தொகுதி 92, அமெரிக்க கணித சங்கம், 1989 (பதிப்புகள். சே. கிரே மற்றும் ஏ.சுகெட்ரோவ்) 
 
 == மேற்கோள்கள் ==
 [[பகுப்பு:அமெரிக்கக் கணினி அறிவியலாளர்கள்]]
 [[பகுப்பு:வாழும் நபர்கள்]]
 [[பகுப்பு:பிரேசில் அறிவியலாளர்கள்]]
 [[பகுப்பு:மறைக்கப்பட்ட பகுப்புகள்]]
 [[பகுப்பு:நாடு வாரியாகக் கணிதவியலாளர்கள்]]
 [[பகுப்பு:பெண் மெய்யியலாளர்கள்]]
 [[பகுப்பு:அமெரிக்கக் கணிதவியலாளர்கள்]]
 [[பகுப்பு:பொதுவகப்பகுப்பு விக்கித்தரவு தடப்பகுப்புகள்]]
 [[பகுப்பு:கணினி அறிவியலாளர்கள்]]
 [[பகுப்பு:சார்புகளும் கோப்புகளும்]]
 [[பகுப்பு:ஏரணம்]]
 [[பகுப்பு:கணிதவியலாளர்கள்]]
 [[பகுப்பு:நாடு வாரியாக மெய்யியலாளர்கள்]]
 [[பகுப்பு:துறை வாரியாக அறிவியலாளர்கள்]]
 [[பகுப்பு:நாடு வாரியாக அறிவியலாளர்கள்]]
 [[பகுப்பு:கோட்பாட்டாளர்கள்]]
 [[பகுப்பு:தடப்பகுப்புகள்]]
 [[பகுப்பு:விக்கிப்பீடியா பகுப்புகள்]]
 [[பகுப்பு:நாடு வாரியாகப் பெண் அறிவியலாளர்கள்]]
 [[பகுப்பு:ஆண்டுகள் வாரியாக பிறப்புகள்]]
 [[பகுப்பு:மெய்யியலாளர்கள்]]
 [[பகுப்பு:அறிவியல் நிறுவனங்கள்]]
 [[பகுப்பு:அறிவியலாளர்கள்]]
 [[பகுப்பு:விக்கிப்பீடியா வார்ப்புரு பகுப்புகள்]]