• Title/Summary/Keyword: 원리

Search Result 6,920, Processing Time 0.031 seconds

E-체계들을 위한 루트리-마이어 의미론

  • Yang, Eun-Seok
    • Korean Journal of Logic
    • /
    • v.6 no.2
    • /
    • pp.69-81
    • /
    • 2003
  • 이 논문에서 우리는 (축약 원리가 없는) 연관 체계 EW은 이웃 체계들을 다룬다. 구체적으로 우리는 확장 원리를 포함하지만 축약 원리를 포함하지 않는 E (Ee-W) 체계, 특수 주장 specialized assertion(sa) 원리를 포함하지 않는 Ee-W (Ee-Wsa) 체계, 자기 배분 self-distribution(sd) 원리를 포함하지 않는 Ee-W (Ee-Wsd) 체계, 그리고 체인chain(c) 원리와 축약 원리를 포함하는 Ee 체계들의 확장 Eec-Wsa, Eec-Wsd, Eec-W, Eec를 다룬다. 우리는 루트리 마이어 의미론을 사용해서 이 체계들을 위한 완전성을 보인다.

  • PDF

The Application of Discrete Time Optimal Control Theory to Natural Resource Problems (이산시간 적정제어이론의 응용사례에 관한 연구)

  • Kim, Jin Hyung;Lee, Dug Man
    • Environmental and Resource Economics Review
    • /
    • v.12 no.1
    • /
    • pp.157-175
    • /
    • 2003
  • 본 연구는 이산시간 적정제어이론을 사용하여 동태적 경제 문제의 최적해를 구하기 위해 사용되는 두 가지 형태의 극대원리를 분석하고 있다. 이산시간 적정제어이론에 관한 선행연구들은 상태방정식이 차분방정식의 형태를 띠는 경우에 적용할 수 있는 극대원리를 제안하고 있다. 그러나 본 연구는 상태방정식이 차분방정식이 아닌 일반방정식의 형태를 띠는 경우에 적용할 수 있는 극대원리를 개발하였다. 그리고 본 연구를 통해 개발된 극대원리와 선행연구들이 제안한 극대원리와의 차이는 공동상태 변수의 운동법칙에 있음을 보여주고 있다. 특히 본 연구는 Bellman의 최적원리를 이용하여 본 연구에서 개발된 극대원리는 선행연구들이 제안한 극대원리를 포함하는 일반적인 극대원리임을 설명하고 있다. 마지막으로 본 연구는 목재공급모형인 TSM2000에 포함된 경제변수의 동태적 최적화를 구하는 과정을 통해 본 연구에서 개발된 극대원리가 경제 문제에 적용되는 사례를 보여 주고 있다.

  • PDF

프레게 산수 체계에서의 페아노 공리의 연역

  • Lee, Jong-Gwon
    • Korean Journal of Logic
    • /
    • v.3
    • /
    • pp.53-93
    • /
    • 2000
  • 프레게의 논리주의 프로그램은 기본적인 산수 법칙 혹은 가장 단순한 수의 법칙을 논리적 원리로부터 유도해 냄으로써 달성된다. 프레게는 이른바 외연 공리를 포함하는 논리적 원리로부터 흄의 원리로 지칭되는 원리를 거쳐 '기본적인' 산수 법칙을 이끌어내고 있다. 외연 공리가 흄의 원리를 연역하는 과정에서만 사용되고 인다는 사실은 프레게가 말하는 기본적인 산수 법칙을 외연 공리 대신 흄의 원리를 공리로 채택함으로써 유도해낼 수 있음을 암시한다. 여기서는 흄의 원리로부터 페아노의 다섯 가지 공리를 연역해 내는 프레게의 과정을 조상 관계에 대한 일반적인 고찰에 기초하여 보다 단순화하고 있다.

  • PDF

