scholarly journals Compiling Hilbert's epsilon operator

10.29007/rkxm ◽  
2018 ◽  
Author(s):  
Rustan Leino
Keyword(s):  
Programming Language ◽  
Arbitrary Element

Hilbert's epsilon operator is a binder that picks an arbitrary element froma nonempty set. The operator is typically used in logics and proof engines.This paper contributes a discussion of considerations in supporting this operatorin a programming language. More specifically, the paper presents the design choicesmade around supporting this operator in the verification-aware language Dafny.

Programming Language for Severely Retarded Children

1978 ◽  
Vol 9 (4) ◽  
pp. 213-219
Author(s):  
Carol McCall Davis
Keyword(s):  
Programming Language ◽  
Mentally Retarded ◽  
Mentally Retarded Children

This article describes methods of language programming for profoundly mentally retarded children that are based on linguistic principles. Examples of program contents are drawn from research reports and include cuing procedures, as well as progress from receptive through imitative behaviors, labeling responses, and grammatical sequencing.

PENGELOLAAN DATA ANGGOTA BERBASIS WEBSITE DI YAMAHA VIXION CLUB CABANG BANDUNG

2020 ◽  
Vol 2 (2) ◽  
pp. 113-127
Author(s):  
Nova Indrayana Yusman
Keyword(s):  
Data Management ◽  
Organizational Structure ◽  
Human Resource Development ◽  
Human Resource ◽  
Programming Language ◽  
The Internet ◽  
Web Based ◽  
Management Software ◽  
The City ◽  
Data Management Software

Yamaha Vixion Club Bandung (YVCB) was formed on July 7, 2007 in the city of Bandung, as a place of friendship between Yamaha Vixion motorcyclists. In its organizational structure, YVCB has a Human Resource Development (HRD) division. Until now, there are more than 800 Yamaha Vixion Club Bandung members. This software is made to facilitate the work of the Yamaha Vixion Club Bandung HRD Division in processing member data. Created using Microsoft Webmatrix as an editor with the PHP programming language. The database uses MySQL with PHPMyAdmin as the software. The method used in making this software is prototyping so that between developers and customers can understand each other what the customer wants. The purpose of making web-based member data management software is that in terms of managing member data it can be done anytime and anywhere by just accessing the internet. In the use of the program, the author chose to use PHP, because PHP is the best and easiest to use in website programming language. Based on the last paragraph, the author intends to make aplication based computerized attendance so that become effective and efficient in terms of time.

SMART and TOPSIS Method For Determining The Priority Of Screen Printing

SinkrOn ◽  
2020 ◽  
Vol 4 (2) ◽  
pp. 151
Author(s):  
Rinaldi Setiawan ◽  
Arini Arini ◽  
Luh Kesuma Wardhani
Keyword(s):  
Decision Support ◽  
Programming Language ◽  
Screen Printing ◽  
Small And Medium Enterprises ◽  
Topsis Method ◽  
Product Selection ◽  
Final Value ◽  
Combination Of Methods ◽  
Medium Enterprises ◽  
Research Criteria

The number of micro, small and medium enterprises (MSMEs) in the field of screen printing and convection that use websites in marketing is one of them CV. Ini Sablon. but in the production process there are obstacles in working on orders that come to be done first in accordance with predetermined criteria, namely deadlines, number of orders, design, profit, and availability of goods. The use of Decision Support System (DSS) aims to provide recommendations to owners of screen printing companies. This study uses the SMART method to weight the criteria and the TOPSIS method for product selection. This system is built using the PHP programming language and MySQL database. The results of the study were a screen printing production priority website with the best final value of 0.62 and the worst final value of 0.35 with the level of accuracy between manual and system calculations reaching 100%. In this study the criteria cannot be updated, it is expected that further research criteria can be updated and use a combination of methods that have not been done.

Pengembangan Sistem Online Pendaftaran Santri Baru untuk Penguatan Manajemen Informasi Pondok Pesantren Islamiyah Syafi’iyah Situbondo

2020 ◽  
Vol 1 (3) ◽  
pp. 227-237
Author(s):  
Fathorazi Nur Fajri ◽  
Wali Ja’far Shudiq ◽  
Nurul Hidayattun Nasyihin
Keyword(s):  
Information System ◽  
Programming Language ◽  
Boarding Schools ◽  
Web Technology ◽  
Administrative Process ◽  
Sql Database ◽  
Admission System ◽  
New Student ◽  
Selection Of

New Santri Admission (Penerimaan Santri Baru) is an administrative process for the selection of new student candidates. The PSB process is always carried out manually at each school institution, especially the Islamic Boarding Schools, which will cause various difficulties from several related parties. Therefore the New Santri Admission System was created online or the term can be called the online PSB. . An idea emerged to create a new student admission information system based on the SQL database. With this system, pesantren or administrators can manage the implementation of student registration for web technology using the PHP programming language and new languages. such as rapid registration and announcements.

