• 한국수학교육학회지시리즈A:수학교육
• /
• 제46권3호
• /
• pp.331-349
• /
• 2007

This study aims to improve the teaching and learning method on the conic sections. To do that the researcher analyzed the impact of dynamic geometry software on students' problem solving of the conic sections. Students often say, "I have solved this kind of problem and remember hearing the problem solving process of it before." But they often are not able to resolve the question. Previous studies suggest that one of the reasons can be students' tendency to approach the conic sections only using algebra or analytic geometry without the geometric principle. So the researcher conducted instructions based on the geometric and historico-genetic principle on the conic sections using dynamic geometry software. The instructions were intended to find out if the experimental, intuitional, mathematic problem solving is necessary for the deductive process of solving geometric problems. To achieve the purpose of this study, the researcher video taped the instruction process and converted it to digital using the computer. What students' had said and discussed with the teacher during the classes was checked and their behavior was analyzed. That analysis was based on Branford's perspective, which included three different stage of proof; experimental, intuitive, and mathematical. The researcher got the following conclusions from this study. Firstly, students preferred their own manipulation or reconstruction to deductive mathematical explanation or proving of the problem. And they showed tendency to consider it as the mathematical truth when the problem is dealt with by their own manipulation. Secondly, the manipulation environment of dynamic geometry software help students correct their mathematical misconception, which result from their cognitive obstacles, and get correct ones. Thirdly, by using dynamic geometry software the teacher could help reduce the 'zone of proximal development' of Vigotsky.

• 철학연구
• /
• 제141권
• /
• pp.187-202
• /
• 2017

본 논문의 목적은 필연성과 개연성을 기준으로 연역논증과 귀납논증을 구별할 때 제기되는 몇 가지 문제점을 구체적으로 살펴보면서 현대논리학에서의 연역-귀납 개념과 아리스토텔레스의 쉴로기스모스-에파고게 개념의 차이를 명료하게 밝히는 것이다. 첫째, 현대논리학에서는 연역논증을 타당한 연역논증과 타당하지 않은 연역논증으로 구별하지만 아리스토텔레스에게는 타당하지 않은 쉴로기스모스라는 표현이 없다. 따라서 아리스토텔레스의 관점에서 보면 타당하지 않은 연역논증을 귀납논증으로 간주해야 하는 문제가 발생하지 않는다. 둘째, 현대논리학에서는 연역논증과 귀납논증 간에 심각한 불균형이 존재하지만 아리스토텔레스의 관점에서 보면 그러한 불균형이 존재하지 않는다. 현대논리학에서 연역논증과 귀납논증 간에 심각한 불균형이 존재하게 되는 이유는 연역논증의 경우에 결론이 잘 수립되는지를 확인하기 위해서 논증의 논리적 형식만 검토하면 되지만 귀납논증의 경우에는 결론이 얼마만큼의 개연성을 가지고 도출되는지를 확인하기 위하여 논증의 형식 이외에 부가적인 정보가 필요하기 때문이다. 그러나 아리스토텔레스에게는 연역논증과 귀납논증의 논리적 형식이 동일하기 때문에 그러한 불균형이 존재하지 않는다. 다만 연역논증은 언어로부터 언어에로(명제로부터 새로운 명제에로) 이동하는 논증인 반면에 귀납논증은 경험적 관찰로부터 언어에로(감각적 지각으로부터 명제에로) 이동하는 논증이라는 차이가 있을 뿐이다. 셋째, 현대논리학에서는 전제(들)이 실제로 참인 명제이든 거짓인 명제이든 참인 명제라고 가정하지만 아리스토텔레스는 그렇게 가정하지 않는다. 쉴로기스모스는 개념적으로 참인 명제로부터 출발하고 에파고게는 경험적으로 참인 명제로부터 출발한다.

• International Journal of Computer Science & Network Security
• /
• 제22권8호
• /
• pp.385-391
• /
• 2022

