例句與造句

1. His principal type designs are Mazarin, Mazarin Italic, Fifteenth Century, Tell Text and a lightface type of pleasing design known as Nadall.
2. The code for a lightface Borel set " A " can be used to inductively define a tree whose nodes are labeled by codes.
3. This produces that hyperarithmetic hierarchy, which is the lightface analog of the Borel hierarchy . ( The finite levels of the hyperarithmetic hierarchy are known as the arithmetical hierarchy .)
4. Not until 1884 did the Italian printer Giambattista Bodoni use boldface to describe a darkly thick, or bold, typeface, which looks like this and is easily distinguished from lightface type.
5. Lightface ? 0 1 classes in 2 ? ( that is, ? 0 1 classes whose tree is computable with no oracle ) correspond to "'effectively closed sets " '.
6. It's difficult to find lightface in a sentence. 用lightface造句挺難的
7. A famous theorem due to Spector and Kleene states that a set is in the lightface Borel hierarchy if and only if it is at level \ Delta ^ 1 _ 1 of the analytical hierarchy.
8. Similar devices are used in the CVOT, in which boldface type, symbols and capital letters indicate the words actually found in the Hebrew text, and lightface type indicate English words added for clarity.
9. Conversely, if an arbitrary subtree of \ omega ^ { has its nodes labeled by codes in a consistent way, and the tree has no infinite paths, then the code at the root of the tree is a code for a lightface Borel set.
10. These devices may be categorized as follows : ( 1 ) lightface and boldface type to indicate when an English word is inserted to complete the sense, ( 2 ) symbols for the verb, and ( 3 ) distinctive signs and abbreviations for other grammatical elements.
11. There is a close relationship between the relativized analytical hierarchy on subsets of Baire space ( denoted by lightface letters \ Sigma and \ Pi ) and the projective hierarchy on subsets of Baire space ( denoted by boldface letters \ boldsymbol { \ Sigma } and \ boldsymbol { \ Pi } ).
12. A set " A " is lightface \ Sigma ^ 0 _ 2 if it is a union of a computable sequence of \ Pi ^ 0 _ 1 sets ( that is, there is a computable enumeration of indices of \ Pi ^ 0 _ 1 sets such that " A " is the union of these sets ).
更多例句：  上一頁(yè)