Що таке THEORETICAL COMPUTER SCIENCE Українською - Українська переклад

• теоретичної інформатики
• теоретичних комп'ютерних наук
• теоретичній інформатиці
• теоретична інформатика
• теорію інформатики

Приклади вживання Theoretical computer science Англійська мовою та їх переклад на Українською

Theoretical Computer Science.
Теоретична інформатика.

The graduate is also well prepared for doctoral studies in theoretical computer science and related areas.
Випускник також добре підготовлений до докторантури в теоретичній інформатиці та суміжних областях.

Theoretical computer science is particularly concerned with a class of problems known as NP-complete.
Теоретична інформатика зокрема заклопотана класом проблем, відомих як NP- повні.

The Abel Prize for his fundamental contributions to discrete mathematics and theoretical computer science(2012).
Абелівська премія за фундаментальний внесок у дискретну математику і теоретичні комп'ютерні науки(2012).

Theoretical computer science includes areas of discrete mathematics relevant to computing.
Теоретична інформатика включає в себе області дискретної математики, що мають відношення до обчислень.

And I won't be surprised if it needs lots of other areas of math and theoretical computer science as well.
І я не здивуюся, якщо в підсумку буде задіяно велику кількість інших областей математики та теоретичної інформатики.

His research interests include Algorithms, Theoretical Computer Science and Discrete Mathematics as well as Optimization.
Його наукові інтереси включають алгоритми, теоретичні комп'ютерні науки та дискретну математику, а також оптимізацію.

Candidates must have either excellent programming knowledge or a strong background in mathematics/ theoretical computer science.
Кандидати повинні або мати відмінні навички програмування або сильний фон в математиці/ теорії науки комп'ютера.

In theoretical computer science, information theory, and cryptography"log(x)" generally means"log2(x)"(although this is often written as lg(x) instead).
У теоретичній інформатиці, теорії інформації та криптографії«log(x)» зазвичай означає логарифм з основою 2«log2(x)»(хоча часто замість цього пишеться просто lg(x)).

Endre Szemerédi(August 21, 1940,) is a Hungarian mathematician, working in the field of combinatorics and theoretical computer science.
Endre Szemerédi; 21 серпня 1940(19400821)- угорський математик, який працює в областях комбінаторики та теоретичних комп'ютерних наук.

Electronic Proceedings in Theoretical Computer Science- Electronic works in the field of theoretical computer science, table publications for various years.
Electronic Proceedings in Theoretical Computer Science- електронні праці в галузі теоретичної інформатики, таблиця публікацій за різні роки на англійській мові.

He is an expert in model checking, constraint satisfaction and database theory, common knowledge(logic), and theoretical computer science.[4][5].
Він є експертом з перевірки моделей, задоволеності обмежень та теорії баз даних, загальновідомості(логіки) та теоретичних комп'ютерних науках.[4][5].

Currently, one of the most famous open problems in theoretical computer science is the P= NP problem, which involves the relationship between the complexity classes P andNP.
В даний час однією з найвідоміших відкритих проблем в теоретичній інформатиці є P= NP проблема, яка включає в себе відношення між класами складності P та NP.

The latter are of much interest in quantum information theory, a subject which partly emerged from quantum optics, partly from theoretical computer science.
Останні становлять значний інтерес у квантовій теорії інформації, дисципліні, яка частково виникла з квантової оптики, частково- з теоретичної інформатики.

Philosophical logic, especially in theoretical computer science, is understood to encompass and focus on non-classical logics, although the term has other meanings as well.[2].
Філософську логіку, особливо у теоретичній інформатиці, слід розуміти як охоплення та зосередження на некласичних логіках, хоча дефініція має також інші значення.[2].

The programme offers a completely new curriculum covering a wide range of advanced topics in theoretical mathematics, theoretical computer science, and their applications.-.
Програма пропонує повністю новий навчальний план, що охоплює широкий спектр передових тем теоретичної математики, теоретичної інформатики та їх застосування….

Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until….
Багато формальних мов, які використовуються в математиці, логіці та у теоретичній інформатиці визначені у виключно синтаксичних термінах, і як такі не мають ніякого значення, поки вони не дають деяку інтерпретацію.

