نتایج جستجو برای: some logicians as avicenna
تعداد نتایج: 6207973 فیلتر نتایج به سال:
This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis of the model theory of linear logic. With this in mind, we focus on the basic definitions of category theory and categorical logic. An analysis of cartesian and cartesian closed categories and their relation to intuitionistic logic is followed by a consideration of symmetric monoida...
Ibn Sina (980-1037 AD), known by his full name Abu Ali al-Hussain ibn Abdallah ibn Sina and the Latin name 'Avicenna', was a Persian scholar who is primarily remembered for his contributions to the science of medicine. He authored Al-Qanun fi al-Tibb (The Canon of Medicine). Sections of his work are devoted to detailed descriptions of a number of infectious illnesses, particularly rabies. Avice...
This manuscript offers a brief review of the orthopedic subjects in the Canon of Medicine. Highlights include, but are not limited to, the anatomy of the musculoskeletal system, fractures and dislocations, nerve and tendon injuries, different types of wounds and ulcers, and bone infections. Some of the concepts regarding musculoskeletal disorders remain relevant to current orthopedic knowledge....
We put the title problem and Church’s thesis into a proper perspective, and we address some common misconceptions about Turing’s analysis of computation. In addition, we comment on two approaches to the title problem, one well known among philosophers and another well known among logicians.
abstract a fundamental study of “historio-graphic metafiction” and “literary genres”, as introduced in “new historical philosophy”, and tracing them in the works of julian barnes having studied the two novels, the porcupine and arthur & george, by julian barnes, the researcher has applied linda hutcheon’s historio-graphic metafictional theories to them. the thesis is divided into five cha...
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...
nowadays,tourism industry considered as one of the main sources of income of a country.unfortunately and despite of owning plenty of cultural historical and natural attractions, iran has not reached to a proper position in this field. besides, the historical cities of a country are considered as the income resource and national wealth of it. qazvin with a rich cultural precedent, have suitable ...
Naturally occurring substances mentioned in medieval medical literatures currently have, and will continue to have, a crucial place in drug discovery. Avicenna was a Persian physician who is known as the most influential medical writers in the Middle ages. Avicenna`s Canon of Medicine, the most famous books in the history of medicine, presents a clear and organized summary of all the medical kn...
the logical treatise al-muhja has been attributed to avicenna in some bibliographies of logical treatises. since a proper understanding of the development of avicennian logic rests on the identification and consideration of the entire corpus of his logical works, the task of the present study is to investigate the validity of ascription of this treatise to avicenna. in carrying out an analysis ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید