• 제목/요약/키워드: proof education

검색결과 291건 처리시간 0.032초

토픽 모델링과 네트워크 분석을 활용한 사물주소 도입에 대한 언론보도 분석 (An Analysis of the Media's Report on the Adoption of the Address of Things using Topic Modeling and Network Analysis)

  • 모성훈;임철현;김현재;이정우
    • 스마트미디어저널
    • /
    • 제10권2호
    • /
    • pp.38-47
    • /
    • 2021
  • 본 연구는 주소를 둘러싼 국내외 환경변화 속에서 관계 법령 개정 및 시범사업 등에 의해 본격적으로 도입이 이루어지고 있는 사물주소에 대한 언론보도를 분석하였다. 네이버 뉴스 플랫폼에서 2018년 4월부터 2020년 9월까지 기간동안 '사물주소'라고 검색하여 수집된 언론보도기사의 제목과 원문을 수집하여 토픽 모델링 및 네트워크 분석을 실시하였다. 분석 결과, 보도주제는 4가지 유형으로 '사물주소체계 추진', '사물주소 부여대상 실증', '도로명주소 사용 개선', '주소 활성화를 위한 교육·홍보'로 나타났으며, 해당 기간동안 '사물주소 부여 실증' 주제가 주요 의제였음을 확인하였다. 분석 결과를 행정안전부의 「제3차 주소정책 기본계획(2018-2022)」과 비교하여 정책적 시사점을 제시하였다.

수학의 형식과 대상에 따른 수학적 추론 지도 수준 (The Levels of the Teaching of Mathematical Reasoning on the Viewpoint of Mathematical Forms and Objects)

  • 서동엽
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제16권2호
    • /
    • pp.95-113
    • /
    • 2006
  • 본 연구는 학교 수학에서 추론 지도의 수준을 보다 상세히 구분해 보고자 한 것이다. 수학의 특징으로부터, 대상에서 분리된 순수한 형식적 관점은 새로운 지식의 창안에서 한계를 지닌다는 점을 알 수 있으며, 수학교육에서도 이를 반영할 필요가 있다고 본다. 이런 점에서 귀납 추론과 형식적 연역 추론의 매개 단계로서 구체적 조작이나 감각 경험과 관련된 직관적 증명의 수준을 설정하는 것이 적절할 것으로 생각되며, 이 수준의 핵심적인 활동은 경험으로부터 일반성을 통찰하는 것이다. 이 수준은 낮은 수준의 귀납 추론보다는 대상과 분리되며 보다 형식적인 논리의 개입을 필요로 하는 과정에 있다. 이와 같이 보다 점진적으로 대상으로부터 분리되고 형식적 논리를 학습할 수 있도록 추론 지도 수준을 구분하고, 이에 따라 수학적 추론을 지도하는 것이 필요할 것이다.

  • PDF

이동 에이전트를 이용한 교육용 컨텐츠 공유 및 검색 시스템의 설계 및 구현 (Design and Implementation of Educational Contents Sharing and Retrieval System using Mobile Agent)

  • 이철환;한선관
    • 컴퓨터교육학회논문지
    • /
    • 제5권4호
    • /
    • pp.71-78
    • /
    • 2002
  • 교육시스템에서 분산된 교육 정보를 검색, 공유하는 새로운 기술로 이동 에이전트가 주목을 받고 있다. 효율적인 검색을 수행하기 위해 많은 양의 컨텐츠를 전송받는 대신 검색을 수행하는 에이전트를 직접 서버에 전달하는 방식을 이용한다. 본 연구에서는 이동 에이전트를 이용하여 교육용 사이트에 분산적으로 존재하는 질의응답 게시판과 유즈넷의 자료를 검색, 공유하는 시스템의 모델을 제안한다. 제안된 시스템의 효율성을 살펴보기 위해 기존의 검색 모델과의 비교 실험을 하였으며 교육용 서버로 에이전트가 이동함에 따라 네트워크 트래픽이 감소됨을 볼 수 있었다 또한 이동 에이전트가 검색 위치로 이동 후 게시판과 유즈넷의 자료 변환을 위한 최적 검색 시간이 단축되었다.

  • PDF

교육과정에 따른 중학교 작도 과제의 변화 연구 (A study on the geometric construction task of middle school according to the mathematics curriculums)

  • 서보억
    • East Asian mathematical journal
    • /
    • 제36권4호
    • /
    • pp.493-513
    • /
    • 2020
  • The reason for this study is that the learning content of geometric construction in school mathematics is very insufficient. Geometric construction not only enables in-depth understanding of shapes, but also improves deductive proof skills. In school mathematics education, geometric construction is a very important learning factor, and educational significance is very high in that it can develop reasoning skills essential to the future society. Nevertheless, the reduction of geometric construction learning content in Korean curriculum and mathematics textbooks is against the times. Therefore, the purpose of this study is to analyze the transition of geometric construction learning contents in middle school mathematics curriculum and mathematics textbooks. In order to achieve the purpose of this study, the following studies were conducted. First, we analyze the characteristics of geometric construction according to changes in curriculum and textbooks. Second, we develop a framework for analyzing geometric construction tasks. Third, we explore geometric construction tasks according to the developed framework. Through this, it is expected to provide significant implications for the geometric areas of the new middle school curriculum that will be developed in the future.

사면체에서 지렛대의 원리를 이용한 선분들 및 평면들의 교차에 관한 성질 연구 (A Study on Tetrahedron's Properties related with Intersection of Segments and Planes Using the Principle of the Lever)

  • 이광록;손진오;송아롬;백수현;정기영;한인기
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제21권4호
    • /
    • pp.663-676
    • /
    • 2007
  • 지렛대의 원리 및 무게중심의 개념은 아르키메데스 이래로 많은 수학자들, 물리학자들에 의해 연구, 발전되어 왔으며, 지금도 물리학, 화학, 건축학 등의 분야에서 폭넓게 활용되고 있다. 본 연구에서는 지렛대의 원리를 이용하여 사면체에서 선분들, 평면들의 교차에 관련된 몇몇 성질들을 탐구하여, 지렛대의 원리를 이용한 사면체의 성질 탐구의 예들과 방법을 제시하였다.

  • PDF

대형선망어업의 생산력 재편과 경영 개선 과제 (The Study on the Reorganization of the Large Purse Seine Fisheries in Korea)

  • 김대영
    • 수산해양교육연구
    • /
    • 제21권3호
    • /
    • pp.373-389
    • /
    • 2009
  • The aims of this study are to examine urgent problems for reorganization into future-proof large purse seine fisheries in order to positively cope with rapidly changing domestic and foreign fisheries circumstances. First, this paper provides current situations of the large purse seine fisheries. The current situations of it are composed of fisheries influence such as vessel number, vessel power, and fisher number, use of resource and fishing places, and changes in products and sales of species caught by the large purse seine. Secondly, this paper reviews current problems of the large purse seine fisheries including cost reduction and increase of value added. Thirdly, this paper suggests basic development direction and countermeasures for strengthening competitiveness of the large purse seine fisheries. In conclusion, urgent problems of the larger purse seine fisheries can be summarized as inefficiency of distribution structures and retarded landing system and facilities as well as the worse of profitability according to shrink of fishing places, reduction of products, lack of workers, and increase in oil price. To solve the urgent problems, the large purse seine fisheries should be changed into an industry with low cost and high efficiency, and also need to introduce of new production system, strengthen autonomous management of natural resource, and increase in value added to products.

PRIMITIVE POLYNOMIAL RINGS

  • Kwon, Mi-Hyang;Kim, Chol-On;Huh, Chan
    • East Asian mathematical journal
    • /
    • 제16권1호
    • /
    • pp.71-79
    • /
    • 2000
  • We show that the intersection of two standard torus knots of type (${\lambda}_1$, ${\lambda}_2$) and (${\beta}_1$, ${\beta}_2$) induces an automorphism of the cyclic group ${\mathbb{Z}}_d$, where d is the intersection number of the two torus knots and give an elementary proof of the fact that all non-trivial torus knots are strongly invertiable knots. We also show that the intersection of two standard knots on the 3-torus $S^1{\times}S^1{\times}S^1$ induces an isomorphism of cyclic groups.

  • PDF

기본대칭다항식으로의 매개를 통한 부등식의 생성 및 증명에 대한 연구 (A Study on Generating and Proving Inequalities using Parameterization to Elementary Symmetric Polynomials)

  • 고대현;박정민;백은하;김문섭;한인기
    • East Asian mathematical journal
    • /
    • 제30권2호
    • /
    • pp.93-121
    • /
    • 2014
  • In this paper we study generating and proving methods of symmetric inequalities. We analyze various literatures related with proofs of symmetric inequalities. As a result, we can describe generating method of symmetric inequalities, and suggest some symmetric inequalities that are generated by using parameterization to elementary symmetric polynomials. And we are able to classify some proving methods, and show proofs of symmetric inequalities.

고대 바빌로니아 Plimpton 322의 역사적 고찰 (Review and Interpretations of Plimpton 322)

  • 김민경
    • 한국수학사학회지
    • /
    • 제20권1호
    • /
    • pp.45-56
    • /
    • 2007
  • 수학을 배운 사람이라면 수십 년이 지나서도 기억되고 회자되는 것으로 피타고라스의 정리를 꼽을 수 있다. 그런데 역사적으로 이 정리를 중요한 위치로 자리 잡게 한 역할은 피타고라스 이전, 고대 바빌로니아 시대의 이름 모를 사람들의 노력 이었으며 이를 보여주는 흔적 중 하나가 'Plimpton 322‘라는 점토판을 들 수 있다. 본 고에서는 피타고라스의 정리를 완성하게 영감을 준 Plimpton 322의 내용을 소개하며 적혀 있는 숫자들의 해석과 함께 그 시대의 뛰어난 수학적 수준을 재조명해 보고자 한다.

  • PDF

INCLUSION AND EXCLUSION FOR FINITELY MANY TYPES OF PROPERTIES

  • Chae, Gab-Byoung;Cheong, Min-Seok;Kim, Sang-Mok
    • 호남수학학술지
    • /
    • 제32권1호
    • /
    • pp.113-129
    • /
    • 2010
  • Inclusion and exclusion is used in many papers to count certain objects exactly or asymptotically. Also it is used to derive the Bonferroni inequalities in probabilistic area [6]. Inclusion and exclusion on finitely many types of properties is first used in R. Meyer [7] in probability form and first used in the paper of McKay, Palmer, Read and Robinson [8] as a form of counting version of inclusion and exclusion on two types of properties. In this paper, we provide a proof for inclusion and exclusion on finitely many types of properties in counting version. As an example, the asymptotic number of general cubic graphs via inclusion and exclusion formula is given for this generalization.