The relevance of the published study lies in the fact that since the introduction of the first Global Distribution System, new information and communication technologies have constantly been changing the tourism industry. In the context of a current digital environment, travel agencies can't avoid participating in digital transformation processes aimed at rethinking operational models, skills, and organisational structures in the regions. This publication aims to present and provide a critical overview of digitalisation processes in tourism development in the regions of the Russian Federation, as well as to reflect on the challenges to the widespread digitalisation processes in the regional tourism sector. The subject of research is digitalisation processes, as they radically transform the modern tourism industry, in the regions as well. The pragmatic research paradigm was considered the most appropriate for the study of tourism digitalisation processes in the regions, as it does not require the selection of a specific theoretical basis for data collection. The pragmatic approach forms an alternative to classical theoretical approaches and serves as a particular type of grounded theory, combining both inductive and deductive methods. No software was used for the inductive part of the analysis. The deductive part was conducted using the qualitative data analysis software Nvivo 11. Given the wide diversity of interested parties in the regional tourism digital area, a stratified purposive sampling method was preferred due to its ability to adequately represent the full picture of the phenomenon under study. The selection and stratum criteria were chosen to maximise the representation of different perspectives in the regional tourism digital area. The novelty of the study is due to the digitalisation processes, with an implication of new needs, while opening up promising opportunities for more productive tourism business in the regions of the Russian Federation. Currently, e-tourism in the Russian Federation has become a subject of lively debate among scholars and practitioners. However, the involvement of advanced digitalisation technologies in the field of information processes in the regions of the Russian Federation is of a very sporadic character.

• 한국조경학회지
• /
• 제36권6호
• /
• pp.1-11
• /
• 2009

본 연구는 현대조경의 추상유형에 관한 연구로서 현대조경의 탈장르적 경향과 건축, 조경, 예술 장르간의 하이브리드화에 의해 현대조경의 형태나 예술성은 과거의 픽쳐레스크식의 조경이 표현할 수 없었던 많은 부분들을 표현해 내고 있다. 이러한 영향으로 인해 현대의 조경은 한편의 거대한 추상예술을 보는 듯하고, 그 난해함은 정도를 더하고 있어 일반대중들 뿐만 아니라 전문 조경가들조차도 추상적 현대조경에 대한 해석이 분분하고 정확한 이해나 해석에 어려움을 토로하고 있어 현대조경의 추상성에 대한 연구가 제기되고 있다. 이에 본 연구는 조경, 건축, 미술 등 여러 다양한 예술분야에서 예술의 창작원리로 작용되어온 '추상성'에 대해 근본적인 탐구를 하여 추상에 대한 이론정립, 추상성 변천과정, 추상성의 현대적 의미를 파악하여, 조경학적 시각으로 각 예술분야와의 연계성을 밝히고 현대조경작가와 작품에서 표현되어 나타나는 추상형태, 추상언어, 추상특징을 추출해봄으로써 현대추상조경의 진리를 파악하고자 하였다. 본 연구를 통하여 현대조경의 추상유형은 다음과 같이 세 가지로 구분할 수 있다. $\cdot$연역적 추상조경(inductive abstract)은 논리적 과정에 의하지 않고 직관적이고 선험적인 정신성, 그리고 초월적 관념 표상을 의미하며 예술가의 내면의 세계 즉, 다시 말해서 외부 대상이 없이 예술가 자신의 관념이나 마음 속을 그리고자 하여 대상의 재현이 아닌 작가 내면의 표현 또는 표출되는 것이다. $\cdot$귀납적 추상조경(deductive abstract)은 전통적 사실주의에 입각하여 대상을 객관적 사실에 대해 지적이고 논리적인 사상(捨象)의 과정을 거쳐서 대상을 단순화하거나 왜곡, 과장, 확대된 논리적 조형성을 표현한다. $\cdot$복합적 추상조경(complex abstract)은 연역적 추상조경과 귀납적 추상조경이 복합적으로 나타난다. 이상으로 살펴본 바와 같이 현대조경의 추상유형에 관한 연구는 추상조경작품에 대한 가치를 재평가하는 계기가 될 수 있고 현대의 추상조경작품에 대한 이해를 높이며, 미래의 조경에 더욱 긍정적으로 작용할 것이다. 따라서 보다 심도 있는 연구와 이의 근본이 되는 추상성에 대한 연구는 앞으로도 지속되어야 한다.

• ETRI Journal
• /
• 제25권3호
• /
• pp.156-170
• /
• 2003

Gamut compression algorithms have traditionally been defined functionally and then tested with deductive methods, e.g., psychophysical experiments. Our study offers an alternative, an inductive method, in which observers judge image colors to represent the original images more accurately. We developed a computer-controlled interactive tool that modifies the color appearance of pictorial images displayed on a monitor. In experiments, observers used the tool to alter color pixels according to the region of color space to which they belonged. We created three different gamut compression algorithms based on the observer experimental data. Observer groups evaluated the performance of the newly-developed algorithms, existing gamut compression algorithms, and an image based on the average observers' results from experiments in this study. The study of gamut extension is unlike the study of gamut compression in that it mainly deals with the degree of image pleasantness as judged by observers. The results of the gamut extension experiments in this study not only make available worthwhile data but also suggest a methodology for using the observer experimental tool for future gamut extension research.

