• Title/Summary/Keyword: Process Algebra

Search Result 143, Processing Time 0.022 seconds

Understanding of Algebraic Proofs Including Literal Expressions: Expressions or Contexts? (문자식을 포함한 대수 증명에 대한 중학교 3학년 학생들의 이해 연구 - 문맥과 문자식, 어느 것을 보는가 -)

  • Chang, Hyewon;Kang, Jeong Gi
    • Journal of Educational Research in Mathematics
    • /
    • v.24 no.3
    • /
    • pp.359-374
    • /
    • 2014
  • Students' difficulties and errors in relation to mathematical proofs are worth while to say one of the dilemmas in mathematics education. The potential elements of their difficulty are scattered over the process of proving in geometry as well as algebra. This study aims to investigate whether middle school students understand the context of algebraic proof including literal expressions. We applied 24 third-grade middle school students a test item which shows a proof including a literal expression and missing the conclusion. Over the half of them responded wrong answers based on only the literal expression without considering its context. Three of them were interviewed individually to show their thinking. As a result, we could find some characteristics of their thinking including the perspective on proof as checking the validity of algebraic expression and the gap between proving and understanding of proof etc. From these, we also discussed about several didactical implications.

  • PDF

Deep Learning Based Side-Channel Analysis for Recent Masking Countermeasure on SIKE (SIKE에서의 최신 마스킹 대응기법에 대한 딥러닝 기반 부채널 전력 분석)

  • Woosang Im;Jaeyoung Jang;Hyunil Kim;Changho Seo
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.33 no.2
    • /
    • pp.151-164
    • /
    • 2023
  • Recently, the development of quantum computers means a great threat to existing public key system based on discrete algebra problems or factorization problems. Accordingly, NIST is currently in the process of contesting and screening PQC(Post Quantum Cryptography) that can be implemented in both the computing environment and the upcoming quantum computing environment. Among them, SIKE is the only Isogeny-based cipher and has the advantage of a shorter public key compared to other PQC with the same safety. However, like conventional cryptographic algorithms, all quantum-resistant ciphers must be safe for existing cryptanlysis. In this paper, we studied power analysis-based cryptographic analysis techniques for SIKE, and notably we analyzed SIKE through wavelet transformation and deep learning-based clustering power analysis. As a result, the analysis success rate was close to 100% even in SIKE with applied masking response techniques that defend the accuracy of existing clustering power analysis techniques to around 50%, and it was confirmed that was the strongest attack on SIKE.

A case study on the mathematical problem solving performance of simultaneous equations for the students from a remedial course (특별보충과정 학생들의 문제해결수행에 대한 사례연구)

  • Ko, Sang-Sook;Lee, Sang-Hui
    • Journal of the Korean School Mathematics Society
    • /
    • v.9 no.1
    • /
    • pp.105-120
    • /
    • 2006
  • The Seventh Curriculum makes sure that those students who don't have a proper understanding of contents required at a certain stage take a remedial course. But a trend contrary to the intention is formed since there is no systematic education for such a course and thus more students get to fall into the group of low achievement. In particular, solving a simultaneous equation in a rote way without understanding influences negatively students' achievement. Schoenfeld introduced the basic elements of one's own mathematical problem solving process and behavior, referred to Polya's. Employing Schoenfeld's strategy, this study aimed to induce students' active participation in math classes, as well as to focus on a mathematical problem solving process during the study. Two students were selected from a remedial course at 00 Middle School and administered with a qualitative case study method over 17 lessons, each of which lasted for 30 minutes. In the beginning, they used such knowledge as facts and definitions a lot. There was a tendency of their resorting to intuitive knowledge more when they lacked basic knowledge or met with a difficult question. As the lessons were given, however, they improved their ability to implement algorithm procedures and used more familiar ones with the developed common procedures in the area of resources.

  • PDF