흄의 원리와 암묵적 정의

  • Choi, Won-Bae
    • Korean Journal of Logic
    • /
    • v.10 no.2
    • /
    • pp.23-46
    • /
    • 2007
  • 이 논문의 목적은 "왜 프레게는 공리 V 대신 흄의 원리를 기본 원리로 삼지 않았을까?"라는 물음에 답하는 데 있다. 이 물음은 프레게 철학의 해석에 관한 물음이기도 하지만, 최근의 새로운 논리주의의 기획이 정당한가를 묻는 물음이 기도 하다. 이 물음에 답하기 위해, 나는 프레게 철학의 틀 안에서 흄의 원리를 공리로 삼는 방안과 정의로 삼는 방안을 차례로 살펴보았다. 우리 논의를 통해 흄의 원리를 공리로 간주하는 방안은 프레게의 논리주의 기획이나 공리관과 어울리지 않으며, 그것을 정의로 간주하는 방안 또한 그의 정의관과 어울리지 않는다는 점을 밝힌다. 나아가 흄의 원리를 기수 개념의 암묵적 정의로 간주하려는 시도가 해결해야 할 문제가 어떤 것인지를 규명하였다.

  • PDF

Art Education through Artwork: Focusing on the Mathematical Principle (미술작품을 통한 미술교육: 수학 원리를 중심으로)

  • Jeong, Kyung-Chul
    • The Journal of the Korea Contents Association
    • /
    • v.10 no.4
    • /
    • pp.447-457
    • /
    • 2010
  • Mathematical principle is present in artwork or architectural building. It is important for middle school students to find these mathematical principles in artwork. But it is difficult to achieve original purpose of art education through student activity that only looks for mathematical principle present in artwork and architectural building. Thus, it is necessary for students to have activities to find mathematical principle in artwork for themselves through artistic experience and appreciation of artwork and to create, appreciate and express new artwork to which they apply the mathematical principle. In this article, I researched a couple of artwork or architectural buildings from this point of view in which mathematical principle is present. I also developed hypothetical teacher activities and student activities for program by providing artwork of Escher in which mathematical principle is present as an example.

A Conceptual Review of the Korean World View for the Development of Nursing Theory (한국적 간호이론개발을 위한 한국인의 세계관에 대한 개념적 고찰)

  • Lee, Young-Ja
    • Korean Journal of Adult Nursing
    • /
    • v.14 no.4
    • /
    • pp.612-624
    • /
    • 2002
  • 연구목적: 이 연구는 한국의 전통적 문화에 기초한 한국적 간호이론 개발을 위하여 고전문헌과 관련문헌으로부터 한국인의 세계관을 도출함을 목적으로 한다. 연구방법: 한국인의 세계관 도출을 위하여 문헌분석방법을 적용하였다. 연구자료는 조선왕조 500년과 현대까지 한국인의 사상체계에 가장 큰 영향을 끼친 성리학의 근간을 이루는 태극도설과 역경을 중심으로 한 고전문헌과 관련 해설서들로 하였다. 연구결과: 한국인의 세계관의 원리로서 변화의 원리, 통일성의 원리, 인본주의 원리를 도출하였다. 그들 각각의 하위개념으로 1) 변화의 원리에는 생산성, 주기성, 중용, 2) 통일성의 원리에는 유기적 체계, 동시성, 전일주의, 조화, 그리고 3) 인본주의 원리에는 경(敬), 충(忠), 서(恕), 효(孝)을 도출하였다. 결론: 서양의 간호개념이 아닌 한국인의 세계관의 원리와 하위개념을 기초로 한국인의 고유한 건강과 간호개념을 도출함으로서 한국적 간호이론개발에 기여할 수 있다.

  • PDF

