Joohee Jeong

Professor, MathEdu, Kyungpook National Univ.

- Email: jhjeong314 at gmail.com
- Phone: +82 53 950 6835
- Fax: +82 53 950 6811
- 시간표: 2020년 1학기
- 연구실: 자연과학대학(건물번호 209) 105-2호실 [지도]

- 1979.2: B.S. Seoul National University
- 1981.2: M.S. KAIST
- 1991.5: Ph.D. University of California at Berkeley
- 1995.3.1 ~ 1997.2.28 : 한동대학교
- 1997.3.1 ~ : 사범대학 수학교육과, Kyungpook National University

- Mathematical Logic
- Universal Algebra
- Type Theory (파이어폭스에서 보아야 웹페이지의 수식이 잘 보입니다.)

- 한국정보과학회 가헌학술상 (2004-10-22)

- 수학을 말하기와 쓰기, 잘못된 글자
- 2020년 제1학기
- Logic Education Project

**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**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**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**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**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-
**명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석**(신승철,변석우,__정주희__,도경구),

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 -
**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 -
**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 -
**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 -
**함수형 프로그래밍 기술을 이용한 프로그램 합성 방법**(변석우,도경구,__정주희__, 배민오),

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 -
**컴퓨터를 이용한 수리논리학 교육**(단독연구),

Supported by nondirected research fund, Korea Research Foundation

대한수학교육학회 논문집, Vol 9 #1, pp111-119, 1999.7

jlogic.hwp (8 pages, A4), jlogic100.zip -
**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) -
**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) -
**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) -
**Type 2 Subdirectly Irreducible Algebras in Finitely Decidable Varieties**(단독연구)

J. of Algebra, Vol 174, pp 772-793, 1995 -
**Finitely Decidable Congruence Modular Varieties**(단독연구)

Trans. of the American Mathematical Society, Vol 339, #2, pp 623-642, 1993 -
**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] :: [시7] :: [Theorems etc.] :: [정의에 관하여] :: [수학사연표] :: [없슴 없음] :: [특수문자] :: [Cheers] :: [공부시간] :: [문학교육] :: [SI prefixes] :: [사이시옷] :: [수리논리학 용어집] :: [Knuth에 낚이다] :: [xcolor] :: [젊음의 소중함] :: [안 볼란다]