Results 1 to 10 of about 2,143,165 (258)
Clustering Productive Palm Land using the K- Means Clustering Algorithm
Journal of Innovation Information Technology and Application, 2023 Indonesia is a country with a tropical climate that has many oil palm plantations. CV. Alkema Deo is one of the companies that manage oil palm plantations in Sampit City, East Kotawaringin Regency, Central Kalimantan. CV.
Geofanny Widianto Sihite +1 more
doaj +1 more source
Cumhuriyet İlahiyat Dergisi, 2016 “Mantık - Matematik ilişkisi bağlamında geçerli kıyas kalıplarının Venn şeması ile gösterimi ve yorumlanması” adını taşıyan bu çalışmada kıyas kalıplarını matematiksel bir gösterim şekli ile daha sembolik hale getirmeye ve farklı bir bakış açısı sunmaya ...
Kamil Kömürcü, Halit Kıras
doaj +1 more source
Conceptual models of the quality control process
Mathematical Modelling and Analysis, 2000 This paper discusses issues of conceptual modelling of the product quality control process. Special attention is paid to the quality inspection. This process can be considered as a kind of product sorting the aim of which is to identify the product ...
A. Ribikauskas +2 more
doaj +1 more source
Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]
, 2011 The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational ...
core +2 more sources
An Introduction to Partition Logic [PDF]
, 2013 Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given ...
Ellerman, David
core +1 more source
Second-order logic : ontological and epistemological problems [PDF]
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core +1 more source
Logicism and the development of computer science [PDF]
, 2002 This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science.
Donald Gillies, Gillies, D., Gillies, D
core +1 more source
Five departures in Logic, Mathematics, and thus—whether we like it, or not—in Physics as well... [PDF]
, 2015 Physics depends on “physical intuition”, much of which is formulated in terms ofMathematics. Mathematics itself depends on Logic. The paper presents three latest novelties in Logic which have major consequences in Mathematics. Further, it presents two
Rosinger, Elemer E.
core +1 more source
Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting) [PDF]
, 2020 The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given proofs in core areas of ordinary ...
core +2 more sources
Mathematical Logic: Proof theory, Constructive Mathematics [PDF]
, 2014 The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational ...
core +1 more source