Какво е " ТЕОРЕТИЧНАТА ИНФОРМАТИКА " на Английски - превод на Английски

• theoretical computer science

Примери за използване на Теоретичната информатика на Български и техните преводи на Английски

Той е бащата на теоретичната информатика.
He is the father of information theory.

Теоретичната информатика е вечематематическа дисциплина.
Theoretical informatics is alreadymathematical discipline.

Тя е тясно свързана с основите на математиката и теоретичната информатика.
It is intimately connected with the foundations of mathematics and computer science.

Това е техника, разработена в рамките на теоретичната информатика и теорията на формалните езици.
It is a technique that developed in theoretical computer science and formal language theory.

Те са обединени с актуално обучение по ключови аспекти на теоретичната информатика.
These are combined with actual training on key aspects of theoretical computer science.

Алън Тюринг се смята за баща на теоретичната информатика и теорията на изкуствения интелект.
Turing is widely considered to be the father of theoretical computer science and artificial intelligence.

Работата му върху рекурсивно теория помогна да предостави на основите на теоретичната информатика.
His work on recursion theory helped to provide the foundations of theoretical computer science.

Британецът е смятан за бащата на теоретичната информатика и теорията на изкуствения….
The British man is regarded as the father of theoretical computer science and the theory of artificial intelligence.

Неговата работа е от голямо значение в математическата логика, рекурсивно теория, и в теоретичната информатика.
His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science.

Kalmár е също участва в теоретичната информатика и насърчава развитието на компютърните науки, както и използването на компютри в Унгария.
Kalmár was involved in Cybernetics as well, and promoted the development of Computer Science in Hungary.

Завършил в областта на Теоретични информатика има познания във всички важни области на теоретичната информатика.
Graduate in the field of Theoretical Informatics has knowledge in all important areas of theoretical computer science.

Kalmár е също участва в теоретичната информатика и насърчава развитието на компютърните науки, както и използването на компютри в Унгария.
Kalmár was also involved in theoretical computer science and promoted the development of computer science and the use of computers in Hungary.

Важна част на капитана е изследване, което студентите провежда под ръководството на експерти в теоретичната информатика…[-].
An important part of graduate research is that students spend under the guidance of specialists in theoretical computer science…[-].

Те възникват в теоретичната информатика, в подобластите теория на автоматите(модели на изчислителни процеси) и описание и класификация на формални езици.
These arose in theoretical computer science, in the subfields of automata theory(models of computation) and the description and classification of formal languages.

Разбира се Rasiowa работата на алгебрични логика е точно в областта на правото, за да си естествен сътрудник на теоретичната информатика.
Of course Rasiowa's work on algebraic logic was in precisely the right area to make her a natural contributor to theoretical computer science.

Изчислителният анализ на алгоритмите за машинно самообучение и тяхната производителност е дял от теоретичната информатика, познат като теория на изчислителното обучение.
The computational analysis of machine learning algorithms and their performance is a branch of theoretical computer science known as computational learning theory.

Съвременната математическа логика се подразделя на теория на рекурсията, теория на моделите и теория на доказателствата и е тясно свързана с теоретичната информатика.
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.

Във формалните езици, които се използват в математическата логика и теоретичната информатика, низ е крайна последователност от символи от дадено множество, наречено азбука.
In formal languages, which are used in mathematical logic and theoretical computer science, a string is a finite sequence of symbols that are chosen from a set called an alphabet.

Алонсо Чърч(на английски: Alonzo Church) е американски математик и логик, който има съществен принос към математическата логика и основите на теоретичната информатика.
Alonzo Church(1903- 1995): American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.

В резултат от изпълнението на проекта се очаква да бъдат получени нови теоретични знания в областта на теоретичната информатика, компютърната лингвистика и медицинската информатика..
The project will deliver new theoretical results in the area of theoretical computer science, computational linguistics and medical informatics.

Основните дейности на секцията са научни изследвания, приложения и обучение в областта на теорията на кодирането, комбинаториката, компютърната алгебра, теоретичната информатика.
The main activities of the department are research, applications and training in coding theory, combinatorics, computer algebra, theoretical computer science.

Тя беше около това време, че тя започва да прилагат уменията си по алгебра за проблеми в теоретичната информатика и през 1982 г. тя бе ръководител на компютърни науки в McMaster.
It was around this time that she began to apply her skills in algebra to problems in theoretical computer science and in 1982 she was made Head of Computer Science at McMaster.

Той работи по логика и теоретичната информатика, особено Тюринг машини, публикуване на не-computable функции през 1962 г. и компютърни изследвания на Тюринг машина проблеми през 1965.
He worked on logic and theoretical computer science, particularly Turing machines, publishing On non-computable functions in 1962 and Computer studies of Turing machine problems in 1965.

Той се оказа Santalo на неравенството на обема на единица неявяване на нормата за научноизследователска наш, който е с по-важни последици разнообразие от различни области, включително и броят теорията и теоретичната информатика.
He proved Santalo's inequality on the volume of the unit ball of a norm on n which is having important consequences in a variety of different areas including number theory 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.

Областта на теоретичната информатика обхваща както класическата теория на изчисление, така и широк спектър от други теми, които се фокусират върху по-абстрактни, логически и математически аспекти.
The broader field of theoretical laptop science encompasses both the classical concept of computation and a wide range of other matters that target the more abstract, logical, and mathematical points of computing.

За фундаментален принос в дискретната математика и теоретичната информатика, а също и за дълбокото и продължително влияние на тези приноси в адитивната теория на числата и в ергодичната теория.
He receives the Abel Prize 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.

Областта на теоретичната информатика обхваща както класическата теория на изчисление, така и широк спектър от други теми, които се фокусират върху по-абстрактни, логически и математически аспекти.
The broader field of theoretical computer science encompasses both the classical theory of computation and a wide range of other topics that focus on the more abstract, logical, and mathematical aspects of computing.

CAP theorem- В теоретичната информатика, теоремата на CAP, също така известен като теорема Брюър, заявява, че е невъзможно за разпределена компютърна система за едновременно предоставят всички три от следните гаранции: консистенция, дял толерантност.
In theoretical computer science, the CAP theorem, also known as Brewer's theorem, states that it is impossible for a distributed computer system to simultaneously provide all three of the following guarantees.

Категория: Теоретична информатика- Уикипедия.
Category: Theoretical computer science.