The theory of convergence via filters, due to Henri Cartan and developed by Bourbaki in 1937, leads to the following criterion: assuming the ultrafilter lemma, a space is compact if and only if each ultrafilter on the space converges.
Teoria zbieżności poprzez filtry zapoczątkowana przez Henriego Cartana i rozwinięta przez Bourbakiego w 1937 roku prowadzi do następującego kryterium: zakładając lemat o ultrafiltrze przestrzeń jest zwarta wtedy i tylko wtedy, gdy każdy ultrafiltr na przestrzeni jest zbieżny.
Proof: If there is no possible move, then the lemma is vacuously true (and the first player loses the normal play game by definition).
Dowód: Jeśli żaden ruch nie jest możliwy, wówczas lemat jest pusto spełniony (pierwszy gracz nie może wykonać ruchu).
For example, the lemma of the word cats is cat.
Dla przykładu, lemma słowa cats to cat.
So if I can get them, why can't Lemma?
Więc skoro ja je mogę dostać, to dlaczego nie Lemma?
At this point, it relies primarily on two lemmas: Lemma 1.
Twierdzenie dowodzi się indukcyjnie ze względu wartość n na podstawie następujących dwóch lematów: Lemat 1.
Doctor, the soliton wave is still on course to Lemma II.
Doktorze, fala solitonowa jest ciągle na kursie na Lemmę II.
It can be proved that secure PRP defined over large enough X is also a secure PRF (according to the PRF Switching Lemma).
Można dowieść, że bezpieczna kryptograficznie pseudolosowa permutacja zdefiniowana na wystarczająco dużym zbiorze X jest również bezpieczną kryptograficznie funkcją pseudolosową (jest to tak zwane PRF Switching Lemma).
Lemma - adventure walker with elements of parkour (in the style of Mirror's Edge), which takes place on a mysterious desert island!
Lemat - przygoda Walker z elementami parkour (w stylu gry Mirror Edge), który odbywa się na tajemniczej bezludnej wyspie!
Thereby proving Zorn's Lemma.
I w ten sposób udowadniam Lemat Zorna.
So if I can get them, why can't Lemma? Why can't Quesmo? And why can't Sarni?
Więc skoro ja je mogę dostać, to dlaczego nie Lemma? Dlaczego nie Quesmo?
So you need the multidimensional lemma.
Potrzebujesz więc lematu wielowymiarowego.
NeuroGram - morpho-syntactic analysis system (determining the lemma of the word, parts of speech and grammatical accurate description) and surface syntactic analysis of texts written in Polish.
NeuroGram - system do analizy morfoskładniowej (czyli określania lematu słowa, części mowy oraz dokładnego opisu gramatycznego) oraz powierzchniowej analizy składniowej tekstów pisanych w języku polskim.
In complex analysis, Jordan's lemma is a result frequently used in conjunction with the residue theorem to evaluate contour integrals and improper integrals.
Lemat Jordana jest twierdzeniem analizy zespolonej często używanym w połączeniu z twierdzeniem o residuach do obliczania całek krzywoliniowych oraz całek niewłaściwych.