Rational constructive analysis

1981 ◽  
pp. 321-347 ◽  
Author(s):  
J. R. Geiser
Keyword(s):  
Constructive Analysis

PENGEMBANGAN MODUL PRAKTIKUM TEMA ALAT PENGENDALI PENCEMAR UDARA BERBASIS AUGMENTED REALITY

2021 ◽  
Vol 14 (1) ◽  
pp. 11
Author(s):  
Yudith Vega Paramitadevi ◽  
Faldiena Marcelita ◽  
Ana Turyanti
Keyword(s):  
Environmental Management ◽  
Virtual Reality ◽  
Air Quality ◽  
Augmented Reality ◽  
Control Design ◽  
Air Pollutant ◽  
Learning Materials ◽  
Study Program ◽  
Management Study ◽  
Constructive Analysis

Abstrak: Penciptaan dan pengembangan material pembelajaran dalam situasi ketidakpastian saat ini merupakan tantangan yang dihadapi pendidik. Tantangan tersebut terjawab seiring teknologi Augmented dan Virtual Reality (AR dan VR) mulai diterapkan di kelas praktikum. Pengembangan modul praktikum mata kuliah Kualitas Udara dan penilaian keberterimaan modul bagi mahasiswa Prodi D3 Teknik dan Manajemen Lingkungan merupakan tujuan dalam penelitian ini.  Modul terdiri dari buku panduan, marker AR, aplikasi KU-AR dan kuisioner formatif yang diisi oleh responden 28 mahasiswa. Analisis formatif menunjukkan mayoritas mahasiswa dapat menerima modul dan menjadi termotivasi untuk mempelajari desain alat pengendali pencemar udara lanjutan. Pengenalan alat pengendali pencemar udara melalui modul AR dapat memberikan pengalaman yang berguna bagi mahasiswa, khususnya vokasi. Kata Kunci: alat pengendali, aplikasi KU-AR, modul praktikum, pengembanganAbstract: The creation and development of learning materials in today's uncertainty is a challenge for educators.  Augmented and Virtual Reality (AR and VR) technologies responded to this challenge since they began to be applied in practicum classes. The development of the practicum module for the Air Quality course and the assessment of module acceptance for D3 Engineering and Environmental Management Study Program students are the objectives of this research. The module consists of a guidebook, AR markers, the KU-AR application, and a formative questionnaire filled out by 28 student respondents. The constructive analysis shows that most students can receive the module and become motivated to study advanced air pollutant control design. The introduction of air pollutant controllers through the AR module can provide a useful experience for students, especially vocational students.Keywords: air pollutant controller, development, KU-AR application, practicum module

scholarly journals Uniqueness, continuity and the existence of implicit functions in constructive analysis

2011 ◽  
Vol 14 ◽  
pp. 127-136 ◽  
Author(s):  
H. Diener ◽  
P. Schuster
Keyword(s):  
Implicit Function Theorem ◽  
A Priori ◽  
Implicit Function ◽  
Implicit Functions ◽  
Unique Existence ◽  
Constructive Analysis ◽  
Full Proof

AbstractWe extract a quantitative variant of uniqueness from the usual hypotheses of the implicit function theorem. Not only does this lead to an a priori proof of continuity, but also to an alternative, full proof of the implicit function theorem. Additionally, we investigate implicit functions as a case of the unique existence paradigm with parameters.

scholarly journals Telaah Kritis Konstruktif Struktur dan Isi Pemahaman Bersama Iman Kristen dalam Perspektif Lutheran

2019 ◽  
Vol 3 (1) ◽  
pp. 53
Author(s):  
Riris Johanna Siagian
Keyword(s):  
Christian Faith ◽  
Religious Context ◽  
Constructive Analysis ◽  
Church Unity

The Understanding of  Together Christian Faith was the second document of the four of church unity document (DKG), was published by the resource department of Indonesia Church Communion. This document has seven chapters, the first chapter is talking about God, and the last chapter is talking about the Holy Bible. Since this document was published as a document of together in Indonesia in 1984 at Ambon, for churches have good awareness to get a theology for together in understanding. Nowadays, Indonesia has many problems about how to manage many persons with much different religion. For goal by doing a constructive analysis in Lutheran perspective for this document is very important to prepare this document to be relevant in many situations especially in multicultural, ethnic and religious context in Indonesia.AbstrakPemahaman Bersama Iman Kristen (PBIK) adalah dokumen kedua dari  empat bagian  Dokumen Keesaan Gereja (DKG), yang diterbitkan oleh Litbang Persekutuan Gereja-gereja di Indonesia. Dokumen ini terdiri dari 7 bab. Bab I, memuat  tentang Allah, dan bab terakhir yakni bab 7, memuat tentang Alkitab. Sejak ditetapkan sebagai Pengakuan Iman Bersama di Indonesia tahun 1984 di Ambon, bagi gereja-gereja makin tumbuh kesadaran akan pentingnya satu teologi yang dapat dipahami bersama sehingga aksi oikumenis dapat dilakukan dalam kehidupan beragama di Indonesia. Telaah kritis konstruktif dari perspektif Lutheran  atas dokumen ini dilakukan terutama untuk mempersiapkan agar dokumen ini tetap relevan menghadapi berbagai persoalan sosial dan kecenderungan di tengah-tengah masyarakat yang multikultural dalam konteks Indonesia.

The Implications of the New Geography Framework of Urban Agro Ecology on Urban Planning

2022 ◽  
pp. 141-170
Author(s):  
José G. Vargas-Hernández
Keyword(s):  
Urban Planning ◽  
Local Governments ◽  
Theoretical Framework ◽  
Empirical Literature ◽  
Technological Research ◽  
Disadvantaged Communities ◽  
Model Based ◽  
Constructive Analysis ◽  
New Geography

This chapter has the objective to analyze the implications that the new geography framework of urban agro ecology has on urban planning. It departs from the assumption that the new geography is a theoretical framework for the for the analysis of the economic, social, political, ecological, technological, research, and science based on the interrelationships between urban agro ecology and urban planning. The methodology is based in a constructive analysis of the reviewed theoretical and empirical literature to infer a model based on the construct of the new geography. Finally, it is concluded that urban planning of local governments can formulate and implement strategies based on the new geography framework in urban agro ecology to proving incentives in new urban developments and to benefit disadvantaged communities.

DESIGN OF SPATIAL MODELING OF ELEMENTS OF CONSTRUCTIONS OF MEN’S JACKET

2020 ◽  
Author(s):  
Zh.T. Usembayeva ◽  
◽  
S.Zh. Asanova ◽  
Keyword(s):  
Spatial Modeling ◽  
Constructive Analysis

An artistic and constructive analysis of the men’s jacket is carried out. The location of the outer pocket on the shelf of a men’s jacket, as part of a jacket, is considered. Approaches to spatial modeling of elements of a male jacket are proposed.

scholarly journals Principles Weaker than BD-N

2013 ◽  
Vol 78 (3) ◽  
pp. 873-885 ◽  
Author(s):  
Robert S. Lubarsky ◽  
Hannes Diener
Keyword(s):  
Set Theory ◽  
Constructive Logic ◽  
Constructive Analysis ◽  
Cauchy Sequences

AbstractBD-N is a weak principle of constructive analysis. Several interesting principles implied by BD-N have already been identified, namely the closure of the anti-Specker spaces under product, the Riemann Permutation Theorem, and the Cauchyness of all partially Cauchy sequences. Here these are shown to be strictly weaker than BD-N, yet not provable in set theory alone under constructive logic.

Sign in / Sign up

Export Citation Format

Share Document