Era revolusi industri 4.0 telah merubah banyak hal secara universal pada abad 21. Perkembangan dunia 21 yang ditandai dengan adanya pemanfaatan teknologi informasi dan komunikasi dalam segala segi kehidupan, memberikan pengaruh setiap aspek kehidupan termasuk proses pembelajaran. terjadi menyebabkan kerja menuntut perubahan kompetensi keterampilan. Kemampuan berpikir kritis, memecahkan masalah,...

to determine ancient seed species, 3250-3450 year-old charred seeds obtained from different iranian archaeological sites were studied using scanning electron microscopy (sem) and molecular analysis. sem analysis of ancient seeds revealed that the surface of the seeds was damaged. therefore, we could not accurately identify their species. molecular analysis on ancient specimens was done on diffe...

In [4, Definition 8.1], some important subvarieties of the variety SH of semi-Heyting algebras are defined. The purpose of this paper is to introduce and investigate the subvariety ISSH of SH, characterized by the identity (0  1)  (0  1)  1. We prove that ISSH contains all the subvarieties introduced by Sankappanavar and it is in fact the least subvariety of SH with this property. We als...

In this Mizar article, we complete the formalization of one of the items from Abad and Abad’s challenge list of “Top 100 Theorems” about Liouville numbers and the existence of transcendental numbers. It is item #18 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http: //www.cs.ru.nl/F.Wiedijk/100/. Liouville numbers were introduced by Joseph Liouville in 1844 [15] as an ...