“组合逻辑”的意思、起源，组合逻辑是由谁提出的-哲学-情感百科-依恋情感网

网站首页情感咨询情感美文情感百科情感生活学习充电旧版美文

标题	组合逻辑
类别	哲学
释义	组合逻辑 combinatory logic 现代逻辑的分支之一。研究与变元有关的变换程序(例如置换)及组合数学中的逻辑问题的学科。组合逻辑的思想是肖菲克尔(M . Schönfinkel)于1924年提出的，他推广了函项的概念，使得变元值和函项值本身也可用作函项。他引入了一些组合算子，分别记为I、C、T、Z和S，其中I_x₁＝x₁，C_x₁x₂＝x₁，S_x₁x₂x₃＝x₁x₃(x₂x₃)[x₁，x₂，x₃是变元]，T和Z可通过C和S来定义：T=S(ZZS)(CC)，Z=S(CS)C。肖菲克尔试图把自明的逻辑真理化归为仅由这些组合算子所构成的式子，即用这些组合算子来取代常用的逻辑常项和逻辑变项。但是肖菲克尔没有给出完整的组合逻辑演绎理论。从1929年起，柯里(H. B. Curry)成功地建立了第一个组合逻辑演绎理论。以后，丘奇又发展了λ-换位(λ-Cerversion)理论，它是和柯里理论等价的另一种处理方式。对组合逻辑研究作出贡献的还有罗塞(J. B. Rosser)、克林、贝尔奈斯、菲奇(F. B. Fitch)等人。
随便看	animal family animal hypnosis animal intelligence Animal Intelligence Animal Intelligence: An Experimental Study of the Associative Processes in Animals animal language animal learning animal play animal psychology animal's behavioral element animal's behavioral strategy animal sleep animal sociology animal song animal sound production animal spirit animal territory animatism animism animus An Introduction to Social Psychology anisodine Anne Anastasi annoyance of noise annual cycle human sign human simulation human single stranded DNA binding protein human skeletal growth factor human skeleton human skill human skills human skin human skin collagenase human skin fibroblast human skull human slow reacting substance of anaphylaxis humans monkeypox human smuggling Humans Norwalk gastroenteritis virus 情书起舞影院是什么意思相声奋斗语录情感是什么意思要怎么表达情感是什么意思明星情感语录治愈文案短句是什么意思情感语录花店是什么意思表达爱情感情的古诗词是什么意思三棵树散文表达了什么情感是什么意思神话电台情感语录是什么意思心疼女人情感文案句子图片是什么意思心里难过唱情歌情感散文是什么意思伤感情感散文诗词大全是什么意思陌上情感语录霸气素材图是什么意思情感绝境文案句子图片大全是什么意思落日星空歌曲表达情感的歌是什么意思不是情感小趴菜文案的简单介绍是什么意思前几天看到男朋友给前女友发短信，我该怎么办在交友平台交了个女朋友，可是她一直不和我见面分手一年多了，我还依然深深爱着她我们为了在一起和现任分手，现在我们又分手了和朋友很暧昧，是自作多情吗，要主动一点吗男方只想维持半同居状态，不想结婚和男朋友认识几天就决定交往，但我发现他好像不爱我老婆对闺蜜朋友都很好，可唯独对我不理不问家庭条加好了以后，老公就天天在外面，不回家喜欢上了一起玩游戏的女孩，可她说把我当哥哥老公经常出差，在淘宝发现他给别的女人买护肤品和男朋友因为结婚的条件没谈好，他和我分手了老公总是怀疑我出轨，后来离婚了，现在又来找我复婚男朋友对我很好，可是妈妈不同意我们在一起，怎么办自从老婆和别人一起摆地摊，就变了，她是出轨了吗四川特色小吃网上订购，美食快递到家打造独特风格的小吃店装修效果图，让你的店铺成为独一无二的亮点探寻美食独特风味：十大特色小吃店名字推荐合肥特色小吃店与买房攻略的综合应用推荐南宁特色小吃一条街——品味南宁的美食文化打造独具特色的网红风小吃店装修全国各地特色小吃儿童画——让孩子领略美食与绘画的乐趣 Exploring the World of Unique Food Culture: A Guide to Speciality Snack Shops 品味河南特色小吃油馍头家常，感受独具魅力的美食文化如何制作景德镇毛仔特色小吃中国特色小吃的制作方法，让你在家也能品尝正宗口味贵州省望谟县有哪些特色小吃？云南特色小吃店铺插画大揭秘小厨房幼儿园：培养孩子独立品味的特色小吃探索之旅洛阳十字街特色小吃–品味洛阳美食的必去之地

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。