Logic Theorist翻译
Logic Theorist的基本解释
读音: 美: 英:
逻辑理论家:逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序,是首个可以自动进行推理的程序,被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个,在当中更是找到既新颖又优雅的证明。
短语
Logic Theorist system 逻辑理论家系统
0
纠错
相关推荐:
- was found
- be given
- University computer
- electric airplane
- animal geneticist
- cartilage cells
- software app
- could swim
- movable part
- Joseon Dynasty
- really dirty
- school education
- kidding ourselves
- longest period
- company overseas
- overly complex
- dramatic way
- social organizations
- Sea ports
- coins currency
- Rhino poaching
- digital transactions
- ice covering
- survey methods
- get recorded
- Patrol station
- eating with
- creative cities
- lowered supplies
- participial phrases
- will point
- package label
- The ruling party
- cherry blossom tree
- playoff games
- found success in
- unbelievable story
- led up to
- get a meal
- pass its
- match ended
- loading guns
- rights associations
- advanced military
- winding roads
- continues to inspire
- species listing
- beer bottles