A Python application to generate digital signals

2020 ◽  
Vol 65 (1) ◽  
pp. 96-104
Author(s):  
Tatian-Cristian Mălin
Keyword(s):  
Numerical Simulation ◽  
Programming Language ◽  
Digital Signals ◽  
Python Programming Language ◽  
Python Programming

We introduce in this paper an application developed in the Python programming language that can be used to generate digital signals with known frequencies and amplitudes. These digital signals, since have known parameters, can be used to create benchmarks for test and numerical simulation.

APLIKASI AKUNTANSI PENATAUSAHAAN KEUANGAN DESA MENGGUNAKAN FRAMEWORK CODEIGNITER

2018 ◽  
Vol 4 (1) ◽  
Author(s):  
Yati Nurhayati
Keyword(s):  
Programming Language ◽  
Human Error ◽  
Financial Data ◽  
Microsoft Excel ◽  
Financial Administration ◽  
The Village

AbstrakDesa sebagai salah satu bagian dari pemerintahan yang memiliki anggaran besar melalui APBDes untuk peningkatan infrastruktur desa dan kesejahteraan masyarakatnya. Maka desa wajib melakukan pengelolaan keuangan dan pencatatan keuangan (penatausahaan) secara akurat dan detail. Salah satu desa yang memiliki APBDes besar adalah Desa Ciputat. Dalam penatausahaan atau pencatatan keuangan masih dilakukan secara semi manual (Microsoft excel) sehingga banyak kelemahan yaitu besarnya kemungkinan human error dan ketidak seimbangan (balance) keuangan dikarenakan banyaknya format yang harus dibuat dalam beberapa lembar kerja. Sehingga dibutuhkan sebuah aplikasi yang dapat mengelola data keuangan secara cepat dan akurat. Aplikasi ini dirancang menggunakan UML, sedangkan system dikembangkan menggunakan metode RAD. Hasil perancangan diterapkan ke dalam Bahasa pemrograman PHP dan MySQL menggunakan framework CodeIgniter. Hasil akhir dari penelitian ini adalah sebuah aplikasi akuntansi penatausahaan (pencatatan) keuangan di desa dan menghasilkan laporan dalam bentuk Buku Kas Umum dan Buku Pembantu Kegiatan.�Kata Kunci�Desa, Keuangan, Penatausahaan, RAD, PHP, MySQL,CodeIgniter, Akuntansi., Buku Kas Umum, Buku Pembantu Kegiatan�AbstractVillage as a part of government has big estimation through APBDesa for increasing villages infrastructure and prosperity for the citizens. Therefore, the village should do managing financial and registration financial (administration) accurately and detail. One of villages that has a big APBDesa is Ciputat Village. In administration or registration financia, it still conductes semi-manual (Microsoft excel) so there are many weakness such as big posibility of human error and un-balance of financial caused many kind of format that should be produced in several sheets. So, it needs an application that can manage financial data accurately and fast. This application is designed by using UML, while the system is developed by using RAD methodology. And results are implemented into PHP Programming Language and MySQL by using framework CodeIgniter. Last Results of this research is an accounting application of Financial Administration (registration) in village and produce report in General Ledger form and subsidiary ledger form.Keywords� Village, Financial, Administration, RAD, PHP, MySQL, CodeIgniter, Accounting., General Ledger, Subsidiary Ledger

METHODS OF FORECAST CALCULATION OF GROUND WATER BACKWATER IN THE ZONE OF HYDRAULIC STRUCTURES INFLUENCE

2020 ◽  
pp. 109-116
Author(s):  
N.P. KARPENKO ◽  
◽  
M.A. SHIRYAEVA
Keyword(s):  
Numerical Model ◽  
Computer Program ◽  
Ground Water ◽  
Programming Language ◽  
Hydraulic Structure ◽  
Hydraulic Structures ◽  
Software Model ◽  
Computational Program ◽  
Specific Object ◽  
Zone Of Influence

The purpose of the work is to consider methods for calculating the forecast of groundwater backwater in the zone of influence of hydraulic structures. The analysis of analytical dependences of calculation of the forecast of groundwater backwater for various calculation schemes is carried out. For a homogeneous scheme of the geofiltration structure, a numerical model is proposed and a computational program for calculating the groundwater backwater is developed. It allows calculating the groundwater backwater from the channel at any time in the discrete mode. To simplify the solution of the problem of calculating the groundwater backwater, a computer program was created in the programming language Phyton Version 8.3 which quickly solves this hydrogeological problem. A possible range of geofiltration parameters is proposed for calculating the groundwater backwater near main channels. The adaptation and implementation of the software model was carried out for a specific object – the Bolshoy Stavropol channel-5, for which forecast calculations were made. The results of predictive calculations of groundwater backwater are the basis for the assessment of areas of possible flooding – the territory within which the level of ground water increases as a result of their backup by a hydraulic structure.

Sign in / Sign up

Export Citation Format

Share Document