منابع مشابه
Applied Logic - CS 4860 - 2018 - Lecture 2
In this lecture we will begin covering topics from Smullyan’s excellent textbook, First-Order Logic. Many people regard this as one of the best logic textbooks written for teaching the logic which is the title of the book. That topic is covered in Part II of the book. Part I is about Propositional Logic and certain simple facts about trees. Trees are important because Smullyan treats proofs as ...
متن کاملSynthesis of Regio- and Stereospecifically Deuterium Labelled 2-Benzylindanes
2-Benzylindenes (1, la ) are hydrogenated to 2-benzylindanes (2) using tris-(triphenylphosphine)-rhodium(I)-chloride in benzene by a strict cis-1,2 addition of hydrogen to the double bond. Thus, stereoand regio-specific deuterium labelling at the five-membered ring of various 2-benzylindanes has been carried out. The high selectivity of deuterium incorporation is shown independently by 'H NM R ...
متن کاملCombinaTexas 2018 February 10 – 11 , 2018
In this talk we give combinatorial proofs of q-Stirling identities using restricted growth words. This includes a poset theoretic proof of Carlitz’s identity, a new proof of the q-Frobenius identity of Garsia and Remmel and of Ehrenborg’s Hankel q-Stirling determinantal identity. We also develop a two parameter generalization to unify identities of Mercier and include a symmetric function versi...
متن کاملNeuropsychopharmacologia Hungarica 2010. Xii. Évfolyam 1. Szám Epilepsy and Dependence
Epilepsy is relatively frequent neurological condition. Its prevalence is assumed to be about 1%, and it would be interesting to see how many of these people have comorbid substance dependence disorder. The manifestation of epilepsy exhibits a seizure-like condition with typical neurological and psychical symptoms, which are induced by pathological electric discharges in brain. The population o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: REGIO
سال: 2018
ISSN: 2415-959X
DOI: 10.17355/rkkpt.v26i2.212