• 대한가정학회지
• /
• 제44권11호
• /
• pp.35-42
• /
• 2006

A criticism model for dress was developed to offer a methodological insight into research on aesthetics of dress. Concepts from Edmund B. Feldman's art criticism model, James D. Carney's style-relative model of art criticism, and Sung Bok Kim's fashion criticism model were borrowed and integrated to create a criticism model for dress, comprising identification of styles, descriptive features, aesthetic value features, external interpretation, socio-cultural interpretation, and evaluation. Both inductive and deductive approaches for the identification of styles can be made in the process of dress criticism. In the former case, descriptive features and aesthetic features are sequentially identified to locate the styles of dress. In the latter case, styles are identified first, and descriptive features and aesthetic features are identified accordingly. Logical criticisms can be made based on the critics' background knowledge of the history of dress and art.

• 대한간호학회지
• /
• 제32권6호
• /
• pp.897-905
• /
• 2002

The purpose of this study was to discuss and address the state of the knowledge development and the nature of knowledge regarding fatigue. Method: This study analyzed the 63 fatigue related articles published from 1990 to 2001. The analysis schema was 'Alternative linkages among philosophy, theory, and method for nursing science' (Kim, 1993). Result: The 63 articles had been studied only within 5 types among all 96 types of linkages. Most of the articles (59 among 63 articles) had been studied within scientific realism and deductive logic. Fifty-three articles among 59 articles were the type of explanatory and predictive theory, grasping reality by the etic method on the controlled setting. Conclusion: This study suggests more development of knowledge regarding fatigue with various logics, especially with discovery logic such as inductive and retroductive or methods in multiple designs on various subjects under various philosophy needed for nursing practice.

• 유체기계공업학회:학술대회논문집
• /
• 유체기계공업학회 2002년도 유체기계 연구개발 발표회 논문집
• /
• pp.433-438
• /
• 2002

The flow field around a symmetrical airfoil in a uniform flow under the generation of noise was numerically studied and compared with experimental datum. The numerical simulation was carried out by LES which employs a deductive dynamic model as subgrid-scale model. The result of an attack angle of $6^{\circ}$ indicate that the discrete frequency noise is generated when the separated laminar flow reattaches near the trailing edge of the pressure side and the turbulent boundary layer is formed over the suction side of the airfoil near the trailing edge. The periodic behavior of vortex formation was observed around the trailing edge and it persists further downstream in the wake. The frequency of the vortex formation in the wake was consistent with that of the discrete frequency noise.

• 한국과학교육학회지
• /
• 제17권3호
• /
• pp.273-288
• /
• 1997

The purpose of this study was to review the studies related to the problem of context in science education. Firstly, studies on context and context effects in science education (and also those related in cognitive psychology) were summarized according to the topics concerning science learning, such as deductive reasoning and probabilistic judgement, controlling variables, scientific inquiry skills, memory and consistency of misconceptions, selecting cognitive strategies and problem solving, achievement and momentum effect, and interest, religion and culture. Secondly, the common problems appeared from the analysis of the studies were discussed, such as (1) how to define contexts?, (2) how to classify contexts?, (3) how to characterize the effects of contexts? and (4) how to explain the context effects? Finally, the implications of the analysis of the studies on the problem of context were discussed in terms of recent development of science education, such as misconception studies, STS science education and the application of the history of science to science teaching.

• Asia pacific journal of information systems
• /
• 제4권2호
• /
• pp.3-34
• /
• 1994

In this paper we describe a new data modeling language we call $O^{2}LDM$. $O^{2}LDM$ incorporates features from object-oriented and logic approaches. In $O^{2}LDM$ there is a rich collection of objects organized in a type hierarchy. It is possible to compose queries that involve field selection, function application and other constructs which transcend the usual, strictly syntactic, matching of PROLOG. We give the features of $O^{2}LDM$ and motivate its utility for conceptual modeling. We have a prototype implementation for the language, which we have written in ML. In this paper we describe an executable semantics of the deductive process used in the language. We work some examples to illustrate the expressive power of the language, and compare $O^{2}LDM$ to PROLOG.