Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое Isabelle - определение
FEMALE GIVEN NAME
Isabelle (a female name); Isabell; Isabelle; Isabelle (given name); Isabelle (name); Izobel; Iseabail; Ishbel
Isabelle
<theory, tool> A generic theorem prover with support for
several object-logics, developed by Lawrence C. Paulson
<Larry.Paulson@cl.cam.ac.uk> in collaboration with {Tobias
Nipkow (http://in.tum.de/Isabellenipkow/) } at the {Technical
University of Munich}.
A system of type classes allows polymorphic object-logics
with overloading and automatic type inference.
Isabelle supports first-order logic - constructive and
classical versions; higher-order logic, similar to Gordon's
HOL; Zermelo Frankel set theory; an extensional version
of Martin Lof's type theory, the classical first-order
sequent calculus, LK; the modal logics T, S4, and
S43; and Logic for Computable Functions.
An object logic's syntax and inference rules are specified
declaratively allowing single-step proof construction.
Proof procedures can be expressed using "tactics" and
"tacticals". Isabelle provides control structures for
expressing search procedures and generic tools such as
simplifiers and classical theorem provers which can be applied
to object-logics. Isabelle is built on top of Standard ML
and uses its user interface.
Isabelle/">http://cl.cam.ac.uk/Research/HVG/Isabelle/.
Mailing list: isabelle-users@cl.cam.ac.uk.
["tactics"? "tacticals"? ]
(1999-07-26)
ISABELLE
ISABELLE (also known later as Colliding Beam Accelerator, CBA) was a 200+200 GeV proton–proton colliding beam particle accelerator partially built by the United States government at Brookhaven National Laboratory in Upton, New York, before it was cancelled in July, 1983.
Saint Isabelle of France
FRENCH ROMAN CATHOLIC PRINCESS, NUN AND BLESSED
Isabel of France, Saint; St. Isabel of France; Saint Isabel of France; Saint Isabelle; Isabelle of France (saint)
Isabelle of France (March 1224The Chronicon Turonense records the birth in 1224 "mense martio" of "Isabellis, filia Ludovici Regis Franciae". Chronicon Turonense, Recueil des historiens des Gaules et de la France, vol.
Википедия
Isabel
Isabel is a female name of Spanish origin. Isabelle is a name that is similar, but it is of French origin. It originates as the medieval Spanish form of Elisabeth (ultimately Hebrew Elisheba), Arising in the 12th century, it became popular in England in the 13th century following the marriage of Isabella of Angoulême to the king of England. Today it is sometimes abbreviated to Isa. The name Isabel is also related to Jezebel, the wife of King Ahab. The pronunciation of which is Tiberian: ʾĪzeḇel
Примеры употребления для Isabelle
1. They live in Swindon with their daughter Isabelle, 11 months.
2. Cody and Isabelle aren‘t going through anything, their characters are.
3. The couple have two children, Isabelle and Connor.
4. It was still unclear how long Isabelle will remain hospitalized, said Bachmann, one of two psychiatrists who has treated Isabelle in the southern city of Lyon.
5. Planche‘s daughter, Isabelle, accompanied by a niece, kissed her father.