徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

乔治·布尔

指数 乔治·布尔

喬治·布爾(George Boole,,英語發音 ),英格兰数学家和哲学家,数理逻辑学先驱。.

40 关系: 变分法奧古斯塔斯·德摩根威廉·斯坦利·杰文斯差分巴魯赫·斯賓諾莎布尔代数布尔逻辑一位论派亚里士多德微分國際音標喬治·埃佛勒斯哲学家克劳德·香农科克 (爱尔兰)科克大学约瑟夫·拉格朗日爱尔兰计算机科学计算机语言论域艾萨克·牛顿艾捷尔·丽莲·伏尼契英語英格兰逻辑GoogleGoogle涂鸦PanSci 泛科學查尔斯·桑德斯·皮尔士林肯 (林肯郡)林肯郡法国机械工业出版社数学数学家数理逻辑曲线曲面19世纪哲学

变分法

变分法是处理泛函的数学领域,和处理函数的普通微积分相对。譬如,这样的泛函可以通过未知函数的积分和它的导数来构造。变分法最终寻求的是极值函数:它们使得泛函取得极大或极小值。有些曲线上的经典问题采用这种形式表达:一个例子是最速降线,在重力作用下一个粒子沿着该路径可以在最短时间从点A到达不直接在它底下的一点B。在所有从A到B的曲线中必须极小化代表下降时间的表达式。 变分法的关键定理是欧拉-拉格朗日方程。它对应于泛函的临界点。在寻找函数的极大和极小值时,在一个解附近的微小变化的分析给出一阶的一个近似。它不能分辨是找到了最大值或者最小值(或者都不是)。 变分法在理论物理中非常重要:在拉格朗日力学中,以及在最小作用量原理在量子力学的应用中。变分法提供了有限元方法的数学基础,它是求解边界值问题的强力工具。它们也在材料学中研究材料平衡中大量使用。而在纯数学中的例子有,黎曼在调和函数中使用狄利克雷原理。 同样的材料可以出现在不同的标题中,例如希尔伯特空间技术,莫尔斯理论,或者辛几何。变分一词用于所有极值泛函问题。微分几何中的测地线的研究是很显然的变分性质的领域。极小曲面(肥皂泡)上也有很多研究工作,称为普拉托问题。.

新!!: 乔治·布尔和变分法 · 查看更多 »

奧古斯塔斯·德摩根

奧古斯塔斯·德摩根(Augustus De Morgan,,英語發音),英國數學家、邏輯學家。他明確陳述了德摩根定律,將數學歸納法的概念嚴格化。他生前多以报刊评论员的身份而知名。.

新!!: 乔治·布尔和奧古斯塔斯·德摩根 · 查看更多 »

威廉·斯坦利·杰文斯

威廉姆·斯坦利·杰文斯(William Stanley Jevons,1835年9月1日--1882年8月13日),生于利物浦,英国著名的经济学家和逻辑学家。他在著作《政治经济学理论》(1871年)中提出了价值的边际效用理论。杰文斯同奥地利的卡尔·门格尔(1871年)、瑞士的利昂·瓦尔拉斯(1874年)共同开创了经济学思想的新时代。 1854年,正在学习自然科学的杰文斯穷困潦倒地离开了伦敦,去悉尼作了一个分析员,在那里他迷上了政治经济学。1859年他回到了英格兰,于1862年发表了《政治经济学数学理论通论》,概括出了价值的边际效用理论。1863年发表了《黄金价值暴跌》。杰文斯以为,消费者从最后一单位产品得到的效用或者价值与他所拥有的产品数量有关,这个数量也许会有一个临界值。 他在1865年的《煤炭问题》中提醒英国煤炭逐渐枯竭,受到了社会的赞誉。他最重要的逻辑学和科学方法论著作是1874年的《科学原理》、1871年的《政治经济学理论》和1882年的《劳工问题介绍》。.

新!!: 乔治·布尔和威廉·斯坦利·杰文斯 · 查看更多 »

差分

差分,又名差分函數或差分運算,是数学中的一个概念。它将原函数 \ f(x) 映射到 \ f(x+a)-f(x+b)。差分運算,相應於微分運算,是微积分中重要的一个概念。.

新!!: 乔治·布尔和差分 · 查看更多 »

巴魯赫·斯賓諾莎

斯宾诺莎(Baruch de Spinoza,Benedictus de Spinoza,),西方近代哲学史重要的理性主义者,与笛卡尔和莱布尼茨齐名。.

