finite set oor Koreaans
finite set
Vertalings in die woordeboek Engels - Koreaans
유한집합
en
set that has a finite number of elements
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Every finite set is closed.
공기팽창식 광고물WikiMatrix WikiMatrix
Although Kircher's work was not mathematically based, he did develop various systems for generating and counting all combinations of a finite collection of objects (i.e., a finite set), based on the previous work of Ramon Llull.
텔레비전 수신기WikiMatrix WikiMatrix
However, if we consider a locally finite collection of closed sets, the union is closed.
밀랍을 입힌 실WikiMatrix WikiMatrix
In mathematics, the Sierpiński space (or the connected two-point set) is a finite topological space with two points, only one of which is closed.
알부민과 레티놀 결합 단백질의 융합 단백질WikiMatrix WikiMatrix
Refine the goal into a finite set of objectives (SMART ); Identify resources and constraints;
창유리 (차량용유리는 제외)ParaCrawl Corpus ParaCrawl Corpus
Given an arithmetic progression, the large sieve gives information about the distribution of an arbitrary finite set of integers.
남성용 수영복ParaCrawl Corpus ParaCrawl Corpus
According to one embodiment of the present invention, provided are a server, a terminal apparatus, a computer-readable recording medium, and a method for integrating a first and a second nondeterministic finite automata, comprising the following steps: (a) acquiring first and second nondeterministic finite automatas; (b) determining whether a first transition set for moving a start state to an i state, within the first nondeterministic finite automata, and a second transition set for moving the start state to a j state within the second nondeterministic finite automata are identical; and (c) integrating the first and second nondeterministic finite automata by generating a state k in which the states i and j are combined in one, when the first transition set and the second transition set are identical.
제빙장치 및 기계patents-wipo patents-wipo
The term finite mathematics is sometimes applied to parts of the field of discrete mathematics that deals with finite sets, particularly those areas relevant to business.
공진형 태양전지ParaCrawl Corpus ParaCrawl Corpus
The goal of spectral estimation is to describe the distribution (over frequency) of the power contained in a signal, based on a finite set of data.
정보 처리 시스템 및 그의 정보 처리 방법ParaCrawl Corpus ParaCrawl Corpus
Among other such results, he shows that any finite set has an independent subset with the same span and that any independent set extends to a basis, and he proves the important identity
사업경영자문업ParaCrawl Corpus ParaCrawl Corpus
These finite perimeter sets which were introduced by Caccioppoli are now known as "Caccioppoli sets".
교통사고방지용 착용반사판ParaCrawl Corpus ParaCrawl Corpus
Given a finite set of types of tiles, the question is raised whether translates of copies of tiles in this set may be used to fill every cell in the plane subject to the rule that abutting edges be the same colour.
머리카락이식업ParaCrawl Corpus ParaCrawl Corpus
Post and Markov had independently constructed semigroups with this property in 1947. In fact Boone had constructed for his doctoral thesis an example of a finitely presented group with no way to decide if a given element lies in the subsemigroup generated a fixed finite set.
미노광 감광X-선필름ParaCrawl Corpus ParaCrawl Corpus
It is in this paper that Turing introduced an abstract machine, now called a "Turing machine", which moved from one state to another using a precise finite set of rules (given by a finite table) and depending on a single symbol it read from a tape.
의료용 훈증소독제ParaCrawl Corpus ParaCrawl Corpus
In his thesis he initiated the study of varieties of groups, that is classes of groups defined which are by a collection of laws which must hold when any group elements are substituted into them. One of the questions raised in Neumann's thesis was the finite basis problem: Can each variety be defined by a finite set of laws?
본 발명은 전술한 종래의 비정질 합금의 문제점을 해결하기 위해 창안된 것으로, 비정질 합금이 가지는 높은 강도, 경도 및 내식성 등을 유지하면서 기존의 비정질 합금이 가지고 있던 취약한 상온 인장 특성이 향상된 새로운 비정질 복합재료를 제공하는 것을 목적으로 한다.ParaCrawl Corpus ParaCrawl Corpus
Hausdorff , in 1918, had extended Carathéodory 's theory of measure to sets having finite measure of non-integral order.
다이너마이트ParaCrawl Corpus ParaCrawl Corpus
She then looked at several subsets of these operators and proves that the semigroup which each set generates is finite.
가스의 압축/배출/운송용 송풍기ParaCrawl Corpus ParaCrawl Corpus
The essence of this method is in finding coefficients of basic monomials via the number of possible arrangements of a graph on a finite linearly ordered set that preserves the order of location of vertices.
두상 성형 또는 공간 형성을 위한 보조장치를 구비한 모자ParaCrawl Corpus ParaCrawl Corpus
Besicovitch, around 1930, extended his density properties of sets to those of finite Hausdorff measure.
금속제 낫자루ParaCrawl Corpus ParaCrawl Corpus
In Principia Mathematica , Whitehead and Russell were able to provide detailed derivations of many major theorems in set theory, finite and transfinite arithmetic, and elementary measure theory .
비조명용 방전관ParaCrawl Corpus ParaCrawl Corpus
As well as his analysis of the nature of number, his work on mathematical induction, including the definition of finite and infinite sets, and his work in number theory, particularly in algebraic number fields , is of major importance.
전원 절약 모드를 사용합니다ParaCrawl Corpus ParaCrawl Corpus
Among other things, he provides a definition independent of the concept of number for the infiniteness or finiteness of a set by using the concept of mapping and treating the recursive definition, which is so important to the theory of ordinal numbers.
가정용 전기식 거품기ParaCrawl Corpus ParaCrawl Corpus
The set of objects studied in discrete mathematics can be finite or infinite.
메모리 카드 기반의 모바일 방송 수신 제한 시스템ParaCrawl Corpus ParaCrawl Corpus
Kleene developed a diverse array of topics in computability: the arithmetical hierarchy, degrees of computability, computable ordinals and hyperarithmetic theory, finite automata and regular sets with enormous consequences for computer science, computability on higher types, recursive realizability for intuitionistic arithmetic with consequences for philosphy and for program correctness in computer science.
상품의 운송/보관 및 포장업ParaCrawl Corpus ParaCrawl Corpus
Of course the main mathematical tool used in constructing tables was the method of finite differences and in 1933 Milne-Thomson published his first textbook, The Calculus of Finite Differences, a text in which he set out to explain to students the techniques which he used in table making.
다이스탬핑 머신ParaCrawl Corpus ParaCrawl Corpus
38 sinne gevind in 24 ms. Hulle kom uit baie bronne en word nie nagegaan nie.