A Case Study on the Students' Covariational Reasoning in the Continuous Functional Situations (함수적 상황에 대한 초등학생들의 공변추론 사례연구)

  • Hur, Joonho;Park, Mangoo
    • Education of Primary School Mathematics
    • /
    • v.21 no.1
    • /
    • pp.55-73
    • /
    • 2018
  • The purpose of this study is to investigate the effects of cognitive activity on cognitive activities that students imagine and cope with continuously changing quantitative changes in functional tasks represented by linguistic expressions, table of value, and geometric patterns, We identified covariational reasoning levels and investigated the characteristics of students' reasoning process according to the levels of covariational reasoning in the elementary quantitative problem situations. Participants were seven 4th grade elementary students using the questionnaires. The selected students were given study materials. We observed the students' activity sheets and conducted in-depth interviews. As a result of the study, the students' covariational reasoning level for two quantities that are continuously covaried was found to be five, and different reasoning process was shown in quantitative problem situations according to students' covariational reasoning levels. In particular, students with low covariational level had difficulty in grasping the two variables and solved the problem mainly by using the table of value, while the students with the level of chunky and smooth continuous covariation were different from those who considered the flow of time variables. Based on the results of the study, we suggested that various problems related with continuous covariation should be provided and the meanings of the tasks should be analyzed by the teachers.

Characteristics of Algebraic Thinking and its Errors by Mathematically Gifted Students (수학영재의 대수적 사고의 특징과 오류 유형)

  • Kim, Kyung Eun;Seo, Hae Ae;Kim, Dong Hwa
    • Journal of Gifted/Talented Education
    • /
    • v.26 no.1
    • /
    • pp.211-230
    • /
    • 2016
  • The study aimed to investigate the characteristics of algebraic thinking of the mathematically gifted students and search for how to teach algebraic thinking. Research subjects in this study included 93 students who applied for a science gifted education center affiliated with a university in 2015 and previously experienced gifted education. Students' responses on an algebraic item of a creative thinking test in mathematics, which was given as screening process for admission were collected as data. A framework of algebraic thinking factors were extracted from literature review and utilized for data analysis. It was found that students showed difficulty in quantitative reasoning between two quantities and tendency to find solutions regarding equations as problem solving tools. In this process, students tended to concentrate variables on unknown place holders and to had difficulty understanding various meanings of variables. Some of students generated errors about algebraic concepts. In conclusions, it is recommended that functional thinking including such as generalizing and reasoning the relation among changing quantities is extended, procedural as well as structural aspects of algebraic expressions are emphasized, various situations to learn variables are given, and activities constructing variables on their own are strengthened for improving gifted students' learning and teaching algebra.

Application of Spatial Analysis Modeling to Evaluating Functional Suitability of Forest Lands against Land Slide Hazards (공간분석(空間分析)모델링에 의한 산지(山地)의 토사붕괴방재기능(土砂崩壞防災機能) 적합도(適合度) 평가(評價))

  • Chung, Joosang;Kim, Hyungho;Cha, Jaemin
    • Journal of Korean Society of Forest Science
    • /
    • v.90 no.4
    • /
    • pp.535-542
    • /
    • 2001
  • The objective of this study is to develop a spatial analysis modeling technique to evaluate the functional suitability of forest lands for land slide prevention. The functional suitability is classified into 3 categories of high, medium and low according to the potential of land slide on forest lands. The potential of land slide hazards is estimated using the measurements of 7 major site factors : slope, bed rock, soil depth, shape of slope, forest type and D.B.H. class of trees. The analytic hierarchical process is applied to determining the relative weight of site factors in estimating the potential of land slides. The spatial analysis modeling starts building base layers for the 7 major site factors by $25m{\times}25m$ grid analysis or TIN analysis, reclassifies them and produces new layers containing standardized attribute values, needed in estimating land slide potential. To these attributes, applied is the weight for the corresponding site factor to build the suitability classification map by map algebra analysis. Then, finally, cell-grouping operations convert the suitability classification map to the land unit function map. The whole procedures of the spatial analysis modeling are presented in this paper.

  • PDF

An Analysis of Students' Understanding of Mathematical Concepts and Proving - Focused on the concept of subspace in linear algebra - (대학생들의 증명 구성 방식과 개념 이해에 대한 분석 - 부분 공간에 대한 증명 과정을 중심으로 -)

  • Cho, Jiyoung;Kwon, Oh Nam
    • School Mathematics
    • /
    • v.14 no.4
    • /
    • pp.469-493
    • /
    • 2012
  • The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

  • PDF