The Creative Development of Teaching Materials in the Computer System (컴퓨터 시스템에 관한 창의적 교육자료 개발)

  • Kim, Sung-Wan;Kim, Jong-Hoon
    • 한국정보교육학회:학술대회논문집
    • /
    • 2008.01a
    • /
    • pp.97-102
    • /
    • 2008
  • 지금까지의 초등 컴퓨터 교육은 파워포인트나 워드 엑셀과 같은 어플리케이션교육 즉 컴퓨터의 원리교육 보다는 활용교육에 중점을 두어 왔다. 하지만 정보화 시대에 살고 있고 더욱 발전된 정보의 홍수 속에서 살아가야 하는 아동들에게 이제 더 이상 컴퓨터의 활용에 중점을 두기 보다는 컴퓨터를 구성하는 원리를 파악하고 그 원리를 통하여 새로운 것을 창조해내는 창의적인 사고를 심어줄 수 있는 교육을 할 필요성이 절실하다. 컴퓨터를 구성하는 다양한 시스템에는 여러 가지 과학적인 원리가 들어 있으며 이러한 원리들은 우리 실생활에서 쉽게 접근하고 생각을 할 수가 있다. 따라서 본 논문은 생활 속에서 발견할 수 있는 컴퓨터의 원리들로 접근을 시도하여 컴퓨터의 원리를 파악하고 나아가 새로운 생각과 사고로 컴퓨터 원리에 대한 사고의 확장과 창의성을 신장 시킬 수 있는 '창의적인 교육자료'를 개발 하고자한다.

  • PDF

Exploring the Applicability of the Cognitive Theory of Multimedia Learning for Smart Pad Based Learning with a Focus on Principles of Multimedia and Individual Differences (스마트 패드 기반 학습 프로그램에서 멀티미디어 학습에 관한 인지이론적 원리의 적용가능성 탐색: 멀티미디어 원리와 개인차 원리를 중심으로)

  • Kim, Bo-Eun;Lee, Ye-Kyung
    • The Journal of the Korea Contents Association
    • /
    • v.11 no.12
    • /
    • pp.986-997
    • /
    • 2011
  • The purpose of this study is to verify the cognitive theory of Multimedia learning in a Smart Pad environment. Specifically, the viability of the multimedia principle and individual difference principle was tested for this study. To accomplish this, participants were divided into two groups based on their prior knowledge level (high/low), and members of each group were given one of two Smart Pad based programs, one text-based and the other text and image based. Results indicate that the use of images and the interaction between image use and prior knowledge did not have a significant effect on cognitive load levels. However, there were significant effects on learning achievement. This study implies that when developing Smart Pad based learning content, the small screen size compared to PC monitors, types and functions of images, and learning objectives should be considered.

An Analysis on the Instructional Contents by Intuitive Principles in Elementary Mathematics (초등수학에서 직관적 원리에 의한 교육 내용 분석)

  • Lee, Dae-Hyun
    • Journal of Elementary Mathematics Education in Korea
    • /
    • v.15 no.2
    • /
    • pp.283-300
    • /
    • 2011
  • Since elementary students are in the concrete operational stages, they have to learn mathematics using intuitive methods such as visualization, observation, operation, experiment instead of formal approach. For this, we should present the various intuitive methods in curriculum and textbook. It is because that curriculum and textbook are important tools to students when they study mathematics. So, this paper intended to analyze the instructional content by intuitive principle in elementary mathematics curriculum, textbook and curriculum guide. The results are as follows: there is an intuitive principle in only character of mathematics in curriculum. I can't find the intuitive principle in other areas in curriculum. There are 12 intuitive principles in figures area, 1 in measurement area, and 2 in probability and statistics area in curriculum guide. But intuitive principles which are used are inclined to restricted to intuitive principle via representation obtained in the usual experience. Finally, I suggest some implications about teaching via intuitive principles, curriculum, and writing textbook based on the this findings.

  • PDF

The Complementarity of the Principal Principle and Conditionalization (주요 원리와 조건화의 상호보완성)

  • Park, Ilho
    • Korean Journal of Logic
    • /
    • v.21 no.3
    • /
    • pp.321-352
    • /
    • 2018
  • This paper is intended to examine a relationship between the Principal Principle and Conditionalization. For this purpose, I will first formulate several versions of the Principal Principle and Conditionalization in Section 2. In regard to the relationship between the two norms in question, I will show in Section 3 that the Principal Principle and Conditionalization are complementary in two particular senses. The first complementarity is that we don't have to formulate every version of the Principal Principle if the credences evolves by means of Conditionalization. The second complementarity is that we don't have to require for rational agents to update overall credal state by means of Conditionalization if the agent satisfies the Principal Principle. This result can be regarded as a result that criticizes and supplements some existing works about the relationship between the norms.