新!!: 乔治·布尔和巴魯赫·斯賓諾莎 · 查看更多 »

布尔代数

在抽象代数中,布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构(就是说一组元素和服从定义的公理的在这些元素上运算)。特别是,它处理集合运算交集、并集、补集;和逻辑运算与、或、非。 例如,逻辑断言陈述a和它的否定¬a不能都同时为真, 相似于集合论断言子集A和它的补集AC有空交集, 因为真值可以在逻辑电路中表示为二进制数或电平,这种相似性同样扩展到它们,所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数,在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格(特殊的偏序集合)是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合,在其中  ≤ 。任何两个格的元素,比如p .

新!!: 乔治·布尔和布尔代数 · 查看更多 »

布尔逻辑

布尔逻辑(Boolean algebra,台湾译--,中國大陸譯--)得名于乔治·布尔,他是爱尔兰科克的皇后学院的英国数学家,他在十九世纪中叶首次定义了逻辑的代数系统。现在,布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年,克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。.

新!!: 乔治·布尔和布尔逻辑 · 查看更多 »

一位论派

一位论派(unitarianism;或稱一神论派、神體一位論、唯一神論、獨神論、一位論、獨神主義),是否認三位一體和基督的神性的基督教派別。此派別強調上帝只有一位,并不如傳統基督教相信上帝由三個位格(即聖父、聖子和聖靈)組成。由於「三位一體」這詞並沒有在《聖經》上出現,三位一體論只是通過根據經文的上下文及前後聯繫推理,到公元四世紀後的大公會議才確立,所以受到一位論派所質疑。早在尼西亞會議中,主張上帝只是一位和耶穌不具有完全的神性的論調(由阿里烏派提出)就曾被教會定為異端。 直到宗教改革時期,強調《聖經》為信仰的唯一根據,再次提倡“一位論”。但隨即遭到天主教会反對,而新教的主要改革家馬丁·路德、加爾文和慈運理等都加以反對。當時,任何人如果支持“一位論”都會被迫害,有支持者曾因此而被捕、遭囚禁和處死。16世纪至17世紀,有組織的一神论派運動出現於匈牙利和波蘭,之後傳到英國、美國和其他地方。其中支持“一位論”的著名神學家有西班牙的塞尔维特、波兰的索西尼、英国的比德勒和林西、法国的普利斯特里等人。 在波蘭,意大利籍神學家索西尼編訂了《拉可溫教理問答》,成為索西尼派的信仰總綱。而林西與蒲力斯特里則分別在英國倫敦和美國的賓夕法尼亞設立一位論派的教會。在1813年,一位论派得到英國國會的承認。在1825年,英國與美國的一位论派成立了傳教和出版機構「一位論者協會」。1961年,美國的一位论派協會與普救派教會合併,成立了「美國一神普救派协会」。.

新!!: 乔治·布尔和一位论派 · 查看更多 »

亚里士多德

亞里士多德(Αριστοτέλης,Aristotélēs,),古希腊哲学家,柏拉圖的學生、亚历山大大帝的老師。他的著作包含許多學科,包括了物理學、形而上學、詩歌(包括戲劇)、音乐、生物學、經濟學、動物學、邏輯學、政治、政府、以及倫理學。和柏拉圖、蘇格拉底(柏拉圖的老師)一起被譽為西方哲學的奠基者。亞里士多德的著作是西方哲學的第一個廣泛系統,包含道德、美學、邏輯和科學、政治和形而上学。 亞里士多德关于物理學的思想深刻地塑造了中世紀的學術思想,其影響力延伸到了文藝復興時期,雖然最終被牛頓物理學取代。在動物科學方面,他的一些意見仅在19世纪被确信是準確的。他的学术领域还包括早期关于形式逻辑理论的研究,最终这些研究在19世纪被合并到了现代形式逻辑理论裡。在形而上學方面,亞里士多德的哲學和神學思想在伊斯蘭教和猶太教的傳統上產生了深遠影響,在中世紀,它繼續影響着基督教神學,尤其是天主教教會的學術傳統。他的倫理學,虽然自始至终都具有深刻的影响,后来也随着新兴現代美德倫理的到来获得了新生。今天亞里士多德的哲學仍然活躍在學術研究的各个方面。在經濟學方面,亞里士多德對於經濟活動的分類與看法持續影響到中世紀與重農主義,直到被亞當斯密的古典經濟學派取代為止。雖然亞里士多德寫了許多論文和優雅的對話(西塞羅描述他的文學風格為“金河”),但是大多數人認為他的著作现已失散,只有大約三分之一的原创作品保存了下來。.

