Oki Neswan
Analysis And Geometri Group, Faculty Of Mathematics And Natural Sciences Institute Of Technology Bandung, Bandung 40132, Indonesia

Published : 7 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 7 Documents
Search

Beberapa Aplikasi dari Ultraproducts di Dalam Teori Model Oki Neswan
Jurnal Matematika & Sains Vol 1, No 1 (1996)
Publisher : Institut Teknologi Bandung

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Pengertian filter pertama kali dikemukakan oleh H. Cartan. Pembahasan kekonvergenan yang lengkap dengan menggunakan filter dapat ditemukan dalam N Bourbaki. Dari konsep filter muncullah ultra filter dan ultraproduct yang belakangan memainkan peranan penting di berbagai cabang matematika khususnya topologi, aljabar, dan juga teori model.             Dalam makalah singkat ini kita ingin menyelidiki peranan dan pemakaian ultraproduct dalam teori model. Di dalam teori model konstruksi model melalui konstanta-konstanta, fungsi-fungsi Skolem, dan rantai elementer telah umum digunakan untuk membangun model baru dari model-model tersedia. T. Skolem yang mula-mula menggunakan ultraproduct di dalam teori model. Ia menggunakan bentuk khusus dari ultraproduct, yaitu ultrapower, untuk membangun model nonstandar lengkap complete nonstandard untuk aritmetika. Ini menunjukkan bahwa ultra product juga dapat berperan sebagai alat konstruksi model. Selain itu ultraproduct juga sangat penting dalam analisis nonstandard (nonstandard analysis).
Dasar-dasar Teori Model Tanpa Tanda Kesamaan Oki Neswan
Jurnal Matematika & Sains Vol 3, No 1 (1998)
Publisher : Institut Teknologi Bandung

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

The new main notion studied here is the notion of a strong onto homomorphic relation R  between structures A and B denoted by A  B. We show that this notion generalizes many fundamental notions of model theory such as substructure and elementary substructure to the situation where an equality symbol is not assumed to be present in the first order language L. We generalize many results of model theory which usually assume that L has an equality symbol to this situation
Spektrum Gstar(1;1) Nunung Nurhayati; Udjianna Sekteria Pasaribu; Dudung Muhally Hakim; Oki Neswan
Jurnal Matematika & Sains Vol 13, No 4 (2008)
Publisher : Institut Teknologi Bandung

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

In this paper we formulate the spectrum (spectral density matrix) of the stationary GSTAR(1;1) model by considering the model as VMA( ∞). The spectrum can be obtained by following steps: represent the model as an VMA( ∞) and convert the model to the backward operator form, then substitute the coefficient model to the spectrum of VMA( ∞) model. The procedure of finding spectrum of GSTAR(1;1) which parameters are given, is illustrated by a two dimensional GSTAR(1;1) model.
On topological integer additive set-labeling of star graphs Hafizh M. Radiapradana; Suhadi Wido Saputro; Erma Suwastika; Oki Neswan; Andrea Semanicova-Fenovcıkova
Electronic Journal of Graph Theory and Applications (EJGTA) Vol 6, No 2 (2018): Electronic Journal of Graph Theory and Applications
Publisher : GTA Research Group, Univ. Newcastle, Indonesian Combinatorics Society and ITB

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.5614/ejgta.2018.6.2.13

Abstract

For integer k ≥ 2, let X = {0, 1, 2, …, k}. In this paper, we determine the order of a star graph K1, n of n + 1 vertices, such that K1, n admits a topological integer additive set-labeling (TIASL) with respect to a set X. We also give a condition for a star graph K1, n such that K1, n is not a TIASL-graph on set X.
P-, I-, g-, and D-Angles in Normed Spaces Hendra Gunawan; Janny Lindiarni; Oki Neswan
Journal of Mathematical and Fundamental Sciences Vol. 40 No. 1 (2008)
Publisher : Institute for Research and Community Services (LPPM) ITB

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.5614/itbj.sci.2008.40.1.3

Abstract

The notion of angles is known in a vector space equipped with an inner product, but not well established in a vector space equipped only with a norm. In this note, we shall develop some notions of angles between two vectors in a normed space and discuss their properties.
Masalah Billiar Al Hassan untuk Trapesium Sama Kaki Nulhakim, Imam; Neswan, Oki
Prosiding Konferensi Nasional Penelitian Matematika dan Pembelajarannya 2016: Prosiding Konferensi Nasional Penelitian Matematika dan Pembelajarannya
Publisher : Universitas Muhammadiyah Surakarta

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Masalah yang dibicarakan adalah salah satu bentuk dari Masalah Biliar Al Hassan atau Alhazen Billiard Problem. Misalkan terdapat sebuah meja billiar berbentuk trapesium sama kaki, sebut
Group of All Taxicab Isometries: A Combinatorial Approach Neswan, Oki; Sumartono, Harry
Jambura Journal of Mathematics Vol 6, No 1: February 2024
Publisher : Department of Mathematics, Universitas Negeri Gorontalo

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.37905/jjom.v6i1.23789

Abstract

In this work, we give a more thorough and exhaustive proof of the set of all isometries in taxicab geometry using a combinatorial approach. We show that isometries preserving taxicab distance while leaving the origin fixed are uniquely determined by how they permute the vertices of circles. Then, we use this principle to identify all isometries in taxicab geometry.