Because of its unique mathematical properties, the Hadamard code is not only used by engineers, but also intensely studied in coding theory, mathematics, and theoretical computer science.
Через його унікальні математичні властивості код Адамара використовується не тільки інженерами, але й інтенсивно вивчається в теорії кодування, математиці та теоретичній інформатиці.

For his fundamental contributions to discrete mathematics and theoretical computer science, and in recognition of the profound and lasting impact of these contributions on additive number theory and ergodic theory.".
За його фундаментальний внесок у дискретну математику та теорію інформатики, і на знак визнання його глибокого і довгострокового вкладу в адитивну теорію чисел і ергодичної теорії"[3].

The Centrum Wiskunde& Informatica(abbr. CWI; English:"National Research Institute for Mathematics and Computer Science") is a research center in the field of mathematics and theoretical computer science.
The Centrum Wiskunde& Informatica(скорочено CWI; Англійська:"Національний науково-дослідний інститут математики та інформатики")- це дослідницький центр у галузі математики та теоретичної інформатики.

The formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation.
Багато формальних мов, які використовуються в математиці, логіці та у теоретичній інформатиці визначені у виключно синтаксичних термінах, і як такі не мають ніякого значення, поки вони не дають деяку інтерпретацію.

Ajtai and Dwork devised in 1997 a lattice-based public-key cryptosystem; Ajtai has done extensive work on lattice problems. For his numerous contributions in Theoretical Computer Science he received the Knuth Prize.[1].
Айтай та Дворк розробляли в 1997 році криптосистему публічного ключа на основі асиметричних алгоритмів шифрування; За його значний внесок у теоретичні комп'ютерні науки він отримав премію Кнута.[1].

The need to break German codes in World War II led to advances in cryptography and theoretical computer science, with the first programmable digital electronic computer being developed at England's Bletchley Park.
Необхідність розбити німецькі коди Другої світової війни призвела до досягнень в області криптографії та теоретичної інформатики, з першою запрограмованою цифровою електронною обчислювальною машиною, розробленою в Англії.

Hopcroft is also the co-recipient(with Jeffrey Ullman) of the 2010 IEEE John von Neumann Medal“for laying the foundations for the fields of automata and language theory and many seminal contributions to theoretical computer science.”[8].
Гопкрофт також разом з Джеффрі Ульманом отримав у 2010-ому медаль Джона фон Неймана«за закладання основ для галузей автоматів і лінгвістичної теорії та багато плідних внесків до теоретичних комп'ютерних наук.»[6].

The need to break German codes in World War II led to advances in cryptography and theoretical computer science, with the first programmable digital electronic computer being developed at England's Bletchley Park.
Необхідність розкрити німецькі коди Другої світової війни призвела до досягнень в області криптографії та теоретичної інформатики, а також до появи першої програмованої цифрової електронної обчислювальної машини, розробленої в Англії.

On the other hand, for many applications of Hadamard codes in theoretical computer science it is not so important to achieve the optimal rate, and hence simpler constructions of Hadamard codes are preferred since they can be analyzed more elegantly.
З іншого боку, для багатьох застосувань кодів Адамара в галузі теоретичної інформатики досягнення оптимальної швидкості є не таким важливим, тому надається перевага простішим способам їх побудови, оскільки тоді вони можуть бути проаналізовані більш елегантно.

The program aims at providing the graduate with the knowledge and research experience in a wide range of fields in discrete mathematics and theoretical computer science, based both on contemporary theoretical trends and on applications in physics, biology and other branches of science..
Програма спрямована на надання випускнику знань і дослідницького досвіду в широкому діапазоні галузей дискретної математики і теоретичних інформатики, заснованих як на сучасних теоретичних тенденціях, так і на застосуваннях у фізиці, біології та інших галузях науки.

Abel Prize(2012)“for his fundamental contributions to discrete mathematics and theoretical computer science, and in recognition of the profound and lasting impact of these contributions on additive number theory and ergodic theory.”.
Нагороджений Абелівською премією 2012 року за"фундаментальний внесок в дискретну математику і теорію інформатики, а також на знак визнання його глибокого і довгострокового вкладу в адитивну теорію чисел і ергодичну теорію".