Shopping cart

close

ศ.ดร. พิมพ์เพ็ญ เวชชาชีวะ

Pimpen Vejjajiva , Ph.D.

Professor

Fax: 02-255-2287
Email: pimpen.v@chula.ac.th

การศึกษา 

2003 Ph.D. (Mathematics) Chulalongkorn University, Thailand
1998 M.Sc. (Mathematics) Chulalongkorn University, Thailand
1988 (Doctor of Dental Surgery) Chulalongkorn University, Thailand

สาขางานวิจัย 

Field: Mathematical Logic

Mathematical Logic

ผลงานตีพิมพ์ 

  1. N. Sonpanow, P. Vejjajiva, Independent families of functions and permutations, Mathematical Logic Quarterly, 66(3) (2020), 311-315.
  2. J. Rodbanjong, P. Vejjajiva, A generalization of the trichotomy principle, Thai Journal of Mathematics, 17(3) (2019), 597-605.
  3. N. Sonpanow, P. Vejjajiva, Factorials and the finite sequences of sets, Mathematical Logic Quarterly, 65(1) (2019), 116-120.
  4. N. Aksornthong, P. Vejjajiva, Relations between cardinalities of the finite sequences and the finite subsets of a set, Mathematical Logic Quarterly, 64(6) (2018), 529-534.
  5. N. Sonpanow, P. Vejjajiva, Some properties of infinite factorials, Mathematical Logic Quarterly, 64(3) (2018), 201-206.
  6. N. Sonpanow, P. Vejjajiva, A finite-to-one map from the permutations on a set, Bull. Aust. Math. Soc., 95 (2017), 177-182.
  7. P. Vejjajiva, S. Panasawatwong, A Note on Weakly Dedekind Finite Sets, Notre Dame Journal of Formal Logic55(3) (2014), 413-417.
  8. P. Vejjajiva, Extended Curry-Howard Terms for Second-Order Logic, Mathematical Logic Quarterly59(4-5) (2013), 274-285.
  9. S. Panasawatwong, P. Vejjajiva, Some Remarks on Cardinal Arithmatic without Choice, ScienceAsia39(1) (2013), 91-94.
  10. B. Skulkiat, P. Vejjajiva, M. E. Hall, Computability via the Lambda Calculus with Patterns, Journal of Mathematics Research, 2(4) (2010), 157-166.
  11. P. Vejjajiva, A. Thamrongthanyalak, A Simple Proof of Silver’s Theorem, Journal of Mathematics Research, 2(2) (2010), 81-84.
  12. A. Thamrongthanyalak, P. Vejjajiva, A Note on the Existence of the Integers and Rationals, ScienceAsia, 35(4) (2009), 396-399.
  13. P. Vejjajiva, Abbreviation Templates, Southeast Asian Bulletin of Mathematics30(4) (2006), 763-777.
  14. P. Vejjajiva, A Direct Proof of Strong Normalization for Full Constructive Second-Order Logic, Southeast Asian Bulletin of Mathematics28(5) (2004), 887-902.
  15. 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.

หนังสือ 

  1. “ทฤษฎีเซต” พิมพ์เพ็ญ เวชชาชีวะ, กรุงเทพฯ: วีพริ้นท์. (2561)
  2. “การพิสูจน์” พิมพ์เพ็ญ เวชชาชีวะ, มูลนิธิ สอวน. (2560)
  3. “ระบบจำนวน” พิมพ์เพ็ญ เวชชาชีวะ, กรุงเทพฯ: วีพริ้นท์. (2558)

ที่อยู่ : ภาควิชาคณิตศาสตร์และวิทยาการคอมพิวเตอร์ คณะวิทยาศาสตร์
จุฬาลงกรณ์มหาวิทยาลัย กรุงเทพ 10330
โทรศัพท์ : 02-218-5141-2
โทรสาร : 02-255-2287

ลิงค์ที่เกี่ยวข้อง

Scroll To Top