Contact Info: Email: Phone: +82 53 950 6835 Fax: +82 53 950 6811 이번 학기 시간표, 학사력 연구실: 제3과학관 105-2호실 (지도에서 14번 건물) 경북대 지도, 경북대 오시는 길

Education and Current Position 1979.2: B.S. Seoul National University 1981.2: M.S. KAIST 1991.5: Ph.D. University of California at Berkeley 1997.3.1 ~ : 사범대학 수학교육과, Kyungpook National University

Research Interests Mathematical Logic Universal Algebra Programming Language

Lectures

• 2010년 제1학기
  1. 수학 I [성적확인], [강의계획서]
  2. 확률및통계 [성적확인], [강의계획서]
  3. 컴퓨터활용수학지도 [성적확인], [강의계획서]
• Logic Education Project
• Random Experiment

Published Results

1. 명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석 (신승철,변석우,정주희,도경구),
   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
2. 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
3. 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
4. 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
5. 함수형 프로그래밍 기술을 이용한 프로그램 합성 방법 (변석우,도경구,정주희, 배민오),
   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
6. 컴퓨터를 이용한 수리논리학 교육 (단독연구),
   Supported by nondirected research fund, Korea Research Foundation
   대한수학교육학회 논문집, Vol 9 #1, pp111-119, 1999.7
   jlogic.hwp (8 pages, A4), jlogic100.zip
7. 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)
8. 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)
9. 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)
10. Type 2 Subdirectly Irreducible Algebras in Finitely Decidable Varieties (단독연구)
    J. of Algebra, Vol 174, pp 772-793, 1995
11. Finitely Decidable Congruence Modular Varieties (단독연구)
    Trans. of the American Mathematical Society, Vol 339, #2, pp 623-642, 1993
12. 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] :: [Theorems etc.] :: [정의에 관하여] :: [수학사연표] :: [없슴 없음] :: [특수문자] :: [Cheers]