Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое LEGO (proof assistant) - определение
LEGO (proof assistant)
LOGICAL PROOF ASSISTANT
Lego (proof assistant)
LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CoC), the Generalized Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT).
Modulex
![Lego injection moulding machines, made by the German company [[Arburg]]](https://commons.wikimedia.org/wiki/Special:FilePath/Arburg Lego.png?width=200 "Lego injection moulding machines, made by the German company [[Arburg]]")
![Hilary Fisher Page's ''Interlocking Building Cubes'' by [[Kiddicraft]], 1939](https://commons.wikimedia.org/wiki/Special:FilePath/Bri-Plax Interlocking Building Cubes - Hilary Fisher Page 1939.jpg?width=200 "Hilary Fisher Page's ''Interlocking Building Cubes'' by [[Kiddicraft]], 1939")
![The Lego factory in [[Kladno]], Czech Republic](https://commons.wikimedia.org/wiki/Special:FilePath/Kladno CZ LEGO factory from NE 007.jpg?width=200 "The Lego factory in [[Kladno]], Czech Republic")
![Lego building at NASA's [[Kennedy Space Center]]](https://commons.wikimedia.org/wiki/Special:FilePath/LEGO Building At KSC.jpg?width=200 "Lego building at NASA's [[Kennedy Space Center]]")
![A model of [[Trafalgar Square]], London, in [[Legoland Windsor]]](https://commons.wikimedia.org/wiki/Special:FilePath/Trafalgar Legoland 2003.jpg?width=200 "A model of [[Trafalgar Square]], London, in [[Legoland Windsor]]")
CONSTRUCTION TOY
LEGOs; Lego Quest; LEGO; LEGO Vikings; Throwbots; Slizers; Lego blocks; MOC (My Own Creation); Lego wars; Legos art; LEGOS; Lego Transport; LEGO Set; Lego.com; Lego network; Play well; Lego Models; LEGO Models; My Lego Network; Lego brick; Lego set; Lego studs; Lego stud; Lego Exclusives; Lego vikings; Lego website; Www.lego.com; Lego web page; Lego shop; My lego; LEGO Hero Factory; LEGO Hero Factory TV series; List of LEGO Hero Factory episodes; List of LEGO tv shows; Lego superheroes; Clikit; Lego Hero Factory; Lego tire; Lego tyres; Lego tires; Lego tyre; Lego bricks; User:AdviceOnTech/Lego WeDo Robotics; Slizer/Throwbots; Lego System; LEGO tire; Lego books and magazines; Lego books; Lego magazines; Modulex; Lego (toy)
Based on Modula-2. Mentioned by M.P. Atkinson & J.W. Schmidt
in a tutorial in Zurich, 1989.
Lego
CONSTRUCTION TOY
LEGOs; Lego Quest; LEGO; LEGO Vikings; Throwbots; Slizers; Lego blocks; MOC (My Own Creation); Lego wars; Legos art; LEGOS; Lego Transport; LEGO Set; Lego.com; Lego network; Play well; Lego Models; LEGO Models; My Lego Network; Lego brick; Lego set; Lego studs; Lego stud; Lego Exclusives; Lego vikings; Lego website; Www.lego.com; Lego web page; Lego shop; My lego; LEGO Hero Factory; LEGO Hero Factory TV series; List of LEGO Hero Factory episodes; List of LEGO tv shows; Lego superheroes; Clikit; Lego Hero Factory; Lego tire; Lego tyres; Lego tires; Lego tyre; Lego bricks; User:AdviceOnTech/Lego WeDo Robotics; Slizer/Throwbots; Lego System; LEGO tire; Lego books and magazines; Lego books; Lego magazines; Modulex; Lego (toy)
¦ noun trademark a toy consisting of interlocking plastic building blocks.
Origin
1950s: from Dan. leg godt 'play well'.
Википедия
LEGO (proof assistant)
LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CoC), the Generalized Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT).
