|이계식 교수 (컴퓨터응용수학부 소프트웨어융합전공)|
Gyesik Lee, Professor.
Major of Software Convergence,
School of Computer Engineering & Applied Mathematics,
Hankyong National University
Email: gslee ATSIGN hknu DOT ac DOT kr
We propose a semantics of operating on real numbers that is sound, Turing-complete, and practical. It modifies the intuitive, but super-recursive Blum-Shub-Smale model (formalizing Computer Algebra Systems), to coincide in power with the realistic but inconvenient Type-2 Turing machine underlying Computable Analysis: reconciling both as foundation to a ComputerAnalysisSystem.
참조논문: Foundation of Computer Analysis Systems: Semantics, Logic, Specification, Verification, preprint, 2020.
프로그래밍, 논리, 수학의 중요성과 세 분야 사이의 연관성을 이용한 컴퓨팅사고력 증진 학습법/교육법 연구