新!!: 乔治·布尔和亚里士多德 · 查看更多 »

微分

在数学中,微分是对函数的局部变化率的一种线性描述。微分可以近似地描述当函数自变量的取值作足够小的改变时,函数的值是怎样改变的。当某些函数\textstyle f的自变量\textstyle x有一个微小的改变\textstyle h时,函数的变化可以分解为两个部分。一个部分是线性部分:在一维情况下,它正比于自变量的变化量\textstyle h,可以表示成\textstyle h和一个与\textstyle h无关,只与函数\textstyle f及\textstyle x有关的量的乘积;在更广泛的情况下,它是一个线性映射作用在\textstyle h上的值。另一部分是比\textstyle h更高阶的无穷小,也就是说除以\textstyle h后仍然会趋于零。当改变量\textstyle h很小时,第二部分可以忽略不计,函数的变化量约等于第一部分,也就是函数在\textstyle x处的微分,记作\displaystyle f'(x)h或\displaystyle \textrmf_x(h)。如果一个函数在某处具有以上的性质,就称此函数在该点可微。 不是所有的函数的变化量都可以分为以上提到的两个部分。若函数在某一点无法做到可微,便称函数在该点不可微。 在古典的微积分学中,微分被定义为变化量的线性部分,在现代的定义中,微分被定义为将自变量的改变量\textstyle h映射到变化量的线性部分的线性映射\displaystyle \textrmf_x。这个映射也被称为切映射。.

新!!: 乔治·布尔和微分 · 查看更多 »

國際音標

國際音標(International Phonetic Alphabet,縮寫:IPA),早期又稱萬國音標,是一套用來標音的系統,以拉丁字母為基礎,由國際語音學學會設計來作為口語聲音的標準化標示方法。International Phonetic Association (IPA), Handbook.

新!!: 乔治·布尔和國際音標 · 查看更多 »

喬治·埃佛勒斯

軍上校喬治·埃佛勒斯爵士(Colonel Sir George Everest,)是威爾斯出身的探險家、地理學家。完成威廉·蘭姆頓(William Lambton)始於1806年的沿子午線弧從印度南端往北到尼泊爾的測量。1830年至1843年任印度測量局局長。1843年,返回英國,獲選為皇家學會會員。1862年,任皇家地理學會副會長。1866年,逝於倫敦。 1852年,印度測量局在喜馬拉雅山脈發現稱為「15號峰(PeakXV)」的世界第一高峰。1865年,在當地稱呼不詳的情況下,由當時的測量局局長安德魯·史考特·華歐(Andrew Scott Waugh)命名為「埃佛勒斯峰」,以紀念前任局長埃佛勒斯。.

新!!: 乔治·布尔和喬治·埃佛勒斯 · 查看更多 »

哲学家

#重定向 哲學家.

新!!: 乔治·布尔和哲学家 · 查看更多 »

克劳德·香农

克劳德·艾尔伍德·香农(Claude Elwood Shannon,),美国数学家、电子工程师和密码学家,被誉为信息论的创始人。 香农是密西根大學學士,麻省理工學院博士。 1948年,香农发表了划时代的论文——通信的数学原理,奠定了现代信息论的基础。不仅如此,香农还被认为是数字计算机理论和数字电路设计理论的创始人。1937年,21岁的香农是麻省理工學院的硕士研究生,他在其硕士论文中提出,将布尔代数应用于电子领域,能够构建并解决任何逻辑和数值关系,被誉为有史以来最具水平的硕士论文之一。二战期间,香农为军事领域的密码分析——密码破译和保密通信——做出了很大贡献。.

新!!: 乔治·布尔和克劳德·香农 · 查看更多 »

科克 (爱尔兰)

科克(Corcaigh,發音意思是「沼澤」,Cork)是愛爾蘭共和國和愛爾蘭島的第二大城市。它是科克郡的主要城市和行政中心,也是芒斯特省最大的城市。科克有119,230人口,而郊區郡中有190,384人口,大科克都會區人口約274,000人,大科克都會區面積約38萬。 科克郡獲得了“反叛之郡”的綽號,而科克通常稱為“真正的愛爾蘭首都”的城市,和自己的“反叛派”。城市建立在利河的兩邊。利河穿城而过,從(世界上最大的天然港口之一,也是愛爾蘭的大型港口之一)注入凯尔特海。.

新!!: 乔治·布尔和科克 (爱尔兰) · 查看更多 »

