نتایج جستجو برای: internal set theory

تعداد نتایج: 1545164  

Journal: :Annals of Pure and Applied Logic 2012

Journal: :Journal of King Saud University - Science 2011

Journal: :Transactions of the American Mathematical Society 1969

Journal: :Annals of Pure and Applied Logic 2023

We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). show our notion of OTM-realisability sound with respect to certain systems logic, and all axioms Kripke-Platek are realised. Finally, we use variant the propositional admissible rules (finitary) exactly logic.

Journal: :Bulletin of Symbolic Logic 1999

Journal: :Symmetry 2021

In this paper, we show that Zermelo–Fraenkel set theory with Choice (ZFC) conflicts basic intuitions about randomness. Our background assumptions are the Zermelo–Fraenekel axioms without (ZF) together a fragment of Kolmogorov’s probability theory. Using these minimal assumptions, prove weak form contradicts two common sense probability—both based on simple notions symmetry and independence.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه ارومیه 1377

fuzzy logic has been developed over the past three decades into a widely applied techinque in classification and control engineering. today fuzzy logic control is one of the most important applications of fuzzy set theory and specially fuzzy logic. there are two general approachs for using of fuzzy control, software and hardware. integrated circuits as a solution for hardware realization are us...

Journal: :The Linguistic Review 1983

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1391

in this research we have studied the effect of some transition-metals (cu, ag and au) substitutions on two-electron reduction potential of flavins by application of dft method. all geometries have been optimized at blyp level of theory and “6-31+g** + lanl2dz” mixed basis set. the frequency job at the same method and basis sets has been performed to obtain gibbs free energy of compounds. it h...

Journal: :Journal of Mathematical Analysis and Applications 2001

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید