نتایج جستجو برای: godel logic

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

Journal: :جاویدان خرد 0
ضیاء موحد عضو هیات علمی موسسه پژوهشی حکمت و فلسفه ایران

this paper will examine ibn sina’s theory of the conditional syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later islamic tradition. as a preliminary discussion, this paper briefly examines i...

Journal: :iranian journal of science and technology (sciences) 2005
k. erenturk

the design and application of a fuzzy logic based controller to a leakage current relay waspresented in this paper. a novel approach based on fuzzy logic to form the tripping action of leakagecurrent relay was investigated. in addition to the theoretical aspect of fuzzy logic, detection of a leakagecurrent, measurement of the leakage current, determination of its duration, trip opening of fault...

ژورنال: :مکانیک سازه ها و شاره ها 2013
علی اکبر پویان زینب مزینانیان رضا شمس

this paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and petri nets. in the beginning, programmable logic controllers were widely designed by ladder logic diagrams. when complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. thus, petri nets as a high l...

New trends and the effect of key factors influence the quality of the holes produced by ECM processes. Researchers developed a fuzzy logic controller by adding intelligence to the ECM process. Maintaining optimum ECM process conditions ensures higher machining efficiency and performance. This paper presents the development of a fuzzy logic controller to add intelligence to the ECM process. An e...

Journal: :Kìbernetika ta komp'ûternì tehnologìï 2021

Introduction. Numeration, or code, discrete sequences act fundamental part in the theory of recognition and estimation. By code get codes indexes programs calculated functions. It is set that universal are which will realize all other programs. This one basic results On basis numeration Godel proved a famous theorem about incompleteness arithmetic. Purpose article. To develop synonymous numerat...

Journal: :The Computer Journal 1995

ژورنال: جاویدان خرد 2009
ضیاء موحد

This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...

2013
J. Pillay

The continuum hypothesis (CH) is one of and if not the most important open problems in set theory, one that is important for both mathematical and philosophical reasons. The general problem is determining whether there is an infinite set of real numbers that cannot be put into one-to-one correspondence with the natural numbers or be put into one-to-one correspondence with the real numbers respe...

Journal: :Journal of Indian and Buddhist Studies (Indogaku Bukkyogaku Kenkyu) 2014

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

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