گوردون پلوتکین
گوردون پلوتکین | |
|---|---|
 At the MFCS 2005 conference | |
| نام هنگام تولد | Gordon David Plotkin |
| زادهٔ | ۹ سپتامبر ۱۹۴۶ (۷۸ سال)[۱] |
| ملیت | اسکاتلند |
| محل تحصیل | دانشگاه گلاسگو (BSc) دانشگاه ادینبرو (PhD) |
| شناخته‌شده برای | Programming Computable Functions Unbounded nondeterminism Operational semantics نظریه دامنه |
| جوایز | |
| پیشینه علمی | |
| شاخه(ها) | منطق ریاضیات علوم رایانه |
| محل کار | دانشگاه ادینبرو Laboratory for Foundations of Computer Science School of Informatics دانشگاه گلاسگو |
| پایان‌نامه | Automatic methods of inductive inference (۱۹۷۲) |
| استاد راهنما | |
| دانشجویان دکتری | |
| وبگاه | |
گوردون پلوتکین (انگلیسی: Gordon Plotkin؛ زادهٔ ۹ سپتامبر ۱۹۴۶[۱]) دانشمند در زمینه منطق، ریاضیات، و علوم رایانه اهل اسکاتلند است.
وی همچنین برندهٔ جوایزی همچون همکار انجمن سلطنتی شده‌است.
منابع
[ویرایش]- ↑ ۱٫۰ ۱٫۱ Plotkin, Prof. Gordon David. Who's Who (online انتشارات دانشگاه آکسفورد ed.). A & C Black, an imprint of Bloomsbury Publishing plc. (نیازمند آبونمان) خطای یادکرد: برچسب
<ref>نامعتبر؛ نام «whoswho» چندین بار با محتوای متفاوت تعریف شده است. (صفحهٔ راهنما را مطالعه کنید.). - ↑ گوردون پلوتکین at Mathematics Genealogy Project
- ↑ خطای یادکرد: خطای یادکرد:برچسب
<ref> غیرمجاز؛ متنی برای یادکردهای با نامplotkinphdوارد نشده است. (صفحهٔ راهنما را مطالعه کنید.). - ↑ Cardelli, Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. hdl:1842/13308. EThOS uk.bl.ethos.253190.
- ↑ Gardner, Philippa (1992). Representing logics in type theory (PhD thesis). University of Edinburgh. hdl:1842/14888. EThOS uk.bl.ethos.651333.
- ↑ Gurr, Douglas John (1990). Semantic frameworks for complexity (PhD thesis). University of Edinburgh. hdl:1842/13968. OCLC 475827463. EThOS uk.bl.ethos.651894.
- ↑ Moggi, Eugenio (1999). The partial lambda calculus (PhD thesis). University of Edinburgh. hdl:1842/419.
- ↑ Wèi, Lǐ (1983). An operational approach to semantics and translation for programming languages (PhD thesis). hdl:1842/6636.
- مشارکت‌کنندگان ویکی‌پدیا. «Gordon Plotkin». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۳ ژوئن ۲۰۲۰.
| عمومی | |
|---|---|
| کتابخانه‌های ملی | |
| پایگاه‌های دادهٔ علمی | |
| سایر | |
 | این یک مقالهٔ خرد یک دانشمند است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید. |