Joohee Jeong
Professor, MathEdu, Kyungpook National Univ.

Contact Info:

Education and Current Position

Research Interests


Lectures


Published Results

  1. On the twisted q-Euler numbers and polynomials with weight 0 (S.H Rim, Joohee Jeong, J.H. Jin),
    J. of Computational Analysis and Applications, Vol 15, No 2, pp374-380, Feb 2013
  2. Identities on the modified q-Euler and q-Bernstein polynomials and numbers with weight (S.H Rim, Joohee Jeong),
    J. of Computational Analysis and Applications, Vol 15, No 1, pp39-44, Jan 2013
  3. q-Bernstein Polynomials Associated with q-Genocchi Numbers and Polynomials (S.H Rim, Joohee Jeong , S.J. Lee, J.H Jin, E.J. Moon),
    J. of Computational Analysis and Applications, Vol 14, No 6, pp1006-1013, Oct 2012
  4. On the symmetric properties for the generalized twisted Genocchi polynomials (S.H. Rim, Joohee Jeong, S.J. Lee, E.J. Moon, J.H. Jin),
    ARS Combinatoria, Vol 105, pp267-272, Jul 2012
  5. A note on the Lebesgue-Radon-Nikodym theorem with respect to weighted p-adic invariant integral on Z_p (Joohee Jeong, S.H. Rim),
    Abstract and Applied Analysis, Vol 2012, Article ID 696720, 8pages, Mar 2012
  6. 명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석 (신승철,변석우,정주희,도경구),
    This work was supported by grant No. R01-2000-00287 from the Basic Research Program of the KOSEF,
    정보과학회논문지:스프트웨어 및 응용, Vol 31, #5, pp667-676, 2004.5
  7. Reduction of Hilbert-type proof systems to the if-then-else equational logic (단독연구),
    This work was supported by grant No. R01-2000-00287 from the Basic Research Program of the KOSEF,
    J. of Applied Mathematic and Computing, Vol 14 #1-2, pp69-80, 2004.1
  8. Remarks on the valid equations in lattice implication algebras (단독연구),
    This work was supported by grant No. R01-2000-00287 from the Basic Research Program of the KOSEF,
    Kyungpook Mathematical Journal, Vol 43 #4, pp539-545, 2003.12
  9. Linear reduction of first-order logic to the if-then-else equational logic (단독연구),
    This work was supported by grant No. R01-2000-00287 from the Basic Research Program of the KOSEF,
    Korean J. of Math. Sciences, Vol 10 #2, pp25-37, 2003.10
  10. 함수형 프로그래밍 기술을 이용한 프로그램 합성 방법 (변석우,도경구,정주희, 배민오),
    This work was supported by grant No. R01-2000-00287 from the Basic Research Program of the KOSEF,
    정보과학회지, Vol 21 #1, pp22-28, 2003.1
  11. 컴퓨터를 이용한 수리논리학 교육 (단독연구),
    Supported by nondirected research fund, Korea Research Foundation
    대한수학교육학회 논문집, Vol 9 #1, pp111-119, 1999.7
    jlogic.hwp (8 pages, A4), jlogic100.zip
  12. A Decidable Variety that is Finitely Undecidable (단독연구),
    Research supported by TGRC-KOSEF.
    J. of Symbolic Logic, Vol 64 #2, pp651-677, 1999
    jhjeong99b.ps (29 pages, A4)
  13. Nilpotency classes of right nilpotent congruences (단독연구),
    Research supported by TGRC-KOSEF.
    B. of the Korean Mathematical Society, Vol 36 #1, pp139-146, 1999
    jhjeong99a.ps (8 pages, A4)
  14. Decidability and Finite Direct Products (단독연구)
    Supported by nondirected research fund, Korea Research Foundation, 1997 ,
    J. of the Korean Mathematical Society, Vol 35 #2, pp399-422, 1998
    jhjeong98a.ps (20 pages, A4)
  15. Type 2 Subdirectly Irreducible Algebras in Finitely Decidable Varieties (단독연구)
    J. of Algebra, Vol 174, pp 772-793, 1995
  16. Finitely Decidable Congruence Modular Varieties (단독연구)
    Trans. of the American Mathematical Society, Vol 339, #2, pp 623-642, 1993
  17. Finitary Decidability Implies Congruence Permutability for Congruence Modular Varieties (단독연구)
    Algebra Universalis, Vol 29, pp 441-448, 1992

[Mathematical Quotations] :: [Sphex] :: [시1] :: [시2] :: [시3] :: [시4] :: [시5] :: [시6] :: [Theorems etc.] :: [정의에 관하여] :: [수학사연표] :: [없슴 없음] :: [특수문자] :: [Cheers] :: [공부시간] :: [문학교육] :: [SI prefixes] :: [사이시옷] :: [수리논리학 용어집] :: [Knuth에 낚이다] :: [xcolor] :: [젊음의 소중함] :: [수학 말하기와 쓰기] :: [안 볼란다]