Artificial Intelligence and College Mathematics Education (인공지능(Artificial Intelligence)과 대학수학교육)

  • Lee, Sang-Gu;Lee, Jae Hwa;Ham, Yoonmee
    • Communications of Mathematical Education
    • /
    • v.34 no.1
    • /
    • pp.1-15
    • /
    • 2020
  • Today's healthcare, intelligent robots, smart home systems, and car sharing are already innovating with cutting-edge information and communication technologies such as Artificial Intelligence (AI), the Internet of Things, the Internet of Intelligent Things, and Big data. It is deeply affecting our lives. In the factory, robots have been working for humans more than several decades (FA, OA), AI doctors are also working in hospitals (Dr. Watson), AI speakers (Giga Genie) and AI assistants (Siri, Bixby, Google Assistant) are working to improve Natural Language Process. Now, in order to understand AI, knowledge of mathematics becomes essential, not a choice. Thus, mathematicians have been given a role in explaining such mathematics that make these things possible behind AI. Therefore, the authors wrote a textbook 'Basic Mathematics for Artificial Intelligence' by arranging the mathematics concepts and tools needed to understand AI and machine learning in one or two semesters, and organized lectures for undergraduate and graduate students of various majors to explore careers in artificial intelligence. In this paper, we share our experience of conducting this class with the full contents in http://matrix.skku.ac.kr/math4ai/.

Symbol Sense Analysis on 6th Grade Elementary School Mathematically Able Students (초등학교 6학년 수학 우수아들의 대수 기호 감각 실태 분석)

  • Cho, Su-Gyoung;Song, Sang-Hun
    • Journal of Elementary Mathematics Education in Korea
    • /
    • v.14 no.3
    • /
    • pp.937-957
    • /
    • 2010
  • The purpose of this study is to discover the features of symbol sense. This study tries to sum up the meaning and elements of symbol sense and the measures to improve them through documents. Also based on this, it analyzes the learning conditions about symbol sense for 6th grade mathematically able students and suggests the method that activates symbol sense in the math of elementary schools. Considering various studies on symbol sense, symbol sense means the exact knowledge and essential understanding in a comprehensive way. Symbol sense is an intuition about symbols that grasps the meaning of symbols, understands the situation of question, and realizes the usefulness of symbols in resolving a process. Considering all other scholars' opinions, this study sums up 5 elements of the symbol sense. (The recognition of needs to introduce symbol, ability to read the meaning of symbols, choice of suitable symbols according to the context, pattern guess through visualization, recognize the role of symbols in other context) This study draws the following conclusions after applying the symbol questionnaires targeting 6th grade mathematically able students : First, although they are math talents, there are some differences in terms of the symbol sense level. Second, 5 elements of the symbol sense are not completely separated. They are rather closely related in terms of mainly the symbol understanding, thereby several elements are combined.

  • PDF

High School Students' Mathematics Learning Style and Its Characteristics According to Their MBTI Personality Disposition Types (고등학생들의 수학 학습양식과 MBTI 성격기질별 특징)

  • Kang, Yun Soo
    • Communications of Mathematical Education
    • /
    • v.34 no.3
    • /
    • pp.299-324
    • /
    • 2020
  • The purpose of this study was to identify high school students' mathematics learning style and its characteristics according to their personality disposition types and to propose mathematics learning strategies fit into each personality disposition type. For this purpose, MBTI personality test and survey to find mathematics learning style for 375 high school students were executed. The results were as follows. First, many students highly evaluated the effects of private education and prefer reference book to textbook. Second, there were significant differences on following variable domains of mathematics learning style such as learning attitude, learning habit(concentrativeness to concept understanding), problem solving strategies(effort for problem comprehension, use of various strategies), self management(metacognition) by MBTI personality disposition types(SJ, SP, NT, NF groups). Third, based on the results, the following mathematics learning strategies fit into each personality disposition type were recommended. SJ type students are needed to effort creative approach for open problem and to use mindmap as mathematics learning strategy. SP type students are needed to fulfill stepwise problem solving process and to effort constantly practice long/short term learning objectives. NT type students are needed to expand opportunity to study with friends and to use SRN(self reflection note) or mathematics journal writings as mathematics learning strategy. NF type students are needed to use mathematics learning note writing activity which include logical basis for each step of problem solving and to invest more time on learning algebra which need meticulous calculation.