รศ.ดร. พิมพ์เพ็ญ เวชชาชีวะ
Pimpen Vejjajiva
Faculty (อาจารย์)
Fax: 02-255-2287
Email: pimpen.v@chula.ac.th
Email: pimpen.v@chula.ac.th
การศึกษา
2003 Ph.D. (Mathematics), Chulalongkorn University, Thailand
1998 M.Sc. (Mathematics), Chulalongkorn University, Thailand
1988 M.Sc. (Doctor of Dental Surgery), Chulalongkorn University, Thailand
1998 M.Sc. (Mathematics), Chulalongkorn University, Thailand
1988 M.Sc. (Doctor of Dental Surgery), Chulalongkorn University, Thailand
สาขางานวิจัย
Mathematical Logic
ผลงานตีพิมพ์
Publications:
- P. Vejjajiva, S. Panasawatwong, A Note on Weakly Dedekind Finite Sets, Notre Dame Journal of Formal Logic, 55(3) (2014), 413-417.
- P. Vejjajiva, Extended Curry-Howard Terms for Second-Order Logic, Mathematical Logic Quarterly, 59(4-5) (2013), 274-285.
- S. Panasawatwong, P. Vejjajiva, Some Remarks on Cardinal Arithmatic without Choice, ScienceAsia, 39(1) (2013), 91-94.
- B. Skulkiat, P. Vejjajiva, M. E. Hall, Computability via the Lambda Calculus with Patterns, Journal of Mathematics Research, 2(4) (2010), 157-166.
- P. Vejjajiva, A. Thamrongthanyalak, A Simple Proof of Silver’s Theorem, Journal of Mathematics Research, 2(2) (2010), 81-84.
- A. Thamrongthanyalak, P. Vejjajiva, A Note on the Existence of the Integers and Rationals, ScienceAsia, 35(4) (2009), 396-399.
- P. Vejjajiva, Abbreviation Templates, Southeast Asian Bulletin of Mathematics, 30(4) (2006), 763-777.
- P. Vejjajiva, A Direct Proof of Strong Normalization for Full Constructive Second-Order Logic, Southeast Asian Bulletin of Mathematics, 28(5) (2004), 887-902.
- P. Vejjajiva, M. E. Hall, A Lambda-Calculus with Patterns, Proceedings of the International Conference on Algebra and Its Applications(ICAA 2002), (2002), 266-277.
Publications in SCOPUS:
หนังสือ
- ระบบจำนวน (Number Systems), 2558
อื่นๆ
–
ที่อยู่ : ภาควิชาคณิตศาสตร์และวิทยาการคอมพิวเตอร์ คณะวิทยาศาสตร์
จุฬาลงกรณ์มหาวิทยาลัย กรุงเทพ 10330
โทรศัพท์ : 02-218-5141-2
โทรสาร : 02-255-2287