科克大学

科克大学(直译为科克大学学院,University College Cork,Coláiste na hOllscoile, Corcaigh)是爱尔兰国立大学的一部分。大学建于1845年,原名“皇后学院”(Queen's College, Cork);1908年爱尔兰大学法案出台后,学校更名为“科克大學學院”(University College, Cork)。1997年大学法案将学校更名为'“愛爾蘭國立大學科克”(National University of Ireland, Cork);1998年教育部将大学更名为“科克大学”(University College Cork - National University of Ireland, Cork)。 科克大学被星期日泰晤士报选为2003-2004年度爱尔兰大学,2005-2006年和2011-2012年再度当选年度爱尔兰大学。2007年,科克大学在泰晤士高等教育世界大学排名286位,2008年226位,2009年207位。.

新!!: 乔治·布尔和科克大学 · 查看更多 »

约瑟夫·拉格朗日

约瑟夫·拉格朗日伯爵(Joseph Lagrange,),法国籍意大利裔数学家和天文学家。拉格朗日曾为普鲁士的腓特烈大帝在柏林工作了20年,被腓特烈大帝称做「欧洲最伟大的数学家」,后受法国国王路易十六的邀请定居巴黎直至去世。拉格朗日一生才华横溢,在数学、物理和天文等领域做出了很多重大的贡献。他的成就包括著名的拉格朗日中值定理,创立了拉格朗日力学等等。 拉格朗日是18世纪一位十分重要的科学家,在数学、力学和天文学三个学科中都有历史性的重大贡献,但他主要是数学家。他最突出的贡献是在把数学分析的基础脱离几何与力学方面起了决定性的作用,使数学的独立性更为清楚,而不仅是其他学科的工具。同时在使天文学力学化、力学分析化上也起了历史性作用,促使力学和天文学(天体力学)更深入发展。在他的时代,分析学等分支刚刚起步,欠缺严密性和标准形式,但这不足以妨碍他取得大量的成果。.

新!!: 乔治·布尔和约瑟夫·拉格朗日 · 查看更多 »

爱尔兰

爱尔兰(Ireland;Éire),通称愛爾蘭共和國(Republic of Ireland;Poblacht na hÉireann),是一个西欧国家,欧盟成员国之一,位于欧洲大陆西北海岸外的爱尔兰岛,约占该岛南部的5/6面积。剩餘东北部的1/6面积属于英国,称北爱尔兰。首都位於愛爾蘭島東部的都柏林。愛爾蘭在2011年共計有458萬人口,是一個議會共和制國家。此外愛爾蘭也是歐洲聯盟、歐洲理事會、經濟合作與發展組織、世界貿易組織和聯合國等国际組織的成員。 愛爾蘭共和國成立於1922年的愛爾蘭自由邦,結束了大英帝國的統治,愛爾蘭獨立戰爭後簽訂了英愛條約,愛爾蘭獨立,但東北方的領土繼續留在聯合王國內,形成了北愛爾蘭。.

新!!: 乔治·布尔和爱尔兰 · 查看更多 »

计算机科学

计算机科学用于解决信息与计算的理论基础,以及实现和应用它们的实用技术。 计算机科学(computer science,有时缩写为CS)是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域;有些强调特定结果的计算,比如计算机图形学;而有些是探討计算问题的性质,比如计算复杂性理论;还有一些领域專注于怎样实现计算,比如程式語言理論是研究描述计算的方法,而程式设计是应用特定的程式語言解决特定的计算问题,人机交互则是專注于怎样使计算机和计算变得有用、好用,以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业(比如信息技术),或者只是与使用计算机的经验有关,如玩游戏、上网或者文字处理。其实计算机科学所关注的,不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质,更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学(computer science)的名字里包含计算机这几个字,但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此,一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学(computing science),以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy",以反映这一事实,即科学学科是围绕着数据和数据处理,而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院,该学院成立于1969年,Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时,在计算技术发展初期,《ACM通讯》建议了一些针对计算领域从业人员的术语:turingineer,turologist,flow-charts-man,applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上,comptologist被提出,第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆,起源于信息(information)和数学或者自动(automatic)的名字比起源于计算机或者计算(computation)更常见,如informatique(法语),Informatik(德语),informatika(斯拉夫语族)。 著名计算机科学家Edsger Dijkstra曾经指出:“计算机科学并不只是关于计算机,就像天文学并不只是关于望远镜一样。”("Computer science is no more about computers than astronomy is about telescopes.")设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如,研究计算机硬件被看作是计算机工程的一部分,而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而,现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉,比如心理学,认知科学,语言学,数学,物理学,统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切,一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大,如Kurt Gödel和Alan Turing,这两个领域在某些学科,例如数理逻辑、范畴论、域理论和代数,也不断有有益的思想交流。.

新!!: 乔治·布尔和计算机科学 · 查看更多 »

计算机语言

计算机语言(computer language)指用于人与计算机之间通讯的语言,是人与计算机之间传递信息的媒介。其概念比通用的编程语言要更广泛。例如,HTML是置标语言,也是计算机语言,但并不是编程语言。 th:ภาษาคอมพิวเตอร์.

新!!: 乔治·布尔和计算机语言 · 查看更多 »

论域

在形式科學裡,論域(或稱做論述全集),是指在某些系統化的論述裡的一些令人感興趣的變數之上,由其中的實體所組成的集合。論域通常被視為預備知識,所以不需要每一次都指出相關變數的範圍來。 例如,在一階邏輯的解釋中,論域是指由量詞能指涉到的個體所組成的集合。在一個解釋裡,論域可以是實數的集合;在另一個解釋裡,則可能是自然數的集合。若沒有指定任何論域,則如∀x (x2 ≠ 2) 之類命題的真偽是不確定的。若論域是實數的集合,此命題即是假的,因為有x.

新!!: 乔治·布尔和论域 · 查看更多 »

艾萨克·牛顿

艾萨克·牛顿爵士,(Sir Isaac Newton,,英語發音)是一位英格兰物理学家、数学家、天文学家、自然哲学家和煉金術士。1687年他发表《自然哲学的数学原理》,阐述了万有引力和三大运动定律,奠定了此后三个世纪--力学和天文学的基础,成为了现代工程学的基础。他通过论证开普勒行星运动定律与他的引力理论间的一致性,展示了地面物体与天体的运动都遵循着相同的自然定律;为太阳中心学说提供了强而有力的理论支持,并推动了科学革命。 在力学上,牛顿阐明了动量和角动量守恒的原理。在光学上,他发明了反射望远镜,并基于对三棱镜将白光发散成可见光谱的观察,发展出了颜色理论。他还系统地表述了冷却定律,并研究了音速。 在数学上,牛顿与戈特弗里德·莱布尼茨分享了发展出微积分学的荣誉。他也证明了广义二项式定理,提出了“牛顿法”以趋近函数的零点,并为幂级数的研究作出了贡献。 在2005年,英国皇家学会进行了一场“谁是科学史上最有影响力的人”的民意调查,在被调查的皇家学会院士和网民投票中,牛顿被认为比阿尔伯特·爱因斯坦更具影响力。.

新!!: 乔治·布尔和艾萨克·牛顿 · 查看更多 »

艾捷尔·丽莲·伏尼契

艾捷尔·丽莲·伏尼契,(爱尔兰语:Ethel Lilian Voynich,),婚前姓布尔,爱尔兰小说家和音乐家、革命事业的支持者。是卡玛的曾姨母。她生于科克,父亲是数学家乔治·布尔,母亲是女权主义哲学家玛丽·埃佛勒斯——喬治·埃佛勒斯的侄女、20世纪早起刊物《Crank》的作者。1893年她与威尔弗里德·迈克尔·伏尼契结婚。.

新!!: 乔治·布尔和艾捷尔·丽莲·伏尼契 · 查看更多 »

英語

#重定向 英语.

新!!: 乔治·布尔和英語 · 查看更多 »

英格兰

英格蘭(England),又稱作英倫、英國,是大不列顛及北愛爾蘭聯合王國的一個構成國,位於大不列顛島的東南方,蘇格蘭以南,威尔士以東,是英国面積最大,人口最多,經濟最發達的一個部分。虽然就传统上一般可以认为其政治地位相当于一个国家,但以国际通行标准上其仍然是一级行政区。 在歷史上,英格蘭與蘇格蘭之間是以哈德良长城為界。英格蘭這個名字源自「盎格魯人」(Angles),其原名「Engla-lond」意为「盎格魯人之地」,他們繼凱爾特人之後來到這個地方,属日耳曼民族。.

新!!: 乔治·布尔和英格兰 · 查看更多 »

逻辑

邏輯(λογική;Logik;logique;logic;意大利语、西班牙语、葡萄牙语: logica),又稱理則、論理、推理、推論,是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中,但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論。 邏輯通常可分為三個部份:歸納推理、溯因推理和演繹推理。 在哲學裡,邏輯被應用在大多數的主要領域之中:形上學/宇宙論、本體論、知識論及倫理學。 在數學裡,邏輯是指形式逻辑和数理邏輯,形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡,是研究人类思想推理的处理。 在学习、推论统计学裡,是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡, 是研究各种方法的性质,可能性,和实现在机器上。主要是歸納推理、溯因推理,也有在歸納推理的研究。 从古文明开始(如古印度、中國和古希臘)都有對邏輯進行研究。在西方,亞里斯多德將邏輯建立成一門正式的學科,並在哲學中給予它一個基本的位置。.

新!!: 乔治·布尔和逻辑 · 查看更多 »

Google

Google有限公司(Google LLC;中文:谷--歌),是美国Alphabet Inc.的子公司,业务范围涵盖互联网广告、互联网搜索、云计算等领域,开发并提供大量基于互联网的产品与服务,其主要利润来自于AdWords等广告服务。Google由在斯坦福大学攻读理工博士的拉里·佩奇和谢尔盖·布林共同创建,因此两人也被称为“Google Guys”。1998年9月4日,Google以私营公司的形式创立,目的是设计并管理互联网搜索引擎“Google搜索”。2004年8月19日,Google公司在纳斯达克上市,后来被称为“三驾马车”的公司两位共同创始人与出任首席执行官的埃里克·施密特在此时承诺:共同在Google工作至少二十年,即至2024年止。Google的宗旨是“--”(To organize the world's information and make it universally accessible and useful);而非正式的口号则为“不作恶”(Don't be evil),由工程师阿米特·帕特尔(Amit Patel)所创,并得到了保罗·布赫海特的支持。Google公司的总部称为“-”,位于美国加州圣克拉拉县的山景城。2011年4月,佩奇接替施密特擔任首席执行官。在2015年8月,Google宣布進行资产重组。重组後,Google划归新成立的Alphabet底下。同时,此舉把Google旗下的核心搜索和廣告業務與Google無人車等新兴业务分離開來。 据估计,Google在全世界的数据中心内运营着上百万台的服务器,每天处理数以亿计的搜索请求和约二十四PB用户生成的数据。 Google自创立起开始的快速成长同时也带动了一系列的产品研发、并购事项与合作关系,而不仅仅是公司核心的网络搜索业务。Google公司提供丰富的线上软件服务,如雲端硬碟、Gmail电子邮件,包括Orkut、Google Buzz以及Google+在内的社交网络服务。Google的产品同时也以应用软件的形式进入用户桌面,例如Google Chrome网页浏览器、Picasa图片整理与编辑软件、Google Talk即时通讯工具等。另外,Google还进行了移动设备的Android操作系统以及Google Chrome OS操作系统的开发。 --分析网站Alexa数据显示,Google的主域名google.com是全世界访问量最高的站点,Google搜索在其他国家或地区域名下的多个站点(google.co.in、google.de、google.com.hk等等),及旗下的YouTube、Blogger、Orkut等的访问量都在前一百名之内。其中,社交网络服务Orkut于2014年9月关闭。.

新!!: 乔治·布尔和Google · 查看更多 »

Google涂鸦

Google涂鸦(Google Doodle)是为庆祝节日、纪念日、成就以及纪念杰出人物等而对Google首页商标的一种特殊的临时变更。Google的第一个涂鸦是在1998年为火人祭活動设计的。这个徽标由拉里·佩奇和谢尔盖·布林亲自设计。此后Google的节日涂鸦都采用设计外包模式。2000年佩奇和布林让实习生黄正穆设计巴士底日的涂鸦。从这时开始,涂鸦开始由“Doodlers”团队的员工管理和发布。 Google涂鸦最初不是动画和超链接,而是与主题相关的静态图片。但自2010年代开始,涂鸦出现的频率及其复杂程度都有所增加。2010年1月,第一个动画涂鸦推出,这个涂鸦是纪念艾萨克·牛顿的。不久后,第一个交互式涂鸦推出,以纪念吃豆人诞生30周年。涂鸦中也开始加入超链接,里面的超链接通常链接到涂鸦主题的搜索结果页。截至2014年,Google已经在其网页上发表2000个区域和国际涂鸦。.

新!!: 乔治·布尔和Google涂鸦 · 查看更多 »

PanSci 泛科學

PanSci 泛科學,簡稱PanSci或泛科學,是一個成立於臺灣的科普網站及社群。該組織原為台灣數位文化協會在2011年發起之育成計畫,創辦者為徐挺耀(史萊姆)與鄭國威(P編)等人;2014年從台灣數位文化協會獨立,成立「泛科知識股份有限公司」。該組織專注於邀請各領域科學研究者、教育者、愛好者以及社會大眾一同在實體與虛擬公共論壇中思辨社會議題中的科學面向。.

新!!: 乔治·布尔和PanSci 泛科學 · 查看更多 »

查尔斯·桑德斯·皮尔士

查尔斯·桑德斯·皮尔士(Charles Sanders Santiago Peirce,;中文常译為皮尔斯,实际上读音应该是“purse”,“珀斯”)是美国的通才,实用主义学家。.

新!!: 乔治·布尔和查尔斯·桑德斯·皮尔士 · 查看更多 »

林肯 (林肯郡)

林肯(Lincoln )是英国林肯郡的郡治和教堂市。2011年林肯非都市區人口為93,541。 同年整個都會區(加上北海克姆和沃丁頓)人口為119,200。 林肯發展自羅馬時代的鎮Lindum Colonia,此前原是一個鐵器時代聚居地。當地最著名的地標為英格蘭哥特式建築林肯大教堂和諾曼式建築林肯城堡。當地有林肯大學和格羅斯泰特主教大學兩所大學。林肯位於林肯懸崖的裂谷中,位於倫敦北部。.

新!!: 乔治·布尔和林肯 (林肯郡) · 查看更多 »

林肯郡

林肯郡(Lincolnshire,英文简称:Lincs),英國英格蘭東米德蘭茲(包含的2個單一管理區屬於約克郡-亨伯)的郡。以人口計算,林肯是第1大(亦是唯一一個)城市(亦是郡治),北林肯郡是第1大自治市鎮(Borough),東北林肯郡是第2大自治市鎮;格里姆斯比是第1大鎮(Town),斯肯索普是第2大鎮。 林肯郡是34個非都市郡之一,實際管轄7個非都市區,佔地5,921平方公里(第4),有686,300人口(第15;如看待成48個名譽郡之一,它名義上包含多2個單一管理區─北林肯郡、東北林肯郡,佔地增至6,959平方公里(第2),人口增至1,004,200(第18)。.

新!!: 乔治·布尔和林肯郡 · 查看更多 »

法国

法兰西共和国(République française ),簡稱法国(France ),是本土位於西歐並具有海外大區及領地的主權國家,自法蘭西第五共和國建立以來实行单一制與半总统制,首都為歐盟最大跟歐洲最大的文化與金融中心巴黎。該國本土由地中海一直延伸至英倫海峽及北海,並由萊茵河一直延伸至大西洋,整體呈六角狀。海外领土包括南美洲的法属圭亚那及分布于大西洋、太平洋和印度洋的诸岛屿。全国共分为18个大区,其中5个位于海外。法国與西班牙及摩洛哥為同時擁有地中海及大西洋海岸線的三個國家。法國的国土面积全球第四十一位,但卻為歐盟及西歐國土面積最遼闊的國家,歐洲面積第三大國家。 今日之法国本土于铁器时代由高卢人(凯尔特人的一支)征服,前51年又由罗马帝国吞并。486年法兰克人(日耳曼人的一支)又征服此地,其于该地域建立的早期国家最终发展成为法兰西王国。法国至中世纪末期起成为欧洲大国,國力於19-20世紀時達致巔峰,建立了世界第二大殖民帝國,亦為20世紀人口最稠密的國家,現今則是众多前殖民地的首選移民国。在漫長的歷史中,法國培養了不少對人類發展影響深遠的著名哲學家、文學家與科學家,亦為文化大国,具有第四多的世界遺產。 法國在全球範圍內政治、外交、軍事與經濟上為舉足輕重的大國之一。法國自1958年建立第五共和国後經濟有了很大的發展,政局保持穩定,國家體制實行半總統制,國家經由普選產生的總統、由其委任的總理與相關內閣共同執政。1958年10月4日,由公投通過的國家憲法則保障了國民的民主權及宗教自由。法國的建國理念主要建基於在18世紀法國大革命中所制定的《人權和公民權宣言》,此乃人類史上較早的人權文檔,並對推動歐洲以至於全球的民主與自由產生莫大的影響;其藍白紅三色的國旗則有「革命」的含義。法國不僅為聯合國常任理事國,亦是歐盟始創國。該國國防預算金額為全球第5至6位,並擁有世界第三大核武貯備量。法國為发达国家,其GDP為全球第六大經濟體系,具備世界第十大購買力,並擁有全球第二大專屬經濟區;若以家庭總財富作計算,該國是歐洲最富有的國家,位列全球第四。法國國民享有高生活質素,在教育、預期壽命、民主自由、人類發展等各方面均有出色的表現,特別是醫療研發與應用水平長期盤據世界首位。其國內許多軍備外銷至世界各地。目前,法国是。.

新!!: 乔治·布尔和法国 · 查看更多 »

机械工业出版社

机械工业出版社,即机械工业信息研究院,是一家总部位于中华人民共和国北京市西城区出版社,出版社成立于1952年。机械工业出版社由中华人民共和国国务院国有资产监督管理委员会管辖,ISBN代码为978-7-111。沈鸿、汪道涵曾先后任名誉社长。现任社长为王文斌。,机工官方网站。,引自中国新闻出版报报道-《路甬祥到机工社视察:全面贯彻全会精神 早日建成世界强社》。目前,出版社业务主要涵盖图书、期刊、咨询与分销四个产业,产品涵盖图书、期刊、数据产品、音像制品、电子出版物等领域。 根据工商注册登记信息,机械工业出版社名义上的唯一股东为机械工业信息研究院。机械工业信息研究院是中国机械工业联合会管理的事业单位。按照机械工业出版社网站介绍,机械工业出版社由机械工业信息研究院主办、中国机械工业联合会主管。事实上机械工业信息研究院与机械工业出版社是一个单位的两块牌子,社长即院长。机械工业出版社领导由中国机械工业联合会任命。 机械工业出版社拥有北京百万庄图书大厦有限公司以及机工印刷厂、京丰印刷厂两家印刷厂。.

新!!: 乔治·布尔和机械工业出版社 · 查看更多 »

数学

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.

新!!: 乔治·布尔和数学 · 查看更多 »

数学家

数学家是指一群對數學有深入了解的的人士,將其知識運用於其工作上(特別是解決數學問題)。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學(基础数学)領域以外的問題的數學家稱為應用數學家,他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.

新!!: 乔治·布尔和数学家 · 查看更多 »

数理逻辑

数理逻辑是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。.

新!!: 乔治·布尔和数理逻辑 · 查看更多 »

曲线

曲线的普通定义就是在几何空间中的“弯曲了的线”。而直线是一种特殊的曲线,只不过它的曲率为零。在《解析几何》中,曲线用一组连续函数的方程组来表示。 曲线和直线都是指欧几里得几何所定义的欧几里得空间中的相关概念。此外,还存在多种不为多数人所知的非欧几里得几何,其中的直线和曲线的定义和欧几里得几何的定义有很大差别,甚至不能类比。想深入学习数学的人切忌将不同几何空间中的同名概念相互混淆。.

新!!: 乔治·布尔和曲线 · 查看更多 »

曲面

在数学(拓扑学)中,一个曲面(surface)是一个二维流形。三维空间中的例子有三维实心物体的边界。流体的表面,例如雨滴或肥皂泡是一种理想化的曲面。关于雪花的表面,它有很多精细的结构,超越了这个简单的数学定义。关于实际的曲面的资料,请参看表面张力,表面化学,曲面能量。.

新!!: 乔治·布尔和曲面 · 查看更多 »

19世纪哲学

19世纪哲学从哲学史的观点考察,始于笛卡尔和培根的近代哲学以德国唯心主义形式走向顶峰。与此同时,马克思主义、功利主义、存在主义、精神分析学、实用主义各种思潮迅速发展起来,形成了现代哲学的起点。此外,以“回到康德那里去”为口号的新康德主义也成为哲学一大流派。 这一时期从社会背景上来看,18世纪启蒙运动时期哲学家们的思想开始迅速传播,康德、卢梭等巨匠划时代的著作对新一代的思想家们产生了深远的影响。法国大革命和拿破仑战争所引发的工业革命、民主思潮的影响普及开来,资本主义的兴起和帝国主义的扩张之间所产生的矛盾(贫困、殖民地支配、共同体崩溃等等)导致社会结构发生巨大变化。随着社会变迁而诞生的诸多变革,使得人们开始对诸多传统进行理性的批判。其中对基督教、牛顿力学和黑格尔哲学体系的反思使人类在诸多领域取得了巨大成就。.

新!!: 乔治·布尔和19世纪哲学 · 查看更多 »

重定向到这里:

George Boole布尔,G.

传出传入
嘿!我们在Facebook上吧! »